Hans Eveking
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
1990–2007
Best venue rank
A*
Where they publish
Papers
7 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 |
| 1999 | DATE | Automatic Verification of Scheduling Results in High-Level Synthesis. | Hans Eveking, Holger Hinrichsen, Gerd Ritter |
| 1993 | DAC | Optimization and Resynthesis of Complex Data-Paths. | Hans Eveking, Stefan Hreth |
| 1990 | CAV | Automatic Verification of Extensions of Hardware Descriptions. | Hans Eveking |