Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Leveraging Horn clause solving for compositional verification of PLC software.

D. Bohlender, und S. Kowalewski. Discrete Event Dynamic Systems, 30 (1): 1-24 (2020)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Stefan Kunert University of Stuttgart

Stefan Schippling University of Stuttgart

Stefan Hecht University of Stuttgart

Stefan Keuler University of Stuttgart

Dr. -Ing. Stefan Carosella University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Fault Handling Approaches on Dual-Core Microcontrollers in Safety-Critical Automotive Applications.E. Beckschulze, F. Salewski, T. Siegbert, und S. Kowalewski. ISoLA, Volume 17 von Communications in Computer and Information Science, Seite 82-92. Springer, (2008)Recovery Block with Backup Voting: A New Pattern with Extended Representation for Safety Critical Embedded Systems.A. Armoush, F. Salewski, und S. Kowalewski. ICIT, Seite 232-237. IEEE Computer Society, (2008)Zuverlässigkeitsmechanismen für Eingebettete Systeme.F. Salewski, und S. Kowalewski. Softwaretechnik-Trends, (2005)An Approach for Using Mobile Devices in Industrial Safety-Critical Embedded Systems.A. Armoush, D. Franke, I. Kalkov, und S. Kowalewski. MobiCASE, Volume 130 von Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Seite 294-297. Springer, (2013)Exploring the Differences of FPGAs and Microcontrollers for their Use in Safety-Critical Embedded Applications.F. Salewski, und S. Kowalewski. IES, Seite 1-4. IEEE, (2006)Reverse Engineering and Testing Service Life Cycles of Mobile Platforms.D. Franke, C. Elsemann, und S. Kowalewski. DEXA Workshops, Seite 16-20. IEEE Computer Society, (2012)Runtime verification of microcontroller binary code.T. Reinbacher, J. Brauer, M. Horauer, A. Steininger, und S. Kowalewski. Sci. Comput. Program., (2014)An Experimental Batch Plant as a Test Case for the Verification of Hybrid Systems.S. Kowalewski, O. Stursberg, und N. Bauer. Eur. J. Control, 7 (4): 366-381 (2001)Applying static code analysis on industrial controller code.S. Stattelmann, S. Biallas, B. Schlich, und S. Kowalewski. ETFA, Seite 1-4. IEEE, (2014)Coping with Complexity of Testing Models for Real-Time Embedded Systems.R. Mitsching, C. Weise, D. Franke, T. Gerlitz, und S. Kowalewski. SSIRI (Companion), Seite 128-135. IEEE Computer Society, (2011)