Martin Oberkönig

Affiliations:
  • Darmstadt University of Technology, Germany


According to our database1, Martin Oberkönig authored at least 8 papers between 2006 and 2010.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2010
Anwendung normalisierter Eigenschaften zur Verbesserung von Qualitätsaussagen in der funktionalen Hardware-Verifikation.
PhD thesis, 2010

2009
Quantitative Qualitätsaussagen über Testbenches mittels formaler Eigenschaften.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2009

2008
Eine quantitative Vollständigkeitsanalyse für Eigenschaftssätze.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2008

2007
Multi-Level Assertion-Based Design.
Proceedings of the 5th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2007), May 30, 2007

Methoden zur Verifikation von Kommunikationsstrukturen.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2007

A Quantitative Completeness Analysis for Property-Sets.
Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007

A Case-Study in Property-Based Synthesis: Generating a Cache Controller from a Property-Set.
Proceedings of the Forum on specification and Design Languages, 2007

2006
On Consistency and Completeness of Property-Sets.
Proceedings of the Forum on specification and Design Languages, 2006


  Loading...