Test Case Generation for UML Statecharts. - Dirk Seifert; Steffen Helke; Thomas Santen (Ershov Memorial Conference, 2003)

Evaluating Coverage Based Testing. - Christophe Gaston; Dirk Seifert (Model-Based Testing of Reactive Systems, 2004)

TEAGER - Test Automation for UML State Machines. - Thomas Santen; Dirk Seifert (Software Engineering, 2006)

Automatisiertes Testen asynchroner nichtdeterministischer Systeme mit Daten. - Dirk Seifert (2007)

Conformance Testing Based on UML State Machines. - Dirk Seifert (ICFEM, 2008)

Testing Against Requirements Using UML Environment Models. - Maritta Heisel; Denis Hatebur; Thomas Santen; Dirk Seifert (Softwaretechnik-Trends, 2008)

Automatisiertes Testen asynchroner nichtdeterministischer Systeme mit Daten. - Dirk Seifert (Softwaretechnik-Trends, 2008)

Specifying and Composing Non-functional Requirements in Model-Based Development. - Ethan K. Jackson; Dirk Seifert; Markus Dahlweid; Thomas Santen; Nikolaj S. Bjørner; Wolfram Schulte (SC@TOOLS, 2009)

Components, platforms and possibilities: towards generic automation for MDA. - Ethan K. Jackson; Eunsuk Kang; Markus Dahlweid; Dirk Seifert; Thomas Santen (EMSOFT, 2010)

Model-based energy optimization of automotive control systems. - Joost-Pieter Katoen; Thomas Noll 001; Hao Wu 013; Thomas Santen; Dirk Seifert (DATE, 2013)

Performance Analysis of Computing Servers - A Case Study Exploiting a New GSPN Semantics. - Joost-Pieter Katoen; Thomas Noll 001; Thomas Santen; Dirk Seifert; Hao Wu 013 (MMB/DFT, 2014)