Martin Oberknig
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2007–2007
Best venue rank
C
Where they publish
Papers
2 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 |