Dirk Seifert

According to our database, Dirk Seifert authored at least 11 papers between 2003 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2014

Performance Analysis of Computing Servers - A Case Study Exploiting a New GSPN Semantics.

Joost-Pieter Katoen, Thomas Noll, Thomas Santen, Dirk Seifert, Hao Wu

Proceedings of the Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, 2014

2013

Model-based energy optimization of automotive control systems.

Joost-Pieter Katoen, Thomas Noll, Hao Wu, Thomas Santen, Dirk Seifert

Proceedings of the Design, Automation and Test in Europe, 2013

2010

Components, platforms and possibilities: towards generic automation for MDA.

Ethan K. Jackson, Eunsuk Kang, Markus Dahlweid, Dirk Seifert, Thomas Santen

Proceedings of the 10th International conference on Embedded software, 2010

2009

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

Proceedings of the Software Composition - 8th International Conference, 2009

2008

Automatisiertes Testen asynchroner nichtdeterministischer Systeme mit Daten.

Dirk Seifert

Softwaretechnik-Trends, 2008

Testing Against Requirements Using UML Environment Models.

Maritta Heisel, Denis Hatebur, Thomas Santen, Dirk Seifert

Softwaretechnik-Trends, 2008

Conformance Testing Based on UML State Machines.

Dirk Seifert

Proceedings of the Formal Methods and Software Engineering, 2008

2007

Automatisiertes Testen asynchroner nichtdeterministischer Systeme mit Daten.

Dirk Seifert

PhD thesis, 2007

2006

TEAGER - Test Automation for UML State Machines.

Thomas Santen, Dirk Seifert

Proceedings of the Software Engineering 2006, 2006

2004

Evaluating Coverage Based Testing.

Christophe Gaston, Dirk Seifert

Proceedings of the Model-Based Testing of Reactive Systems, 2004

2003

Test Case Generation for UML Statecharts.

Dirk Seifert, Steffen Helke, Thomas Santen

Proceedings of the Perspectives of Systems Informatics, 2003