Andrew Butterfield

According to our database, Andrew Butterfield authored at least 53 papers between 1993 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Applying Formal Verification to an Open-Source Real-Time Operating System.

Andrew Butterfield, Frédéric Tuong

Proceedings of the Theories of Programming and Formal Methods, 2023

2022

From CCS to CSP: the m-among-n Synchronisation Approach.

Gerard Ekembe Ngondi, Vasileios Koutavas, Andrew Butterfield

Proceedings of the Proceedings Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics, 2022

2021

Translation of CCS into CSP, Correct up to Strong Bisimulation.

Gerard Ekembe Ngondi, Vasileios Koutavas, Andrew Butterfield

Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021

2019

The Inner and Outer Algebras of Unified Concurrency.

Andrew Butterfield

Proceedings of the Unifying Theories of Programming - 7th International Symposium, 2019

Business Process Modeling Flexibility: A Formal Interpretation.

Anila Mjeda, Andrew Butterfield, John Noll

Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019

Circus2CSP: A Tool for Model-Checking Circus Using FDR.

Artur Oliveira Gomes, Andrew Butterfield

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

Towards a Model-Checker for Circus.

Artur Oliveira Gomes, Andrew Butterfield

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2018

Editorial.

Nikolaj S. Bjørner, Frank S. de Boer, Andrew Butterfield

Formal Aspects Comput., 2018

2017

UTCP: Compositional Semantics for Shared-Variable Concurrency.

Andrew Butterfield

Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017

2016

UTPCalc - A Calculator for UTP Predicates.

Andrew Butterfield

Proceedings of the Unifying Theories of Programming - 6th International Symposium, 2016

UTP Semantics for Shared-State, Concurrent, Context-Sensitive Process Models.

Andrew Butterfield, Anila Mjeda, John Noll

Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016

Heterogeneous Semantics and Unifying Theories.

Jim Woodcock, Simon Foster, Andrew Butterfield

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Teaching Global Software Development through Game Design.

John Noll, Andrew Butterfield

Proceedings of the 11th IEEE International Conference on Global Software Engineering Workshops, 2016

Modelling the Haemodialysis Machine with Circus.

Artur Oliveira Gomes, Andrew Butterfield

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

2015

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

2014

A UTP approach towards probabilistic protocol verification.

Riccardo Bresciani, Andrew Butterfield

Secur. Commun. Networks, 2014

UTP2: Higher-Order Equational Reasoning by Pointing.

Andrew Butterfield

Proceedings of the Proceedings Eleventh Workshop on User Interfaces for Theorem Provers, 2014

Separation Kernel Verification: The Xtratum Case Study.

David Sanán, Andrew Butterfield, Mike Hinchey

Proceedings of the Verified Software: Theories, Tools and Experiments, 2014

GSD Sim: A Global Software Development Game.

John Noll, Andrew Butterfield, Kevin Farrell, Tom Mason, Miles McGuire, Ross McKinley

Proceedings of the IEEE International Conference on Global Software Engineeering Workshops, 2014

2013

From Distributions to Probabilistic Reactive Programs.

Riccardo Bresciani, Andrew Butterfield

Proceedings of the Theoretical Aspects of Computing - ICTAC 2013, 2013

2012

The Logic of <i>U</i> ·(<i>TP</i>)².

Andrew Butterfield

Proceedings of the Unifying Theories of Programming, 4th International Symposium, 2012

A Probabilistic Theory of Designs Based on Distributions.

Riccardo Bresciani, Andrew Butterfield

Proceedings of the Unifying Theories of Programming, 4th International Symposium, 2012

A UTP Semantics of pGCL as a Homogeneous Relation.

Riccardo Bresciani, Andrew Butterfield

Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

2011

A denotational semantics for Handel-C.

Andrew Butterfield

Formal Aspects Comput., 2011

Reasoning about I/O in Functional Programs.

Andrew Butterfield

Proceedings of the Central European Functional Programming School - 4th Summer School, 2011

2010

Saoithín: A Theorem Prover for UTP.

