 | 2007 |
|---|
| 4 |       | 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: 291-292 |
| 3 | | Martin Oberkönig,
Martin Schickel,
Hans Eveking:
A Quantitative Completeness Analysis for Property-Sets.
FMCAD 2007: 158-161 |
| 2 | | Hans Eveking,
Martin Braun,
Martin Schickel,
Martin Schweikert,
Volker Nimbler:
Multi-Level Assertion-Based Design.
MEMOCODE 2007: 85-86 |
| 2006 |
|---|
| 1 | | Martin Schickel,
Volker Nimbler,
Martin Braun,
Hans Eveking:
On Consistency and Completeness of Property-Sets.
FDL 2006: 241-248 |
