A Formalization of Abstraction in LAMBDA. - Anthony McIsaac (HUG, 1993)

Functional Verification Methodology of Chameleon Processor. - 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 (DAC, 1996)

Model Checking in a Microprocessor Design Project. - Geoff Barrett; Anthony McIsaac (CAV, 1997)

Reasoning with Temporal Logic on Truncated Paths. - Cindy Eisner; Dana Fisman; John Havlicek; Yoad Lustig; Anthony McIsaac; David Van Campenhout (CAV, 2003)

The Definition of a Temporal Clock Operator. - Cindy Eisner; Dana Fisman; John Havlicek; Anthony McIsaac; David Van Campenhout (ICALP, 2003)

Structured Approach to Property Specification and Verification of HW IP. - Lyes Benalycherif; Anthony McIsaac; Neil Dunlop (IEEE International Workshop on Rapid System Prototyping, 2007)

A Semantic Condition for Data Independence and Applications in Hardware Verification. - Lyes Benalycherif; Anthony McIsaac (AVoCS, 2007)