| 2009 | ||
|---|---|---|
| 5 | Ethan K. Jackson, Dirk Seifert, Markus Dahlweid, Thomas Santen, Nikolaj Bjørner, Wolfram Schulte: Specifying and Composing Non-functional Requirements in Model-Based Development. Software Composition 2009: 72-89 | |
| 2008 | ||
| 4 | Dirk Seifert: Conformance Testing Based on UML State Machines. ICFEM 2008: 45-65 | |
| 2006 | ||
| 3 | Thomas Santen, Dirk Seifert: TEAGER - Test Automation for UML State Machines. Software Engineering 2006: 73-84 | |
| 2004 | ||
| 2 | Christophe Gaston, Dirk Seifert: Evaluating Coverage Based Testing. Model-Based Testing of Reactive Systems 2004: 293-322 | |
| 2003 | ||
| 1 | Dirk Seifert, Steffen Helke, Thomas Santen: Test Case Generation for UML Statecharts. Ershov Memorial Conference 2003: 462-468 | |
| 1 | Nikolaj Bjørner | [5] |
| 2 | Markus Dahlweid | [5] |
| 3 | Christophe Gaston | [2] |
| 4 | Steffen Helke | [1] |
| 5 | Ethan K. Jackson | [5] |
| 6 | Thomas Santen | [1] [3] [5] |
| 7 | Wolfram Schulte | [5] |