Dipl.-Ing. Sebastian Preuße
Scientific Staff
Phone: +49-345-55-25975
Email: sebastian.preusse@informatik.uni-halle.de
Research Interests
- OMSIS - project
- Specification of technical plant behavior with temporal logics
- Generation of formal plant models from 3D plant simulations
- Formal controller modeling
- Hardware in the Loop and Software in the Loop controller test
Publications
Technical Reports
- S. Preuße und H.-M. Hanisch: "Verhaltensspezifikation mit Symbolic Timing Diagrams", Technischer Bericht 2008/07, Martin-Luther-Universität Halle-Wittenberg, Institut für Informatik, September 2008.
- S. Preuße und H.-M. Hanisch: "Verhaltensspezifikation mit der Sicherheitsfachsprache", Technischer Bericht 2008/06, Martin-Luther-Universität Halle-Wittenberg, Institut für Informatik, August 2008.
- S. Preuße und H.-M. Hanisch: "Vergleich von Verfahren zur Spezifikation von Anlagenverhalten", Technischer Bericht 2008/05, Martin-Luther-Universität Halle-Wittenberg, Institut für Informatik, Juli 2008.