Sebastian Preuße

According to our database, Sebastian Preuße authored at least 7 papers between 2009 and 2013.

Collaborative distances:

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

2013

Technologies for engineering manufacturing systems control in closed loop.

Sebastian Preuße

PhD thesis, 2013

2012

Closed-loop system modeling, validation, and verification.

Sebastian Preuße, Hans-Christian Lapp, Hans-Michael Hanisch

Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

2011

Virtual start-up of plants using formal methods.

Sebastian Preuße, Christian Gerber, Hans-Michael Hanisch

Int. J. Comput. Appl. Technol., 2011

Designing Visual Systems for Social Data Analysis in Open Government Applications.

Jasminko Novak, Sebastian Preuße

Proceedings of the International Workshop on Data-Centric Interactions on the Web, 2011

2010

Design Approaches for IEC 61499 Control Applications.

Sebastian Preuße, Christian Gerber, Hans-Michael Hanisch

Proceedings of the 40. Jahrestagung der Gesellschaft für Informatik, Service Science - Neue Perspektiven für die Informatik, INFORMATIK 2010, Leipzig, Germany, September 27, 2010

A complete framework for controller verification in manufacturing.

Christian Gerber, Sebastian Preuße, Hans-Michael Hanisch

Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 2010

2009

Specification of technical plant behavior with a safety-oriented technical language.

Sebastian Preuße, Hans-Michael Hanisch

Proceedings of the 7th IEEE International Conference on Industrial Informatics, 2009