Jörg Preußig

12 papers A 1C 1Journal 2Unranked 7
YearRankTypeTitle / Venue / Authors
2001 — conf
Some lessons from the HYTECH experience.
CDC
Thomas A. Henzinger, Jörg Preußig, Howard Wong-Toi
2000 C conf
A procedure for reachability analysis of rectangular automata.
ACC
Howard Wong-Toi, Jörg Preußig
2000 — —
Formale Überprüfung der Korrektheit von Steuerungen mittels rektangulärer Automaten.
Jörg Preußig
1999 — conf
Reachability Analysis of a Class of Switched Continuous Systems by Integrating Rectangular Approximation and Rectangular Analysis.
HSCC
Jörg Preußig, Olaf Stursberg, Stefan Kowalewski
1999 J jnl
Verification of logic controllers for continuous plants using timed condition/event-system models.
Autom.
Stefan Kowalewski, Sebastian Engell, Jörg Preußig, Olaf Stursberg
1998 — conf
An Algorithm for the Approximative Analysis of Rectangular Automata.
FTRTFT
Jörg Preußig, Stefan Kowalewski, Howard Wong-Toi, Thomas A. Henzinger
1998 J jnl
Integrating Timed Condition/Event Systems and Timed Automata for the Verification of Hybrid Systems.
Parallel Distributed Comput. Pract.
Ralf Huuck, Yassine Lakhnech, Luis Urbina, Sebastian Engell, Stefan Kowalewski, Jörg Preußig
1997 — conf
A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: The Two Tanks Problem.
Hybrid Systems
Stefan Kowalewski, Olaf Stursberg, Martin Fritz, Holger Graf, Ingo Hoffmann, Jörg Preußig, Manuel Remelhe, Silke Simon, Heinz Treseler
1997 — conf
Comparing Timed C/E Systems with Timed Automata (Abstract).
HART
Ralf Huuck, Yassine Lakhnech, Luis Urbina, Sebastian Engell, Stefan Kowalewski, Jörg Preußig
1996 — conf
Comparing Timed and Hybrid Automata as Approximations of Continuous Systems.
Hybrid Systems
Olaf Stursberg, Stefan Kowalewski, Ingo Hoffmann, Jörg Preußig
1996 A conf
Timed Condition/Event Systems: A Framework for Modular Discrete Models of Chemical Plants and Verification of Their Real-Time Discrete Control.
TACAS
Stefan Kowalewski, Jörg Preußig
1995 — conf
Condition/Event Systems: a Powerful Paradigm for Timed and Untimed Discrete Models of Technical Systems.
EUROSIM
Sebastian Engell, Stefan Kowalewski, Bruce H. Krogh, Jörg Preußig