Anthony McIsaac
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1996–2007
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | RSP | Structured Approach to Property Specification and Verification of HW IP. | Lyes Benalycherif, Anthony McIsaac, Neil Dunlop |
| 2003 | CAV | Reasoning with Temporal Logic on Truncated Paths. | Cindy Eisner, Dana Fisman, John Havlicek, Yoad Lustig, Anthony McIsaac, David Van Campenhout |
| 2003 | ICALP | The Definition of a Temporal Clock Operator. | Cindy Eisner, Dana Fisman, John Havlicek, Anthony McIsaac, David Van Campenhout |
| 1997 | CAV | Model Checking in a Microprocessor Design Project. | Geoff Barrett, Anthony McIsaac |
| 1996 | DAC | Functional Verification Methodology of Chameleon Processor. | Franoise Casaubieilh, Anthony McIsaac, Mike Benjamin, Mike Bartley, Franois Pogodalla, Frdric Rocheteau, Mohamed Belhadj, Jeremy Eggleton, Grard Mas, Geoff Barrett, Christian Berthet |