Anthony C. J. Fox

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

7EEMagnus O. Myreen, Anthony C. J. Fox, Michael J. C. Gordon: Hoare Logic for ARM Machine Code. FSEN 2007: 272-286
6EEAnthony C. J. Fox: An Algebraic Framework for Verifying the Correctness of Hardware with Input and Output: A Formalization in HOL. CALCO 2005: 157-174
5EEAnthony C. J. Fox: Formal Specification and Verification of ARM6. TPHOLs 2003: 25-40
4EEAnthony C. J. Fox, Neal A. Harman: Algebraic models of correctness for abstract pipelines. J. Log. Algebr. Program. 57(1-2): 71-107 (2003)
3EEAnthony C. J. Fox, Neal A. Harman: Algebraic Models of Correctness for Microprocessors. Formal Asp. Comput. 12(4): 298-312 (2000)
2EEAnthony C. J. Fox, Neal A. Harman: Algebraic Models of Superscalar Microprocessor Implementations: A Case Study. Prospects for Hardware Foundations 1998: 138-183
1 Anthony C. J. Fox, Neal A. Harman: An Algebraic Model of Correctness for Superscalar Microprocessors. FMCAD 1996: 346-361

Coauthor Index

1Michael J. C. Gordon [7]
2Neal A. Harman [1] [2] [3] [4]
3Magnus O. Myreen [7]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)