Markus Dahlweid
According to our database1,
Markus Dahlweid
authored at least 7 papers
between 2004 and 2015.
Collaborative distances:
Collaborative distances:
Timeline
2004
2006
2008
2010
2012
2014
0
1
2
3
4
5
1
1
4
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
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
Proceedings of the 10th International conference on Embedded software, 2010
2009
Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009
Proceedings of the Software Composition - 8th International Conference, 2009
Proceedings of the 31st International Conference on Software Engineering, 2009
Proceedings of the Perspectives of Systems Informatics, 2009
2004
High level transition systems of CSP specifications and their application in automated testing.
PhD thesis, 2004