Anthony McIsaac

Publication Activity (10 Years)

Years Active: 1993-2009
Publications (10 Years): 0

Publications

Lyes Benalycherif, Anthony McIsaac
A Semantic Condition for Data Independence and Applications in Hardware Verification. Electron. Notes Theor. Comput. Sci. 250 (1) (2009)
Lyes Benalycherif, Anthony McIsaac, Neil Dunlop
Structured Approach to Property Specification and Verification of HW IP. IEEE International Workshop on Rapid System Prototyping (2007)
Cindy Eisner, Dana Fisman, John Havlicek, Anthony McIsaac, David Van Campenhout
The Definition of a Temporal Clock Operator. ICALP (2003)
Cindy Eisner, Dana Fisman, John Havlicek, Yoad Lustig, Anthony McIsaac, David Van Campenhout
Reasoning with Temporal Logic on Truncated Paths. CAV (2003)
Geoff Barrett, Anthony McIsaac
Model Checking in a Microprocessor Design Project. CAV (1997)
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)
Anthony McIsaac
A Formalization of Abstraction in LAMBDA. HUG (1993)