Andrew Butterfield

Publication Activity (10 Years)

Years Active: 1993-2023
Publications (10 Years): 14

Top Topics

Mixture Distributions

Business Process

Formal Verification

Top Venues

ICGSE Workshops

Publications

Andrew Butterfield, Frédéric Tuong
Applying Formal Verification to an Open-Source Real-Time Operating System. Theories of Programming and Formal Methods (2023)
Gerard Ekembe Ngondi, Vasileios Koutavas, Andrew Butterfield
From CCS to CSP: the m-among-n Synchronisation Approach. EXPRESS/SOS (2022)
Gerard Ekembe Ngondi, Vasileios Koutavas, Andrew Butterfield
Translation of CCS into CSP, Correct up to Strong Bisimulation. SEFM (2021)
Anila Mjeda, Andrew Butterfield, John Noll
Business Process Modeling Flexibility: A Formal Interpretation. MODELSWARD (2019)
Artur Oliveira Gomes, Andrew Butterfield
Towards a Model-Checker for Circus. FM (2019)
Artur Oliveira Gomes, Andrew Butterfield
Circus2CSP: A Tool for Model-Checking Circus Using FDR. FM (2019)
Andrew Butterfield
The Inner and Outer Algebras of Unified Concurrency. UTP (2019)
Nikolaj Bjørner, Frank S. de Boer, Andrew Butterfield
Editorial. Formal Aspects Comput. 30 (5) (2018)
Andrew Butterfield
UTCP: Compositional Semantics for Shared-Variable Concurrency. SBMF (2017)
Jim Woodcock, Simon Foster, Andrew Butterfield
Heterogeneous Semantics and Unifying Theories. ISoLA (1) (2016)
Andrew Butterfield, Anila Mjeda, John Noll
UTP Semantics for Shared-State, Concurrent, Context-Sensitive Process Models. TASE (2016)
Artur Oliveira Gomes, Andrew Butterfield
Modelling the Haemodialysis Machine with Circus. ABZ (2016)
Andrew Butterfield
UTPCalc - A Calculator for UTP Predicates. UTP (2016)
John Noll, Andrew Butterfield
Teaching Global Software Development through Game Design. ICGSE Workshops (2016)
Howell R. Jordan, Goetz Botterweck, John Noll, Andrew Butterfield, Rem W. Collier
A feature model of actor, agent, functional, object, and procedural programming languages. Sci. Comput. Program. 98 (2015)
David Sanán, Andrew Butterfield, Mike Hinchey
Separation Kernel Verification: The Xtratum Case Study. VSTTE (2014)
Andrew Butterfield
UTP2: Higher-Order Equational Reasoning by Pointing. UITP (2014)
John Noll, Andrew Butterfield, Kevin Farrell, Tom Mason, Miles McGuire, Ross McKinley
GSD Sim: A Global Software Development Game. ICGSE Workshops (2014)
Riccardo Bresciani, Andrew Butterfield
A UTP approach towards probabilistic protocol verification. Secur. Commun. Networks 7 (1) (2014)
Riccardo Bresciani, Andrew Butterfield
From Distributions to Probabilistic Reactive Programs. ICTAC (2013)
Riccardo Bresciani, Andrew Butterfield
A UTP Semantics of pGCL as a Homogeneous Relation. IFM (2012)
Andrew Butterfield
. UTP (2012)
Riccardo Bresciani, Andrew Butterfield
A Probabilistic Theory of Designs Based on Distributions. UTP (2012)
Andrew Butterfield
A denotational semantics for Handel-C. Formal Aspects Comput. 23 (2) (2011)
Andrew Butterfield
Reasoning about I/O in Functional Programs. CEFP (2011)
Arshad Beg, Andrew Butterfield
Linking a state-rich process algebra to a state-free algebra to verify software/hardware implementation. FIT (2010)
Pawel Gancarski, Andrew Butterfield
Prioritized slotted-Circus. ICTAC (2010)
Andrew Butterfield
Saoithín: A Theorem Prover for UTP. UTP (2010)
Arshad Beg, Andrew Butterfield
Modelling flash devices with FDR: progress and limits. FIT (2010)
Andrew Butterfield, Pawel Gancarski, Jim Woodcock
State Visibility and Communication in Unifying Theories of Programming. TASE (2009)
Andrew Butterfield, Art Ó Catháin
Concurrent Models of Flash Memory Device Behaviour. SBMF (2009)
Andrew Butterfield, Leo Freitas, Jim Woodcock
Mechanising a formal model of flash memory. Sci. Comput. Program. 74 (4) (2009)
Riccardo Bresciani, Andrew Butterfield
Weakening the Dolev-Yao model through probability. SIN (2009)
Pawel Gancarski, Andrew Butterfield
The Denotational Semantics of slotted-Circus. FM (2009)
Riccardo Bresciani, Andrew Butterfield
A formal security proof for the ZRTP Protocol. ICITST (2009)
Leo Freitas, Jim Woodcock, Andrew Butterfield
POSIX and the Verification Grand Challenge: A Roadmap. ICECCS (2008)
Andrew Butterfield, Juan Bicarregui, Alvaro Arenas
Foreword: Selected papers from the ninth international workshop on formal methods for industrial critical systems (FMICS 04), Linz, Austria. Formal Methods Syst. Des. 30 (3) (2007)
Andrew Butterfield, Adnan Sherif, Jim Woodcock
Slotted-Circus. IFM (2007)
Andrew Butterfield, Jim Woodcock
Formalising Flash Memory: First Steps. ICECCS (2007)
Andrew Butterfield
A Denotational Semantics for Handel-C. Formal Methods and Hybrid Real-Time Systems (2007)
Malcolm Dowse, Andrew Butterfield
Modelling deterministic concurrent I/O. ICFP (2006)
Malcolm Tyrrell, Joseph M. Morris, Andrew Butterfield, Arthur Hughes
A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes. ICTAC (2006)
Andrew Butterfield, Jim Woodcock
A "Hardware Compiler" Semantics for Handel-C. Electron. Notes Theor. Comput. Sci. 161 (2006)
Juan Bicarregui, Andrew Butterfield, Alvaro Arenas
Preface. Electron. Notes Theor. Comput. Sci. 133 (2005)
Andrew Butterfield, Jim Woodcock
prialt in Handel-C: an operational semantics. Int. J. Softw. Tools Technol. Transf. 7 (3) (2005)
Andrew Butterfield, Vivek Vedagiri, Edward Lang, Cath Lawrence, Matthew J. Wakefield, Alexander Isaev, Gavin A. Huttley
PyEvolve: a toolkit for statistical modelling of molecular evolution. BMC Bioinform. 5 (2004)
Malcolm Dowse, Andrew Butterfield, Marko C. J. D. van Eekelen
Reasoning About Deterministic Concurrent Functional I/O. IFL (2004)
Andrew Butterfield
Formal Methods for Industrial Critical Systems at Trinity College, University of Dublin. Electron. Notes Theor. Comput. Sci. 80 (2003)
Andrew Butterfield, Jim Woodcock
An Operational Semantics for Handel-C. Electron. Notes Theor. Comput. Sci. 80 (2003)
Andrew Butterfield, Jim Woodcock
Semantic domains for Handel-C. Electron. Notes Theor. Comput. Sci. 74 (2002)
Malcolm Dowse, Glenn Strong, Andrew Butterfield
Proving Make Correct: I/O Proofs in Haskell and Clean. IFL (2002)
Andrew Butterfield, Glenn Strong
Proving Correctness of Programs with IO - A Paradigm Comparison. IFL (2001)
Malcolm Tyrrell, Andrew Butterfield, Alexis Donnelly
OO-Motivated Process Algebra: A Calculus for CORBA-like Systems. Rigorous Object-Oriented Methods (2000)
Andrew Butterfield
A VDM Study of Fault-Tolerant Stable Storage - Towards a Computer Engineering Mathematics. FME (1993)