High level transition systems of CSP specifications and their application in automated testing. - Markus Dahlweid; Uwe Schulze (2004)

Invariants, Modularity, and Rights. - Ernie Cohen; Eyad Alkassar; Vladimir Boyarinov; Markus Dahlweid; Ulan Degenbaev; Mark A. Hillebrand; Bruno Langenstein; Dirk Leinenbach; Michal Moskal; Steven Obua; Wolfgang J. Paul; Hristo Pentchev; et al. (Ershov Memorial Conference, 2009)

VCC: Contract-based modular verification of concurrent C. - Markus Dahlweid; Michal Moskal; Thomas Santen; Stephan Tobies; Wolfram Schulte (ICSE Companion, 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 (SC@TOOLS, 2009)

VCC: A Practical System for Verifying Concurrent C. - Ernie Cohen; Markus Dahlweid; Mark A. Hillebrand; Dirk Leinenbach; Michal Moskal; Thomas Santen; Wolfram Schulte; Stephan Tobies (TPHOLs, 2009)

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

Source-Code-to-Object-Code Traceability Analysis for Avionics Software: Don't Trust Your Compiler. - Jörg Brauer; Markus Dahlweid; Tobias Pankrath; Jan Peleska 001 (SAFECOMP, 2015)