Sebastian Preuße

Publication Activity (10 Years)

Years Active: 2009-2012
Publications (10 Years): 0

Top Venues

Martin Luther University of Halle-Wittenberg (PHD)

Education History

Martin Luther University of Halle-Wittenberg

PHD

Publications

Sebastian Preuße, Hans-Christian Lapp, Hans-Michael Hanisch
Closed-loop system modeling, validation, and verification. ETFA (2012)
Sebastian Preuße, Christian Gerber, Hans-Michael Hanisch
Virtual start-up of plants using formal methods. Int. J. Comput. Appl. Technol. 42 (2/3) (2011)
Jasminko Novak, Sebastian Preuße
Designing Visual Systems for Social Data Analysis in Open Government Applications. DCI@INTERACT (2011)
Christian Gerber, Sebastian Preuße, Hans-Michael Hanisch
A complete framework for controller verification in manufacturing. ETFA (2010)
Sebastian Preuße, Christian Gerber, Hans-Michael Hanisch
Design Approaches for IEC 61499 Control Applications. GI Jahrestagung (1) (2010)
Sebastian Preuße, Hans-Michael Hanisch
Specification of technical plant behavior with a safety-oriented technical language. INDIN (2009)