Andrew Butterfield
Academic
.
2019. The Inner and Outer Algebras of Unified Concurrency. Unifying Theories of Programming.
.
2019. Towards a Model-Checker for Circus. Formal Methods – The Next 30 Years.
.
2019. Circus2CSP: A Tool for Model-Checking Circus Using FDR. Formal Methods – The Next 30 Years.
.
2017. UTCP: Compositional Semantics for Shared-Variable Concurrency. 20th Brazilian Symposium on Formal Methods .
.
2017. UTPCalc - A calculator for UTP Predicates. The 6th International Symposium on Unifying Theories of ProgrammingThe 6th International Symposium on Unifying Theories of Programming.
.
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.
.
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.
.
2016. UTP Semantics for Shared-State, Concurrent, Context-Sensitive Process Models. 2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE).
.
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}.
