Home
  • Home
  • About Us
    • About Us
    • Management and Governance
      • Overview
      • Advisory Board
      • Executive Committee
      • Governance Committee
      • Operations Team
    • Lero Stories
    • Diversity
    • Careers
    • Logos and Guidelines
  • Research
    • Introduction
    • Blended Autonomous Vehicles
    • Empower
    • Publications
      • All Publications
      • Technical Reports
      • Public Reports
    • Lero Esport Science Research Lab
    • International Projects
  • Meet the Team
    • People Directory
    • Operations Team
    • Executive Committee
  • Industry
    • Overview
    • Our Partners
    • Testimonials
  • Impact & Excellence
    • Overview
    • Economic Impact
    • Spinout Companies
  • Education & Public Engagement
    • Overview
    • Education
    • Engaged Research
    • Software for All
  • News & Events
  • Open Science
    • Open Website
  • Contact

Search form

Primary tabs

  • View(active tab)
  • Publications

Andrew Butterfield

Academic

You are here

  • Home
  • Our People
  • Andrew Butterfield
Andrew Butterfield's picture
Trinity College Dublin

Contact Details

office :

tel : +353 1896 2517

send email

Website

  • Publications
2019
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.
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.
2017
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.
2016
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).

Pages

  • 1
  • 2
  • 3
  • next ›

For further information

To find out more information about Lero or if you are interested in engaging with us.
Contact Us
Funded By

footer logo

Quick links
  • Disclaimer
  • Privacy statement
  • Contact us
  • Careers
Stay In Touch
Subscribe to our
newsletter
Follow us

Contact
Tierney Building
University of Limerick
Ireland
Postcode : V94 NYD3
Tel: +353 61 213028 Fax: +353 61 213036 Email: info@lero.ie
euro
euro

Copyright 2021  Lero