On Consistency and Completeness of Property-Sets. - Martin Schickel; Volker Nimbler; Martin Braun 001; Hans Eveking (FDL, 2006)

A Case-Study in Property-Based Synthesis: Generating a Cache Controller from a Property-Set. - Martin Schickel; Martin Oberkönig; Martin Schweikert; Hans Eveking (FDL, 2007)

A Quantitative Completeness Analysis for Property-Sets. - Martin Oberkönig; Martin Schickel; Hans Eveking (FMCAD, 2007)

Methoden zur Verifikation von Kommunikationsstrukturen. - Martin Braun 001; Minh D. Nguyen; Hans Eveking; Martin Schickel; Wolfgang Kunz (MBMV, 2007)

Multi-Level Assertion-Based Design. - Hans Eveking; Martin Braun 001; Martin Schickel; Martin Schweikert; Volker Nimbler (MEMOCODE, 2007)

Eine quantitative Vollständigkeitsanalyse für Eigenschaftssätze. - Martin Oberkönig; Martin Schickel; Hans Eveking (MBMV, 2008)

Quantitative Qualitätsaussagen über Testbenches mittels formaler Eigenschaften. - Martin Oberkönig; Martin Schickel; Hans Eveking (MBMV, 2009)

Anwendung normalisierter Eigenschaften zur Verbesserung von Qualitätsaussagen in der funktionalen Hardware-Verifikation. - Martin Oberkönig (2010)