Anthony C. J. Fox

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

Coauthor Index

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

Colors in the list of coauthors