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

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

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

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

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

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.

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).

Jordan HR, Botterweck G, Noll J., Butterfield A, Collier R.  2015.  A feature model of actor, agent, functional, object, and procedural programming languages. A feature model of actor, agent, functional, object, and procedural programming languages.

Butterfield A, Hinchey M.  2015.  Towards the adoption of formal techniques for kernel qualification. European Space Agency, (Special Publication) ESA SP. SP-732

Bresciani R, Butterfield A.  2013.  From distributions to probabilistic reactive programs. 10th International Colloquium on Theoretical Aspects of Computing10th International Colloquium on Theoretical Aspects of Computing.

Butterfield A, Sanan D, Hinchey M.  2013.  Towards Formal Verification of a Separation Microkernel. DASIA 2013, annual Eurospace conferenceDASIA 2013, annual Eurospace conference.

Butterfield A.  2012.  The Logic of UTP2. 4th Unifying Theories of Programming Symposium4th Unifying Theories of Programming Symposium.

Bresciani R, Butterfield A.  2012.  A probabilistic theory of designs based on distributions. 4th Unifying Theories of Programming Symposium4th Unifying Theories of Programming Symposium.

Bresciani R, Butterfield A.  2012.  A UTP semantics of pGCL as a homogeneous relation. Integrated Formal Methods 2012Integrated Formal Methods 2012.

Beg A, Butterfield A.  2010.  Linking a state-rich process algebra to a state-free process algebra to verify software / hardware implementations. FIT’10: International Conference on Frontiers of Information Technology ProceedingsFIT’10: International Conference on Frontiers of Information Technology Proceedings.

Beg A, Butterfield A.  2010.  Modelling Flash Devices with FDR: Progress and Limits. FIT’10: International Conference on Frontiers of Information Technology ProceedingsFIT’10: International Conference on Frontiers of Information Technology Proceedings.

Gancarski P, Butterfield A.  2010.  Prioritised slotted-Circus. 7th International Colloqium Theoretical Aspects of Computing - ICTAC 2010.

Butterfield A.  2010.  Saoith{\'ın: A Theorem Prover for UTP. 3rd International Symposium UTP 2010 Unifying Theories of Programming3rd International Symposium UTP 2010 Unifying Theories of Programming.

Butterfield A, O’Cathain A.  2009.  Concurrent Models of Flash Memory Device Behaviour. Proceedings of Brazilian Symposium on Formal Methods SBMF 2009Proceedings of Brazilian Symposium on Formal Methods SBMF 2009.

Gancarski P, Butterfield A.  2009.  The Denotational Semantics of slotted-Circus. Proceedings of the 2nd World Congress on Formal MethodsProceedings of the 2nd World Congress on Formal Methods. LNCS 5850

Bresciani R, Butterfield A.  2009.  A formal security proof for the ZRTP Protocol. The 4th International Conference for Internet Technology and Secured Transactions (ICITST-2009)The 4th International Conference for Internet Technology and Secured Transactions (ICITST-2009).

Bresciani R, Butterfield A.  2009.  Weakening the Dolev-Yao model through probability. SIN ’09: Proceedings of the 2nd international conference on Security of information and networksSIN ’09: Proceedings of the 2nd international conference on Security of information and networks.