Travelled to:2 × USA
Collaborated with:G.G.d.Jong B.Lin T.Kolks H.D.Man
Talks about:system (2) effici (2) time (2) asynchron (1) communic (1) abstract (1) partial (1) analysi (1) method (1) enumer (1)
Person: Eric Verlind
DBLP: Verlind:Eric
Contributed to:
19961994Wrote 2 papers:
- DAC-1996-VerlindJL #analysis #performance
- Efficient Partial Enumeration for Timing Analysis of Asynchronous Systems (EV, GGdJ, BL), pp. 55–58.
- DAC-1994-VerlindKJLM #abstraction #communication #performance #verification
- A Time Abstraction Method for Efficient Verification of Communicating Systems (EV, TK, GGdJ, BL, HDM), pp. 609–614.