Dirk Leinenbach
According to our database1,
Dirk Leinenbach
authored at least 13 papers
between 2003 and 2009.
Collaborative distances:
Collaborative distances:
Timeline
2003
2004
2005
2006
2007
2008
2009
0
1
2
3
4
5
6
1
1
4
2
4
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2009
Proceedings of the 4th International Workshop on Systems Software Verification, 2009
Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009
Proceedings of the FM 2009: Formal Methods, 2009
Proceedings of the Perspectives of Systems Informatics, 2009
2008
Proceedings of the 3rd International Workshop on Systems Software Verification, 2008
Proceedings of the Verified Software: Theories, 2008
2006
Int. J. Softw. Tools Technol. Transf., 2006
2005
Proceedings of the Theorem Proving in Higher Order Logics, 18th International Conference, 2005
Towards the Formal Verification of a C0 Compiler: Code Generation and Implementation Correctnes.
Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005
Proceedings of the 23rd International Conference on Computer Design (ICCD 2005), 2005
Proceedings of the Correct Hardware Design and Verification Methods, 2005
2003
Instantiating Uninterpreted Functional Units and Memory System: Functional Verification of the VAMP.
Proceedings of the Correct Hardware Design and Verification Methods, 2003