Manuel Remelhe

According to our database, Manuel Remelhe authored at least 2 papers between 1997 and 2004.

Collaborative distances:

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

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

1997

A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: The Two Tanks Problem.

Stefan Kowalewski, Olaf Stursberg, Martin Fritz, Holger Graf, Ingo Hoffmann, Jörg Preußig, Manuel Remelhe, Silke Simon, Heinz Treseler

Proceedings of the Hybrid Systems V, 1997