Martin Schickel

Publication Activity (10 Years)

Years Active: 2006-2009
Publications (10 Years): 0

Publications

Martin Oberkönig, Martin Schickel, Hans Eveking
Quantitative Qualitätsaussagen über Testbenches mittels formaler Eigenschaften. MBMV (2009)
Martin Oberkönig, Martin Schickel, Hans Eveking
Eine quantitative Vollständigkeitsanalyse für Eigenschaftssätze. MBMV (2008)
Martin Braun, Minh D. Nguyen, Hans Eveking, Martin Schickel, Wolfgang Kunz
Methoden zur Verifikation von Kommunikationsstrukturen. MBMV (2007)
Hans Eveking, Martin Braun, Martin Schickel, Martin Schweikert, Volker Nimbler
Multi-Level Assertion-Based Design. MEMOCODE (2007)
Martin Schickel, Martin Oberkönig, Martin Schweikert, Hans Eveking
A Case-Study in Property-Based Synthesis: Generating a Cache Controller from a Property-Set. FDL (2007)
Martin Oberkönig, Martin Schickel, Hans Eveking
A Quantitative Completeness Analysis for Property-Sets. FMCAD (2007)
Martin Schickel, Volker Nimbler, Martin Braun, Hans Eveking
On Consistency and Completeness of Property-Sets. FDL (2006)