Andrew Butterfield

Gomes AOliveira, Butterfield A.  2019.  Towards a Model-Checker for Circus. Formal Methods – The Next 30 Years.

Gomes AOliveira, Butterfield A.  2019.  Circus2CSP: A Tool for Model-Checking Circus Using FDR. Formal Methods – The Next 30 Years.

Mjeda A, Butterfield A, Noll J.  2019.  Business Process Modeling Flexibility: A Formal Interpretation.

Butterfield A.  2019.  The Inner and Outer Algebras of Unified Concurrency. Unifying Theories of Programming.

Butterfield A.  2017.  UTPCalc - A calculator for UTP Predicates. The 6th International Symposium on Unifying Theories of ProgrammingThe 6th International Symposium on Unifying Theories of Programming.

Butterfield A.  2017.  UTCP: Compositional Semantics for Shared-Variable Concurrency. 20th Brazilian Symposium on Formal Methods .

Woodcock J, Foster S, Butterfield A.  2016.  Heterogeneous Semantics and Unifying Theories. Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}.

Gomes AOliveira, Butterfield A.  2016.  Modelling the Haemodialysis Machine with Circus. Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 5th International Conference, {ABZ} 2016, Linz, Austria, May 23-27, 2016, Proceedings.

Noll J., Butterfield A.  2016.  Teaching Global Software Development through Game Design. 11th {IEEE} International Conference on Global Software Engineering Workshops, {ICGSE} Workshops 2016, Orange County, CA, USA, August 2, 2016.

Butterfield A, Mjeda A, Noll J..  2016.  UTP Semantics for Shared-State, Concurrent, Context-Sensitive Process Models. 2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE).