Sven Lohmann

According to our database, Sven Lohmann authored at least 4 papers between 2004 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

Comparison of Event-Triggered and Cycle-Driven Models for Verifying SFC Programs.

Sven Lohmann, Olaf Stursberg, Sebastian Engell

Proceedings of the American Control Conference, 2007

2005

Verification of Embedded Supervisory Controllers Considering Hybrid Plant Dynamics.

Sebastian Engell, Sven Lohmann, Olaf Stursberg

Int. J. Softw. Eng. Knowl. Eng., 2005

Analysis of Logic Controllers by Transformation of SFC into Timed Automata.

Olaf Stursberg, Sven Lohmann

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

2004

Verification of PLC Programs Given as Sequential Function Charts.

Nanette Bauer, Sebastian Engell, Ralf Huuck, Sven Lohmann, Ben Lukoschus, Manuel Remelhe, Olaf Stursberg

Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004