| |
| 2004 | ||
|---|---|---|
| 3 | EE | Karsten Diethers, Michaela Huhn: Vooduu: Verification of Object-Oriented Designs Using UPPAAL. TACAS 2004: 139-143 |
| 2 | EE | Karsten Diethers, Bernd Finkemeyer, Nnamdi Kohn: Middleware zur Realisierung offener Steuerungssoftware für hochdynamische Prozesse (Realizing Open Control Software for High Dynamic Processes with a Middleware). it - Information Technology 46(1): 39-47 (2004) |
| 1999 | ||
| 1 | Thomas Firley, Michaela Huhn, Karsten Diethers, Thomas Gehrke, Ursula Goltz: Timed Sequence Diagrams and Tool-Based Analysis - A Case Study. UML 1999: 645-660 | |
| 1 | Bernd Finkemeyer | [2] |
| 2 | Thomas Firley | [1] |
| 3 | Thomas Gehrke | [1] |
| 4 | Ursula Goltz | [1] |
| 5 | Michaela Huhn | [1] [3] |
| 6 | Nnamdi Kohn | [2] |