Anthony C. J. Fox Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Anthony C. J. Fox: Directions in ISA Specification. ITP 2012: 338-344
2011
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sascha Böhme, Anthony C. J. Fox, Thomas Sewell, Tjark Weber: Reconstruction of Z3's Bit-Vector Proofs in HOL4 and Isabelle/HOL. CPP 2011: 183-198
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Anthony C. J. Fox: LCF-Style Bit-Blasting in HOL4. ITP 2011: 357-362
2010
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Anthony C. J. Fox, Magnus O. Myreen: A Trustworthy Monadic Formalization of the ARMv7 Instruction Set Architecture. ITP 2010: 243-258
2009
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jade Alglave, Anthony C. J. Fox, Samin Ishtiaq, Magnus O. Myreen, Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli: The semantics of power and ARM multiprocessor machine code. DAMP 2009: 13-24
2007
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Magnus O. Myreen, Anthony C. J. Fox, Michael J. C. Gordon: Hoare Logic for ARM Machine Code. FSEN 2007: 272-286
2005
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Anthony C. J. Fox, Neal A. Harman: Algebraic models of correctness for abstract pipelines. J. Log. Algebr. Program. 57(1-2): 71-107 (2003)
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Anthony C. J. Fox: Formal Specification and Verification of ARM6. TPHOLs 2003: 25-40
2000
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Anthony C. J. Fox, Neal A. Harman: Algebraic Models of Correctness for Microprocessors. Formal Asp. Comput. 12(4): 298-312 (2000)
1998
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Anthony C. J. Fox, Neal A. Harman: Algebraic Models of Superscalar Microprocessor Implementations: A Case Study. Prospects for Hardware Foundations 1998: 138-183
1996
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Anthony C. J. Fox, Neal A. Harman: An Algebraic Model of Correctness for Superscalar Microprocessors. FMCAD 1996: 346-361

Coauthor Index

1Jade Alglave
[c6]
2Sascha Böhme
[c9]
3Michael J. C. Gordon
[c5]
4Neal A. Harman
[j2] [j1] [c2] [c1]
5Samin Ishtiaq
[c6]
6Magnus O. Myreen
[c7] [c6] [c5]
7Francesco Zappa Nardelli
[c6]
8Susmit Sarkar
[c6]
9Peter Sewell
[c6]
10Thomas Sewell
[c9]
11Tjark Weber
[c9]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Thu May 23 15:58:15 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page