| 2001 | ||
|---|---|---|
| 2 | Heinz Treseler, Olaf Stursberg, Paul W. H. Chung, Shuang-Hua Yang: An Open Software Architecture for the Verification of Industrial Controllers. J. UCS 7(1): 37-53 (2001) | |
| 1997 | ||
| 1 | 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 | |
| 1 | Paul W. H. Chung | [2] |
| 2 | Martin Fritz | [1] |
| 3 | Holger Graf | [1] |
| 4 | Ingo Hoffmann | [1] |
| 5 | Stefan Kowalewski | [1] |
| 6 | Jörg Preußig | [1] |
| 7 | Manuel Remelhe | [1] |
| 8 | Silke Simon | [1] |
| 9 | Olaf Stursberg | [1] [2] |
| 10 | Shuang-Hua Yang | [2] |