Markus Dahlweid
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2009–2015
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | SAFECOMP | Source-Code-to-Object-Code Traceability Analysis for Avionics Software: Don't Trust Your Compiler. | Jrg Brauer, Markus Dahlweid, Tobias Pankrath, Jan Peleska |
| 2010 | EMSOFT | Components, platforms and possibilities: towards generic automation for MDA. | Ethan K. Jackson, Eunsuk Kang, Markus Dahlweid, Dirk Seifert, Thomas Santen |
| 2009 | ICSE | VCC: Contract-based modular verification of concurrent C. | Markus Dahlweid, Michal Moskal, Thomas Santen, Stephan Tobies, Wolfram Schulte |