| 1996 |
|---|
| 3 | EE | Eric Verlind,
Gjalt G. de Jong,
Bill Lin:
Efficient Partial Enumeration for Timing Analysis of Asynchronous Systems.
DAC 1996: 55-58 |
| 1994 |
|---|
| 2 | EE | Eric Verlind,
Tilman Kolks,
Gjalt G. de Jong,
Bill Lin,
Hugo De Man:
A Time Abstraction Method for Efficient Verification of Communicating Systems.
DAC 1994: 609-614 |
| 1991 |
|---|
| 1 | | Mark Genoe,
Luc J. M. Claesen,
Eric Verlind,
Frank Proesmans,
Hugo De Man:
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.
ICCD 1991: 338-341 |