Andrew Butterfield

Proceedings of the Unifying Theories of Programming - Third International Symposium, 2010

Prioritized slotted-Circus.

Pawel Gancarski, Andrew Butterfield

Proceedings of the Theoretical Aspects of Computing, 2010

Linking a state-rich process algebra to a state-free algebra to verify software/hardware implementation.

Arshad Beg, Andrew Butterfield

Proceedings of the FIT '10, 2010

Modelling flash devices with FDR: progress and limits.

Arshad Beg, Andrew Butterfield

Proceedings of the FIT '10, 2010

2009

Mechanising a formal model of flash memory.

Andrew Butterfield, Leo Freitas, Jim Woodcock

Sci. Comput. Program., 2009

State Visibility and Communication in Unifying Theories of Programming.

Andrew Butterfield, Pawel Gancarski, Jim Woodcock

Proceedings of the TASE 2009, 2009

Weakening the Dolev-Yao model through probability.

Riccardo Bresciani, Andrew Butterfield

Proceedings of the 2nd International Conference on Security of Information and Networks, 2009

Concurrent Models of Flash Memory Device Behaviour.

Andrew Butterfield, Art Ó Catháin

Proceedings of the Formal Methods: Foundations and Applications, 2009

A formal security proof for the ZRTP Protocol.

Riccardo Bresciani, Andrew Butterfield

Proceedings of the 4th International Conference for Internet Technology and Secured Transactions, 2009

The Denotational Semantics of slotted-Circus.

Pawel Gancarski, Andrew Butterfield

Proceedings of the FM 2009: Formal Methods, 2009

2008

POSIX and the Verification Grand Challenge: A Roadmap.

Leo Freitas, Jim Woodcock, Andrew Butterfield

Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008

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

Slotted-Circus.

Andrew Butterfield, Adnan Sherif, Jim Woodcock

Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

Formalising Flash Memory: First Steps.

Andrew Butterfield, Jim Woodcock

Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

2006

A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes.

Malcolm Tyrrell, Joseph M. Morris, Andrew Butterfield, Arthur Hughes

Proceedings of the Theoretical Aspects of Computing, 2006

Modelling deterministic concurrent I/O.

Malcolm Dowse, Andrew Butterfield

Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, 2006

2005

prialt in Handel-C: an operational semantics.

Andrew Butterfield, Jim Woodcock

Int. J. Softw. Tools Technol. Transf., 2005

2004

A "Hardware Compiler" Semantics for Handel-C.

Andrew Butterfield, Jim Woodcock

Proceedings of the Third Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2004

Preface.

Juan Bicarregui, Andrew Butterfield, Alvaro Arenas

Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, 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

Reasoning About Deterministic Concurrent Functional I/O.

Malcolm Dowse, Andrew Butterfield, Marko C. J. D. van Eekelen

Proceedings of the Implementation and Application of Functional Languages, 2004

2003

An Operational Semantics for Handel-C.

Andrew Butterfield, Jim Woodcock

Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003

Formal Methods for Industrial Critical Systems at Trinity College, University of Dublin.

Andrew Butterfield

Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003

2002

Semantic domains for Handel-C.

Andrew Butterfield, Jim Woodcock

Proceedings of the Second Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2002

Proving Make Correct: I/O Proofs in Haskell and Clean.

Malcolm Dowse, Glenn Strong, Andrew Butterfield

Proceedings of the Implementation of Functional Languages, 14th International Workshop, 2002

2001

Proving Correctness of Programs with IO - A Paradigm Comparison.

Andrew Butterfield, Glenn Strong

Proceedings of the Implementation of Functional Languages, 13th International Workshop, 2001

2000

OO-Motivated Process Algebra: A Calculus for CORBA-like Systems.

Malcolm Tyrrell, Andrew Butterfield, Alexis Donnelly

Proceedings of the Rigorous Object-Oriented Methods, 2000

1993

A VDM Study of Fault-Tolerant Stable Storage - Towards a Computer Engineering Mathematics.

Andrew Butterfield

Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993