Dr. Markus Dahlweid is a Lead Software Design Engineer at the European Microsoft Innovation Center in Aachen, Germany.
Dr. Dahlweid studied Computer Sciences and holds a PhD from Bremen University on “High Level Transition Systems of CSP Specifications”. Before joining Microsoft, he worked at Verified Systems, Bremen as software development and testing engineer, with special focus on safety-critical embedded systems in the area of avionics. After joining the European Microsoft Innovation Center (EMIC) in 2008, his primary focus was on verifying the Microsoft Hyper-V Hypervisor kernel as part of the Verisoft XT research project funded by BMBF and developing the verification tools needed to verify C code. His current focus is on the design and implementation of tools and method for model based development, especially on the topic of design-space exploration of models capturing functional- and non-functional requirements.
- 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