Eric Verlind
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
1991–1996
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1996 | DAC | Efficient Partial Enumeration for Timing Analysis of Asynchronous Systems. | Eric Verlind, Gjalt G. de Jong, Bill Lin |
| 1994 | DAC | A Time Abstraction Method for Efficient Verification of Communicating Systems. | Eric Verlind, Tilman Kolks, Gjalt G. de Jong, Bill Lin, Hugo De Man |
| 1991 | ICCD | Illustration of the SFG-Tracing Multi-Level Behavioral Verification Methodology, by the Correctness Proof of a High to Low Level Synthesis Application in CATHEDRAL-II. | Mark Genoe, Luc J. M. Claesen, Eric Verlind, Frank Proesmans, Hugo De Man |