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 Esports Science Research Lab
    • International Projects
    • Lero Research Activities
    • Parnas Fellowship
  • Meet the Team
    • People Directory
    • Operations Team
    • Executive Committee
  • Industry
    • Overview
    • Our Partners
    • Logitech Case Study
    • Testimonials
  • Impact & Excellence
    • Overview
    • Economic Impact
    • Spinout Companies
  • Education & Public Engagement
    • Overview
    • Education
    • Engaged Research
    • Software for All
  • News & Events
  • Open Science
    • Open Source Programme Office
    • Open Science Charter
    • Open Science Calendar of Events
  • 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
2015
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
2013
Butterfield A, Sanan D, Hinchey M.  2013.  Towards Formal Verification of a Separation Microkernel. DASIA 2013, annual Eurospace conferenceDASIA 2013, annual Eurospace conference.
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.
2012
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.
2010
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.

Pages

  • ‹ previous
  • 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
Quick links
  • Disclaimer
  • Privacy statement
  • Contact us
  • Careers
Stay In Touch
Subscribe to our
newsletter
View our latest
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
euro

Copyright 2024  Lero