Ben Lukoschus

According to our database, Ben Lukoschus authored at least 6 papers between 2000 and 2005.

Collaborative distances:

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

2005

Compositional verification of industrial control systems: methods and case studies

Ben Lukoschus

PhD thesis, 2005

2004

A Unifying Semantics for Sequential Function Charts.

Nanette Bauer, Ralf Huuck, Ben Lukoschus, Sebastian Engell

Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 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

2001

Verifying Untimed and Timed Aspects of the Experimental Batch Plant.

Ralf Huuck, Ben Lukoschus, Yassine Lakhnech

Eur. J. Control, 2001

2000

Verification of Sequential Function Charts Using SMV.

Sébastien Bornot, Ralf Huuck, Ben Lukoschus

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000

Statische Analysetechniken für speicherprogrammierbare Steuerungen.

Sébastien Bornot, Ralf Huuck, Ben Lukoschus

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 2000