Ben Lukoschus

Publication Activity (10 Years)

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

Publications

Nanette Bauer, Ralf Huuck, Ben Lukoschus, Sebastian Engell
A Unifying Semantics for Sequential Function Charts. SoftSpez Final Report (2004)
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)
Ralf Huuck, Ben Lukoschus, Yassine Lakhnech
Verifying Untimed and Timed Aspects of the Experimental Batch Plant. Eur. J. Control 7 (4) (2001)
Sébastien Bornot, Ralf Huuck, Ben Lukoschus
Statische Analysetechniken für speicherprogrammierbare Steuerungen. FBT (2000)
Sébastien Bornot, Ralf Huuck, Ben Lukoschus
Verification of Sequential Function Charts Using SMV. PDPTA (2000)