Andrew Butterfield

63 papers A 1B 8C 10Misc 4Journal 9Unranked 25

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