 | 2009 |
|---|
| 7 |       | Lyes Benalycherif,
Anthony McIsaac:
A Semantic Condition for Data Independence and Applications in Hardware Verification.
Electr. Notes Theor. Comput. Sci. 250(1): 39-54 (2009) |
| 2007 |
|---|
| 6 | | Lyes Benalycherif,
Anthony McIsaac,
Neil Dunlop:
Structured Approach to Property Specification and Verification of HW IP.
IEEE International Workshop on Rapid System Prototyping 2007: 161-166 |
| 2003 |
|---|
| 5 | | Cindy Eisner,
Dana Fisman,
John Havlicek,
Yoad Lustig,
Anthony McIsaac,
David Van Campenhout:
Reasoning with Temporal Logic on Truncated Paths.
CAV 2003: 27-39 |
| 4 | | Cindy Eisner,
Dana Fisman,
John Havlicek,
Anthony McIsaac,
David Van Campenhout:
The Definition of a Temporal Clock Operator.
ICALP 2003: 857-870 |
| 1997 |
|---|
| 3 | | Geoff Barrett,
Anthony McIsaac:
Model Checking in a Microprocessor Design Project.
CAV 1997: 214-225 |
| 1996 |
|---|
| 2 | | Françoise Casaubieilh,
Anthony McIsaac,
Mike Benjamin,
Mike Bartley,
François Pogodalla,
Frédéric Rocheteau,
Mohamed Belhadj,
Jeremy Eggleton,
Gérard Mas,
Geoff Barrett,
Christian Berthet:
Functional Verification Methodology of Chameleon Processor.
DAC 1996: 421-426 |
| 1993 |
|---|
| 1 | | Anthony McIsaac:
A Formalization of Abstraction in LAMBDA.
HUG 1993: 227-238 |
