Markus Dahlweid

According to our database1, Markus Dahlweid authored at least 7 papers between 2004 and 2015.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2015
Source-Code-to-Object-Code Traceability Analysis for Avionics Software: Don't Trust Your Compiler.
Proceedings of the Computer Safety, Reliability, and Security, 2015

2010
Components, platforms and possibilities: towards generic automation for MDA.
Proceedings of the 10th International conference on Embedded software, 2010

2009
VCC: A Practical System for Verifying Concurrent C.
Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009

Specifying and Composing Non-functional Requirements in Model-Based Development.
Proceedings of the Software Composition - 8th International Conference, 2009

VCC: Contract-based modular verification of concurrent C.
Proceedings of the 31st International Conference on Software Engineering, 2009


2004
High level transition systems of CSP specifications and their application in automated testing.
PhD thesis, 2004


  Loading...