Nanette Bauer

Publication Activity (10 Years)

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

Dortmund University of Technology (PHD)

Education History

Dortmund University of Technology

PHD

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)
Stefan Kowalewski, Olaf Stursberg, Nanette Bauer
An Experimental Batch Plant as a Test Case for the Verification of Hybrid Systems. Eur. J. Control 7 (4) (2001)
Nanette Bauer, Ralf Huuck
Towards Automatic Verification of Embedded Control Software. APAQS (2001)
Angelika Mader, Ed Brinksma, Hanno Wupper, Nanette Bauer
Design of a PLC Control Program for a Batch Plant VHS Case Study. Eur. J. Control 7 (4) (2001)