Dirk Seifert
SDE II
.
Background
Dirk Seifert is a Software Design Engineer at the European Microsoft Innovation Center in Aachen, Germany. He is member of a team addressing advanced software development techniques for predictable systems with a focus on in design-space exploration in model-based systems capturing functional and non-functional requirements.
Dirk Seifert studied Computer Science and holds a PhD on automated testing of asynchronous systems from the Technical University of Berlin. Before joining Microsoft, he has been as a postdoc at the Lorraine Laboratory of IT Research and its Applications in Nancy, France.
Projects
Publications
- Ethan K. Jackson, Eunsuk Kang, Markus Dahlweid, Dirk Seifert, and Thomas Santen, Components, platforms and possibilities: towards generic automation for MDA, in EMSOFT, ACM, 2010
- Ethan K. Jackson, Dirk Seifert, Thomas Santen, Nikolaj Bjørner, Wolfram Schulte, and Markus Dahlweid, Specifying and Composing Non-functional Requirements in Model-Based Development, in Proceedings of the 8th International Conference on Software Composition, Springer Verlag, 2009
