Martin Oberkönig

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

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2010

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

Martin Oberkönig

PhD thesis, 2010

2009

Quantitative Qualitätsaussagen über Testbenches mittels formaler Eigenschaften.

Martin Oberkönig, Martin Schickel, Hans Eveking

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.

Martin Oberkönig, Martin Schickel, Hans Eveking

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

2007

Multi-Level Assertion-Based Design.

Hans Eveking, Martin Braun, Martin Schickel, Martin Schweikert, Volker Nimbler

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.

Martin Braun, Minh D. Nguyen, Hans Eveking, Martin Schickel, Wolfgang Kunz

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

A Quantitative Completeness Analysis for Property-Sets.

Martin Oberkönig, Martin Schickel, Hans Eveking

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.

Martin Schickel, Martin Oberkönig, Martin Schweikert, Hans Eveking

Proceedings of the Forum on specification and Design Languages, 2007

2006

On Consistency and Completeness of Property-Sets.

Martin Schickel, Volker Nimbler, Martin Braun, Hans Eveking

Proceedings of the Forum on specification and Design Languages, 2006