PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Kowalewski, Stefan"

Author of the publication

copydeleteadd this publication to your clipboard
Formale Methoden für rekonfigurierbare cyber-physische Systeme in der Produktion

, , , , , , , , and . at - Automatisierungstechnik, vol. 68, no. 1, 28.01.2020, pp. 3-14, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Stefan Kunert University of Stuttgart

Stefan Schippling University of Stuttgart

Stefan Hecht University of Stuttgart

Stefan Köbel University of Stuttgart

Stefan Esselborn University of Stuttgart

 

Other publications of authors with the same name

Zuverlässigkeitsmechanismen für Eingebettete Systeme., and . Softwaretechnik-Trends, (2005)Runtime verification of microcontroller binary code., , , , and . Sci. Comput. Program., (2014)An Experimental Batch Plant as a Test Case for the Verification of Hybrid Systems., , and . Eur. J. Control, 7 (4): 366-381 (2001)Fault Handling Approaches on Dual-Core Microcontrollers in Safety-Critical Automotive Applications., , , and . ISoLA, volume 17 of Communications in Computer and Information Science, page 82-92. Springer, (2008)Recovery Block with Backup Voting: A New Pattern with Extended Representation for Safety Critical Embedded Systems., , and . ICIT, page 232-237. IEEE Computer Society, (2008)An Approach for Using Mobile Devices in Industrial Safety-Critical Embedded Systems., , , and . MobiCASE, volume 130 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 294-297. Springer, (2013)Exploring the Differences of FPGAs and Microcontrollers for their Use in Safety-Critical Embedded Applications., and . IES, page 1-4. IEEE, (2006)Reverse Engineering and Testing Service Life Cycles of Mobile Platforms., , and . DEXA Workshops, page 16-20. IEEE Computer Society, (2012)Regelung und Sicherheitsanalyse einer Gruppe Massenpunktfahrzeuge mit Hilfe energiebasierter Methoden (Control and Safety Analysis of a Group of Point Mass Vehicles Using Energy Methods)., , , , , , and . Automatisierungstechnik, 58 (4): 227-235 (2010)Case studies on automated verification with slope boundaries for block diagrams., , and . Computer Languages, Systems & Structures, (2018)