Markus Dahlweid

Components, platforms and possibilities: towards generic automation for MDA

Ethan K. Jackson, Eunsuk Kang, Markus Dahlweid, 2010, EMSOFT '10.

Model-Based Testing: Automatic Generation of Test Cases, Test Data and Test Procedures from SysML Models

Jörg Brauer, Jan Peleska, Markus Dahlweid, 2015 .

High Level Transition Systems of CSP Specifications

Markus Dahlweid, Uwe Schulze, 2008 .

Invariants, Modularity, and Rights

Mark A. Hillebrand, Wolfgang J. Paul, Alexandra Tsyban, 2009, Ershov Memorial Conference.

VCC: A Practical System for Verifying Concurrent C

Mark A. Hillebrand, Wolfram Schulte, Michal Moskal, 2009, TPHOLs.

Source-Code-to-Object-Code Traceability Analysis for Avionics Software: Don't Trust Your Compiler

Jörg Brauer, Jan Peleska, Markus Dahlweid, 2015, SAFECOMP.

Specifying and Composing Non-functional Requirements in Model-Based Development

Nikolaj Bjørner, Wolfram Schulte, Ethan K. Jackson, 2009, SC@TOOLS.

High level transition systems of CSP specifications and their application in automated testing

Markus Dahlweid, Uwe Schulze, M. Dahlweid, 2008 .

Automated Testing with RT-Tester - Theoretical Issues Driven by Practical Needs

Jan Peleska, Oliver Meyer, Markus Dahlweid, 2000 .

VCC: Contract-based modular verification of concurrent C

Wolfram Schulte, Michal Moskal, Stephan Tobies, 2009, 2009 31st International Conference on Software Engineering - Companion Volume.

Tool-Supported Structural Coverage Analysis for DO-178C Compliant Software

Jörg Brauer, Jan Peleska, Markus Dahlweid, 2015 .