| |
| 2005 | ||
|---|---|---|
| 5 | EE | Steffen Helke, Florian Kammüller: Structure Preserving Data Abstractions for Statecharts. FORTE 2005: 305-319 |
| 2003 | ||
| 4 | EE | Dirk Seifert, Steffen Helke, Thomas Santen: Test Case Generation for UML Statecharts. Ershov Memorial Conference 2003: 462-468 |
| 2001 | ||
| 3 | EE | Steffen Helke, Thomas Santen: Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries. FME 2001: 20-42 |
| 2 | EE | Steffen Helke, Florian Kammüller: Representing Hierarchical Automata in Interactive Theorem Provers. TPHOLs 2001: 233-248 |
| 1997 | ||
| 1 | Steffen Helke, Thomas Neustupny, Thomas Santen: Automating Test Case Generation from Z Specifications with Isabelle. ZUM 1997: 52-71 | |
| 1 | Florian Kammüller | [2] [5] |
| 2 | Thomas Neustupny | [1] |
| 3 | Thomas Santen | [1] [3] [4] |
| 4 | Dirk Seifert | [4] |