A VDM Study of Fault-Tolerant Stable Storage - Towards a Computer Engineering Mathematics. - Andrew Butterfield (FME, 1993)

OO-Motivated Process Algebra: A Calculus for CORBA-like Systems. - Malcolm Tyrrell; Andrew Butterfield; Alexis Donnelly (Rigorous Object-Oriented Methods, 2000)

Proving Correctness of Programs with IO - A Paradigm Comparison. - Andrew Butterfield; Glenn Strong (IFL, 2001)

Proving Make Correct: I/O Proofs in Haskell and Clean. - Malcolm Dowse; Glenn Strong; Andrew Butterfield (IFL, 2002)

Semantic domains for Handel-C. - Andrew Butterfield; Jim Woodcock 001 (MFCSIT, 2002)

Formal Methods for Industrial Critical Systems at Trinity College, University of Dublin. - Andrew Butterfield (FMICS, 2003)

An Operational Semantics for Handel-C. - Andrew Butterfield; Jim Woodcock 001 (FMICS, 2003)

Reasoning About Deterministic Concurrent Functional I/O. - Malcolm Dowse; Andrew Butterfield; Marko C. J. D. van Eekelen (IFL, 2004)

PyEvolve: a toolkit for statistical modelling of molecular evolution. - Andrew Butterfield; Vivek Vedagiri; Edward Lang; Cath Lawrence; Matthew J. Wakefield; Alexander Isaev; Gavin A. Huttley (BMC Bioinform., 2004)

Preface. - Juan Bicarregui; Andrew Butterfield; Alvaro Arenas (FMICS, 2004)

A "Hardware Compiler" Semantics for Handel-C. - Andrew Butterfield; Jim Woodcock 001 (MFCSIT, 2004)

prialt in Handel-C: an operational semantics. - Andrew Butterfield; Jim Woodcock 001 (Int. J. Softw. Tools Technol. Transf., 2005)

Modelling deterministic concurrent I/O. - Malcolm Dowse; Andrew Butterfield (ICFP, 2006)

A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes. - Malcolm Tyrrell; Joseph M. Morris; Andrew Butterfield; Arthur Hughes (ICTAC, 2006)

Formalising Flash Memory: First Steps. - Andrew Butterfield; Jim Woodcock 001 (ICECCS, 2007)

Slotted-Circus. - Andrew Butterfield; Adnan Sherif; Jim Woodcock 001 (IFM, 2007)

Foreword: Selected papers from the ninth international workshop on formal methods for industrial critical systems (FMICS 04), Linz, Austria. - Andrew Butterfield; Juan Bicarregui; Alvaro Arenas (Formal Methods Syst. Des., 2007)

POSIX and the Verification Grand Challenge: A Roadmap. - Leo Freitas; Jim Woodcock 001; Andrew Butterfield (ICECCS, 2008)

The Denotational Semantics of slotted-Circus. - Pawel Gancarski; Andrew Butterfield (FM, 2009)

A formal security proof for the ZRTP Protocol. - Riccardo Bresciani; Andrew Butterfield (ICITST, 2009)

Concurrent Models of Flash Memory Device Behaviour. - Andrew Butterfield; Art Ó Catháin (SBMF, 2009)

Weakening the Dolev-Yao model through probability. - Riccardo Bresciani; Andrew Butterfield (SIN, 2009)

State Visibility and Communication in Unifying Theories of Programming. - Andrew Butterfield; Pawel Gancarski; Jim Woodcock 001 (TASE, 2009)

Mechanising a formal model of flash memory. - Andrew Butterfield; Leo Freitas; Jim Woodcock 001 (Sci. Comput. Program., 2009)

Modelling flash devices with FDR: progress and limits. - Arshad Beg; Andrew Butterfield (FIT, 2010)

Linking a state-rich process algebra to a state-free algebra to verify software/hardware implementation. - Arshad Beg; Andrew Butterfield (FIT, 2010)

