Nanette Bauer

According to our database, Nanette Bauer authored at least 6 papers between 2001 and 2004.

Collaborative distances:

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

2004

Formale Analyse von sequential function Charts.

Nanette Bauer

PhD thesis, 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

Design of a PLC Control Program for a Batch Plant VHS Case Study.

Angelika Mader, Ed Brinksma, Hanno Wupper, Nanette Bauer

Eur. J. Control, 2001

An Experimental Batch Plant as a Test Case for the Verification of Hybrid Systems.

Stefan Kowalewski, Olaf Stursberg, Nanette Bauer

Eur. J. Control, 2001

Towards Automatic Verification of Embedded Control Software.

Nanette Bauer, Ralf Huuck

Proceedings of the 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 2001