Ben Lukoschus

Compositional verification of industrial control systems : methods and case studies

Ben Lukoschus, Ben Lukoschus, 2006 .

Composition and Verification of Condition/Event Systems

Ben Lukoschus, Ben Lukoschus, 1999 .

Utilizing Static Analysis for Programmable Logic Controllers

Ralf Huuck, Yassine Lakhnech, Ben Lukoschus, 2014 .

Verifying Untimed and Timed Aspects of the Experimental Batch Plant

Ralf Huuck, Yassine Lakhnech, Ben Lukoschus, 2001, Eur. J. Control.

Verification of Sequential Function Charts Using SMV

Ralf Huuck, Ben Lukoschus, Sébastien Bornot, 2000, PDPTA.

An Abstract Model of VHS Case Study 1* (Experimental Batch Plant)

Ben Lukoschus, Ben Lukoschus, 1999 .

Compositional Verification of Continuous-Discrete Systems

Sebastian Engell, Goran Frehse, Ralf Huuck, 2002 .

Verification of PLC Programs Given as Sequential Function Charts

Olaf Stursberg, Sebastian Engell, Ralf Huuck, 2004, SoftSpez Final Report.

A Model-Checking Approach to Safe SFCs

Ralf Huuck, Ben Lukoschus, Nanette Bauer, 2003 .

Verification of hybrid controlled processing systems based on decomposition and deduction

Olaf Stursberg, Sebastian Engell, Goran Frehse, 2001, Proceeding of the 2001 IEEE International Symposium on Intelligent Control (ISIC '01) (Cat. No.01CH37206).

MODULAR ANALYSIS OF DISCRETE CONTROLLERS FOR DISTRIBUTED HYBRID SYSTEMS

Olaf Stursberg, Sebastian Engell, Goran Frehse, 2002 .

Approaches to the Formal Verification of Hybrid Systems

Heiko Krumm, Peter Herrmann, Sebastian Engell, 2001 .