Martin Schickel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2006–2007
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | FDL | A Case-Study in Property-Based Synthesis: Generating a Cache Controller from a Property-Set. | Martin Schickel, Martin Oberknig, Martin Schweikert, Hans Eveking |
| 2007 | FMCAD | A Quantitative Completeness Analysis for Property-Sets. | Martin Oberknig, Martin Schickel, Hans Eveking |
| 2007 | MEMOCODE | Multi-Level Assertion-Based Design. | Hans Eveking, Martin Braun, Martin Schickel, Martin Schweikert, Volker Nimbler |
| 2006 | FDL | On Consistency and Completeness of Property-Sets. | Martin Schickel, Volker Nimbler, Martin Braun, Hans Eveking |