Sven Lohmann

Publication Activity (10 Years)

Years Active: 2004-2007
Publications (10 Years): 0

Publications

Sven Lohmann, Olaf Stursberg, Sebastian Engell
Comparison of Event-Triggered and Cycle-Driven Models for Verifying SFC Programs. ACC (2007)
Olaf Stursberg, Sven Lohmann
Analysis of Logic Controllers by Transformation of SFC into Timed Automata. CDC/ECC (2005)
Sebastian Engell, Sven Lohmann, Olaf Stursberg
Verification of Embedded Supervisory Controllers Considering Hybrid Plant Dynamics. Int. J. Softw. Eng. Knowl. Eng. 15 (2) (2005)
Nanette Bauer, Sebastian Engell, Ralf Huuck, Sven Lohmann, Ben Lukoschus, Manuel Remelhe, Olaf Stursberg
Verification of PLC Programs Given as Sequential Function Charts. SoftSpez Final Report (2004)