Prioritized slotted-Circus. - Pawel Gancarski; Andrew Butterfield (ICTAC, 2010)

Saoithín: A Theorem Prover for UTP. - Andrew Butterfield (UTP, 2010)

Reasoning about I/O in Functional Programs. - Andrew Butterfield (CEFP, 2011)

A denotational semantics for Handel-C. - Andrew Butterfield (Formal Aspects Comput., 2011)

A UTP Semantics of pGCL as a Homogeneous Relation. - Riccardo Bresciani; Andrew Butterfield (IFM, 2012)

A Probabilistic Theory of Designs Based on Distributions. - Riccardo Bresciani; Andrew Butterfield (UTP, 2012)

The Logic of U ·(TP)2. - Andrew Butterfield (UTP, 2012)

From Distributions to Probabilistic Reactive Programs. - Riccardo Bresciani; Andrew Butterfield (ICTAC, 2013)

GSD Sim: A Global Software Development Game. - John Noll; Andrew Butterfield; Kevin Farrell; Tom Mason; Miles McGuire; Ross McKinley (ICGSE Workshops, 2014)

Separation Kernel Verification: The Xtratum Case Study. - David Sanán; Andrew Butterfield; Mike Hinchey (VSTTE, 2014)

UTP2: Higher-Order Equational Reasoning by Pointing. - Andrew Butterfield (UITP, 2014)

A UTP approach towards probabilistic protocol verification. - Riccardo Bresciani; Andrew Butterfield (Secur. Commun. Networks, 2014)

A feature model of actor, agent, functional, object, and procedural programming languages. - Howell R. Jordan; Goetz Botterweck; John Noll; Andrew Butterfield; Rem W. Collier (Sci. Comput. Program., 2015)

Modelling the Haemodialysis Machine with Circus. - Artur Oliveira Gomes; Andrew Butterfield (ABZ, 2016)

Teaching Global Software Development through Game Design. - John Noll; Andrew Butterfield (ICGSE Workshops, 2016)

Heterogeneous Semantics and Unifying Theories. - Jim Woodcock 001; Simon Foster 001; Andrew Butterfield (ISoLA (1), 2016)

UTP Semantics for Shared-State, Concurrent, Context-Sensitive Process Models. - Andrew Butterfield; Anila Mjeda; John Noll (TASE, 2016)

UTPCalc - A Calculator for UTP Predicates. - Andrew Butterfield (UTP, 2016)

UTCP: Compositional Semantics for Shared-Variable Concurrency. - Andrew Butterfield (SBMF, 2017)

Editorial. - Nikolaj S. Bjørner; Frank S. de Boer; Andrew Butterfield (Formal Aspects Comput., 2018)

Towards a Model-Checker for Circus. - Artur Oliveira Gomes; Andrew Butterfield (FM, 2019)

Circus2CSP: A Tool for Model-Checking Circus Using FDR. - Artur Oliveira Gomes; Andrew Butterfield (FM, 2019)

Business Process Modeling Flexibility: A Formal Interpretation. - Anila Mjeda; Andrew Butterfield; John Noll (MODELSWARD, 2019)

The Inner and Outer Algebras of Unified Concurrency. - Andrew Butterfield (UTP, 2019)

Translation of CCS into CSP, Correct up to Strong Bisimulation. - Gerard Ekembe Ngondi; Vasileios Koutavas; Andrew Butterfield (SEFM, 2021)

From CCS to CSP: the m-among-n Synchronisation Approach. - Gerard Ekembe Ngondi; Vasileios Koutavas; Andrew Butterfield (EXPRESS/SOS, 2022)

Applying Formal Verification to an Open-Source Real-Time Operating System. - Andrew Butterfield; Frédéric Tuong (Theories of Programming and Formal Methods, 2023)

Towards an Algebra for Unifying Theories of Concurrent Programming (UTCP). - Andrew Butterfield (The Application of Formal Methods, 2024)