Dirk Seifert

Publication Activity (10 Years)

Years Active: 2003-2014
Publications (10 Years): 0

Top Topics

Optimization Procedure

Formal Semantics

Top Venues

Berlin Institute of Technology (PHD)

Education History

Berlin Institute of Technology

PHD

Publications

Joost-Pieter Katoen, Thomas Noll, Thomas Santen, Dirk Seifert, Hao Wu
Performance Analysis of Computing Servers - A Case Study Exploiting a New GSPN Semantics. MMB/DFT (2014)
Joost-Pieter Katoen, Thomas Noll, Hao Wu, Thomas Santen, Dirk Seifert
Model-based energy optimization of automotive control systems. DATE (2013)
Ethan K. Jackson, Eunsuk Kang, Markus Dahlweid, Dirk Seifert, Thomas Santen
Components, platforms and possibilities: towards generic automation for MDA. EMSOFT (2010)
Ethan K. Jackson, Dirk Seifert, Markus Dahlweid, Thomas Santen, Nikolaj Bjørner, Wolfram Schulte
Specifying and Composing Non-functional Requirements in Model-Based Development. SC@TOOLS (2009)
Dirk Seifert
Automatisiertes Testen asynchroner nichtdeterministischer Systeme mit Daten. Softwaretechnik-Trends 28 (1) (2008)
Maritta Heisel, Denis Hatebur, Thomas Santen, Dirk Seifert
Testing Against Requirements Using UML Environment Models. Softwaretechnik-Trends 28 (3) (2008)
Dirk Seifert
Conformance Testing Based on UML State Machines. ICFEM (2008)
Thomas Santen, Dirk Seifert
TEAGER - Test Automation for UML State Machines. Software Engineering (2006)
Christophe Gaston, Dirk Seifert
Evaluating Coverage Based Testing. Model-Based Testing of Reactive Systems (2004)
Dirk Seifert, Steffen Helke, Thomas Santen
Test Case Generation for UML Statecharts. Ershov Memorial Conference (2003)