| 1999 |
|---|
| 7 | EE | Jörg Preußig,
Olaf Stursberg,
Stefan Kowalewski:
Reachability Analysis of a Class of Switched Continuous Systems by Integrating Rectangular Approximation and Rectangular Analysis.
HSCC 1999: 209-222 |
| 1998 |
|---|
| 6 | EE | Jörg Preußig,
Stefan Kowalewski,
Howard Wong-Toi,
Thomas A. Henzinger:
An Algorithm for the Approximative Analysis of Rectangular Automata.
FTRTFT 1998: 228-240 |
| 1997 |
|---|
| 5 | | Ralf Huuck,
Yassine Lakhnech,
Luis Urbina,
Sebastian Engell,
Stefan Kowalewski,
Jörg Preußig:
Comparing Timed C/E Systems with Timed Automata (Abstract).
HART 1997: 81-86 |
| 4 | EE | Stefan Kowalewski,
Olaf Stursberg,
Martin Fritz,
Holger Graf,
Ingo Hoffmann,
Jörg Preußig,
Manuel Remelhe,
Silke Simon,
Heinz Treseler:
A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: The Two Tanks Problem.
Hybrid Systems 1997: 163-185 |
| 1996 |
|---|
| 3 | | Olaf Stursberg,
Stefan Kowalewski,
Ingo Hoffmann,
Jörg Preußig:
Comparing Timed and Hybrid Automata as Approximations of Continuous Systems.
Hybrid Systems 1996: 361-377 |
| 2 | | Stefan Kowalewski,
Jörg Preußig:
Timed Condition/Event Systems: A Framework for Modular Discrete Models of Chemical Plants and Verification of Their Real-Time Discrete Control.
TACAS 1996: 225-240 |
| 1995 |
|---|
| 1 | | Sebastian Engell,
Stefan Kowalewski,
Bruce H. Krogh,
Jörg Preußig:
Condition/Event Systems: a Powerful Paradigm for Timed and Untimed Discrete Models of Technical Systems.
EUROSIM 1995: 421-426 |
