Andrew Butterfield

Riccardo Bresciani, Andrew Butterfield: A UTP Semantics of pGCL as a Homogeneous Relation. IFM 2012: 191-205

Riccardo Bresciani, Andrew Butterfield: A Probabilistic Theory of Designs Based on Distributions. UTP 2012: 105-123

Andrew Butterfield: The Logic of U ·(TP)². UTP 2012: 124-143

Andrew Butterfield: A denotational semantics for Handel-C. Formal Asp. Comput. 23(2): 153-170 (2011)

Arshad Beg, Andrew Butterfield: Modelling flash devices with FDR: progress and limits. FIT 2010: 18

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

Pawel Gancarski, Andrew Butterfield: Prioritized slotted-Circus. ICTAC 2010: 91-105

Andrew Butterfield: Saoithín: A Theorem Prover for UTP. UTP 2010: 137-156

Andrew Butterfield (Ed.): Unifying Theories of Programming, Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers. Lecture Notes in Computer Science 5713, Springer 2010, isbn 978-3-642-14520-9

Andrew Butterfield, Leo Freitas, Jim Woodcock: Mechanising a formal model of flash memory. Sci. Comput. Program. 74(4): 219-237 (2009)

Pawel Gancarski, Andrew Butterfield: The Denotational Semantics of slotted-Circus. FM 2009: 451-466

Riccardo Bresciani, Andrew Butterfield: A formal security proof for the ZRTP Protocol. ICITST 2009: 1-6

Andrew Butterfield, Art Ó Catháin: Concurrent Models of Flash Memory Device Behaviour. SBMF 2009: 70-83

Riccardo Bresciani, Andrew Butterfield: Weakening the Dolev-Yao model through probability. SIN 2009: 293-297

Andrew Butterfield, Pawel Gancarski, Jim Woodcock: State Visibility and Communication in Unifying Theories of Programming. TASE 2009: 47-54

Leo Freitas, Jim Woodcock, Andrew Butterfield: POSIX and the Verification Grand Challenge: A Roadmap. ICECCS 2008: 153-162

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 in System Design 30(3): 177-178 (2007)

Andrew Butterfield: A Denotational Semantics for Handel-C. Formal Methods and Hybrid Real-Time Systems 2007: 45-66

Andrew Butterfield, Jim Woodcock: Formalising Flash Memory: First Steps. ICECCS 2007: 251-260

Andrew Butterfield, Adnan Sherif, Jim Woodcock: Slotted-Circus. IFM 2007: 75-97

Zoltán Horváth, Viktória Zsók, Andrew Butterfield (Eds.): Implementation and Application of Functional Languages, 18th International Symp osium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers. Lecture Notes in Computer Science 4449, Springer 2007, isbn 978-3-540-74129-9

Andrew Butterfield, Jim Woodcock: A "Hardware Compiler" Semantics for Handel-C. Electr. Notes Theor. Comput. Sci. 161: 73-90 (2006)

Malcolm Dowse, Andrew Butterfield: Modelling deterministic concurrent I/O. ICFP 2006: 148-159

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

Andrew Butterfield, Clemens Grelck, Frank Huch (Eds.): Implementation and Application of Functional Languages, 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers. Lecture Notes in Computer Science 4015, Springer 2006, isbn 3-540-69174-X

Juan Bicarregui, Andrew Butterfield, Alvaro Arenas: Preface. Electr. Notes Theor. Comput. Sci. 133: 1-2 (2005)

Andrew Butterfield, Jim Woodcock: prialt in Handel-C: an operational semantics. STTT 7(3): 248-267 (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 Bioinformatics 5: 1 (2004)

Malcolm Dowse, Andrew Butterfield, Marko C. J. D. van Eekelen: Reasoning About Deterministic Concurrent Functional I/O. IFL 2004: 177-194

Andrew Butterfield, Jim Woodcock: An Operational Semantics for Handel-C. Electr. Notes Theor. Comput. Sci. 80: 235-250 (2003)

Andrew Butterfield: Formal Methods for Industrial Critical Systems at Trinity College, University of Dublin. Electr. Notes Theor. Comput. Sci. 80: 299-303 (2003)

Andrew Butterfield, Jim Woodcock: Semantic domains for Handel-C. Electr. Notes Theor. Comput. Sci. 74: 1-20 (2002)

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

Andrew Butterfield, Glenn Strong: Proving Correctness of Programs with IO - A Paradigm Comparison. IFL 2001: 72-87

Andrew Butterfield, Glenn Strong, Claus Pahl (Eds.): 5th Irish Workshop on Formal Methods, IWFM 2001, Dublin, Ireland, 16-17 July 2001. Workshops in Computing, BCS 2001

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

Andrew Butterfield, Klemens Haegele (Eds.): 3rd Irish Workshop on Formal Methods, Galway, Eire, July 1999. Workshops in Computing, BCS 1999

Sharon Flynn, Andrew Butterfield (Eds.): 2nd Irish Workshop on Formal Methods, Cork, Eire, 2-3 July 1998. Workshops in Computing, BCS 1998

Andrew Butterfield: A VDM Study of Fault-Tolerant Stable Storage - Towards a Computer Engineering Mathematics. FME 1993: 216-234