Eric Verlind

Publication Activity (10 Years)

Years Active: 1991-1996
Publications (10 Years): 0

Publications

Eric Verlind, Gjalt G. de Jong, Bill Lin
Efficient Partial Enumeration for Timing Analysis of Asynchronous Systems. DAC (1996)
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)
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)