Markus Dahlweid

Publication Activity (10 Years)

Years Active: 2009-2015
Publications (10 Years): 1

Top Topics

Manual Inspection

Bug Localization

Programs Written

Top Venues

University of Bremen, Germany (PHD)

Education History

University of Bremen, Germany

PHD

Publications

Jörg Brauer, Markus Dahlweid, Tobias Pankrath, Jan Peleska
Source-Code-to-Object-Code Traceability Analysis for Avionics Software: Don't Trust Your Compiler. SAFECOMP (2015)
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)
Ernie Cohen, Markus Dahlweid, Mark A. Hillebrand, Dirk Leinenbach, Michal Moskal, Thomas Santen, Wolfram Schulte, Stephan Tobies
VCC: A Practical System for Verifying Concurrent C. TPHOLs (2009)
Markus Dahlweid, Michal Moskal, Thomas Santen, Stephan Tobies, Wolfram Schulte
VCC: Contract-based modular verification of concurrent C. ICSE Companion (2009)
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, Elena Petrova, Thomas Santen, Norbert Schirmer, Sabine Schmaltz, Wolfram Schulte, Andrey Shadrin, Stephan Tobies, Alexandra Tsyban, Sergey Tverdyshev
Invariants, Modularity, and Rights. Ershov Memorial Conference (2009)