Browsing by Author "Verlind, Eric"

Now showing 1 - 4 of 4

A time abstraction method for efficient verification of communicating systems

Verlind, Eric
;
Kolks, Tilman
;
De Jong, Gjalt
;
Lin, Bill
;
De Man, Hugo
Proceedings paper
1994, Proceedings31st Conference on Design Automation Conference - DAC, 06/06/1994, p.609-614
Efficient partial enumeration for timing analysis of asynchronous systems

Verlind, Eric
;
De Jong, Gjalt
;
Lin, Bill
Proceedings paper
1996, Proceedins 33rd Design Automation Conference - DAC, 3/06/1996, p.55-58
Efficient timing analysis of asynchronous systems and synchronous communication channels

Verlind, Eric
PHD thesis
1999-09
Efficient timing analysis of highly concurrent systems

Verlind, Eric
;
De Jong, Gjalt
;
Lin, Bill
Proceedings paper
1995, Proceedings of TAU 95: ACM/SIGDA International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, p.282-293