Skip to main content

Trinity College Dublin, The University of Dublin

Menu Search



Year Authors Title
  2017 Andrew Butterfield UTPCalc - A calculator for UTP Predicates The 6th International Symposium on Unifying Theories of Programming, 11304, pp197-216. DOI:
  2016 James Woodcock, Simon Foster, Andrew Butterfield Heterogeneous Semantics and Unifying Theories 7th International Symposium on Leveraging Applications of Formal Methods, Verification And Validation (ISoLA 2016), pp374-394. DOI:
  2016 Andrew Butterfield, Alexandre Cortier, Kevin Hennessy, Mike Hinchey Towards Formal Verification of Interrupts and Hypercalls DASIA 2016 DAta Systems In Aerospace, pp4
  2016 Artur O. Gomes and Andrew Butterfield Modelling the Haemodialysis Machine with Circus Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, 9675, pp409-424. DOI:
  2016 John Noll, Andrew Butterfield Teaching Global Software Development through Game Design GSE-Ed'16 First Intranational Workshop on Global Software Engineering Education, pp55-60. DOI:
  2016 Andrew Butterfield, Anila Mjeda, John Noll UTP Semantics for Shared-State, Concurrent, Context-Sensitive Process Models 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016, pp93-100. DOI:
  2016 Andrew Butterfield, Gerard Ekembe Ngondi Oxford Dictionary of Computer Science
  2015 Howell Jordan, Goetz Botterweck, Andrew Butterfield, Rem Collier, John Noll A Feature Model of Actor, Agent, Functional, Object, and Procedural Programming Languages Science of Computer Programming, 98(2), pp120-139. DOI:
  2015 Butterfield, A., Hinchey, M. Towards the adoption of formal techniques for kernel qualification
  2015 Beg, A., Butterfield, A. Development of a prototype translator from Circus to CSPm ICOSST 2015 - 2015 International Conference on Open Source Systems and Technologies, Proceedings, pp16-23. DOI:
  2014 Riccardo Bresciani, Andrew Butterfield A UTP approach towards probabilistic protocol verification Security and Communication Networks, 7, pp99-107. DOI:
  2014 Andrew Butterfield UTP2: Higher-Order Equational Reasoning by Pointing Proceedings Eleventh Workshop on User Interfaces for Theorem Provers, 167, pp14-22. DOI:
  2014 David Sanan, Andrew Butterfield, Mike Hinchey Separation Kernel Verification: The XtratuM Case Study Verified Software: Theories, Tools and Experiments, 8471, pp133-149. DOI:
  2014 Butterfield, A., Sanán, D., Hinchey, M. Formalisation of a separation micro-kernel for common criteria certification
  2013 Riccardo Bresciani, Andrew Butterfield From Distributions to Probabilistic Reactive Programs Theoretical Aspects of Computing - ICTAC 2013, 8049, pp94-111. DOI:
  2013 Riccardo Bresciani and Andrew Butterfield A probabilistic theory of designs based on distributions UTP 2012 : 4th International Symposium on Unifying Theories of Programming, 7681, pp105-123. DOI:
  2013 Butterfield, A. The logic of U • (TP)2 4th International Symposium on Unifying Theories of Programming, UTP 2012, 7681, pp124-143. DOI:
  2012 Andrew Butterfield Reasoning about I/O in Functional Programs Central European Functional Programming School - Fourth Summer School, CEFP 2011, pp93-141. DOI:
  2012 Riccardo Bresciani, Andrew Butterfield A UTP semantics of pGCL as a homogeneous relation Integrated Formal Methods 2012, 7321, pp-191-205. DOI:
  2011 Andrew Butterfield Denotational Semantics of Handel-C Formal Aspects of Computing, 23(2), pp153-170. DOI:
  2010 Pawel Gancarski, Andrew Butterfield Prioritized slotted-Circus 7th International Colloqium on Theoretical Aspects of Computing, 6255, pp91-105. DOI:
  2010 Riccardo Bresciani, Andrew Butterfield ProVerif Analysis of the ZRTP Protocol International Journal for Infonomics, 3(3), pp306-313
  2010 Andrew Butterfield Saoithin: A Theorem Prover for UTP Unifying Theories of Programming, Third International Symposium, UTP 2010, 6445, pp137-156. DOI:
  2009 Luca Longo, P. Dondio, R. Bresciani, S. Barret, A. Butterfield Enabling Adaptation in trust computations Computation World: Future Computing, Service Computation, Cognitive, Adpative, Content, Patterns, pp701-706. DOI:
  2009 Bresciani, Riccardo and Butterfield, Andrew Weakening the Dolev-Yao model through probability SIN '09: Proceedings of the 2nd international conference on Security of information and networks, pp293-297. DOI:
  2009 Andrew Butterfield, Leo Freitas, Jim Woodcock Mechanising a Formal Model of Flash Memory Science of Computer Programming, 74(4), pp219-237. DOI:
  2009 Pawel Gancarski, Andrew Butterfield, Jim Woodcock State Visibility and Communication in Unifying Theories of Programming 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, pp47-54. DOI:
  2009 Andrew Butterfield, Pawel Gancarski The Denotational Semantics of Slotted-Circus Formal Methods 2009, 5850, pp451-466. DOI:
  2009 Andrew Butterfield, Art O Cathain Concurrent Models of Flash Memory Device Behaviour 12th Brazilian Symposium on Formal Methods (SBMF 2009), 5902, pp70-83. DOI:
  2009 Riccardo Bresciani and Andrew Butterfield A formal security proof for the ZRTP Protocol The 4th International Conference for Internet Technology and Secured Transactions (ICITST-2009), pp1-6. DOI:
  2007 Butterfield, A. A denotational semantics for handel-C Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays, 4700, pp45-66. DOI:
  2007 Andrew Butterfield, Adnan Sherif and Jim Woodcock Slotted-Circus: A UTP-Family of Reactive Theories Integrating Formal Methods 2007 (IFM2007), 4591, pp75-97. DOI:
  2006 Malcolm Tyrrell, Joseph M. Morris, Andrew Butterfield and Arthur Hughes A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes Theoretical Aspects of Computing - ICTAC 2006, 4281, pp123-137. DOI:
  2006 Andrew Butterfield and Malcolm Dowse Deterministic Concurrent I/O The 11th ACM SIGPLAN International Conference on Functional Programming (ICFP 2006), pp148-159. DOI:
  2006 Andrew Butterfield and JimWoodcock A "Hardware Compiler" Semantics for Handel-C Third Irish Conference on the Mathematical Foundations of Computer Science and Information Technology (MFCSIT 2004), 161, pp73-90. DOI:
  2005 Andrew Butterfield and Jim Woodcock prialt in Handel-C: an operational semantics International Journal on Software Tools for Technology Transfer, 7(3), pp248-267. DOI:
  2005 Malcolm Dowse, Andrew Butterfield, and Marko van Eekelen A language for reasoning about concurrent functional i/o Implementation and Application of Functional Languages: 16th International Workshop, IFL 2004, Revised Selected Papers, 3474, pp177-194. DOI:
  2003 Andrew Butterfield and Jim Woodcock Semantic domains for handel-c. , 74. DOI:
  2003 Andrew Butterfield and Jim Woodcock An operational semantics for handel-c. , 80. DOI:
  2002 Butterfield, A., Strong, G Proving Correctness of Programs with IO - A Paradigm Comparison 13th International workshop on the Implementation of Functional Languages, 2312, pp72-87. DOI:
  2002 Butterfield, Andrew and Dowse, Malcolm and Strong, Glenn Proving make correct: I/O proofs in Haskell and Clean Implementation of Functional Languages, 14th International Workshop, IFL 2002, 2670, pp16-18. DOI:
  2002 Andrew Butterfield and Jim Woodcock Semantics of prialt in Handel-C (tm) , pp1-16
  2001 Andrew Butterfield and Glenn Strong Proving correctness of programs with IO - A paradigm comparison Implementation of Functional Languages, 13th International Workshop, IFL 2001, 2312, pp72-87. DOI:
  1998 Andrew Butterfield Recursion Diagrams: ideas for a Geometry of Formal Methods 3rd BCS-FACS Northern Formal Methods Workshop, electronic Workshops in Computing
  1993 Andrew Butterfield A VDM study of fault-tolerant stable storage: towards a computer engineering mathematics FME'93: Industrial-Strength Formal Methods, 670, pp216-234
  1989 Andrew Butterfield A functional/hierarchical Layout Tool. In Colloqium on Silicon Compilation , pp4/1-4/5
  1986 Andrew Butterfield From KARL to CIF EURO CVIM 1986 — European Conference of Customer/Vendor Interfaces in Microelectronics, pp130-141

Page: 1 of 1  Records: 47
Page 1