Andrew Butterfield
Andrew Butterfield
Computer Science, Trinity College Dublin
Verified email at - Homepage
Cited by
Cited by
A dictionary of computer science
A Butterfield, GE Ngondi, A Kerr
Oxford University Press, 2016
Formalising flash memory: First steps
A Butterfield, J Woodcock
12th IEEE International Conference on Engineering Complex Computer Systems …, 2007
Mechanising a formal model of flash memory
A Butterfield, L Freitas, J Woodcock
Science of Computer Programming 74 (4), 219-237, 2009
Slotted-circus: A UTP-family of reactive theories
A Butterfield, A Sherif, J Woodcock
Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford …, 2007
POSIX and the verification grand challenge: A roadmap
L Freitas, J Woodcock, A Butterfield
13th IEEE International Conference on Engineering of Complex Computer …, 2008
Semantics of prialt in Handel-C
A Butterfield, J Woodcock
Concurrent Systems Engineering, Proceedings of the Conference on …, 2002
A Dictionary of Electronics and Electrical Engineering
A Butterfield, J Szymanski
Oxford University Press, 2018
Proving correctness of programs with IO—A paradigm comparison
A Butterfield, G Strong
Symposium on Implementation and Application of Functional Languages, 72-87, 2001
Saoithin: A theorem prover for utp
A Butterfield
International Symposium on Unifying Theories of Programming, 137-156, 2010
prialt in Handel-C: an operational semantics
A Butterfield, J Woodcock
International Journal on Software Tools for Technology Transfer 7, 248-267, 2005
GSD Sim: A global software development game
J Noll, A Butterfield, K Farrell, T Mason, M McGuire, R McKinley
2014 IEEE International Conference on Global Software Engineeering Workshops …, 2014
Modelling the Haemodialysis Machine with Circus
AO Gomes, A Butterfield
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International …, 2016
Separation kernel verification: The xtratum case study
D Sanán, A Butterfield, M Hinchey
Working Conference on Verified Software: Theories, Tools, and Experiments …, 2014
A feature model of actor, agent, functional, object, and procedural programming languages
H Jordan, G Botterweck, J Noll, A Butterfield, R Collier
Science of Computer Programming 98, 120-139, 2015
A lattice-theoretic model for an algebra of communicating sequential processes
M Tyrrell, JM Morris, A Butterfield, A Hughes
Theoretical Aspects of Computing-ICTAC 2006: Third International Colloquium …, 2006
Semantic domains for Handel-C
A Butterfield, J Woodcock
Electronic notes in theoretical computer science 74, 1-20, 2003
Proving make correct: I/O proofs in Haskell and Clean
M Dowse, G Strong, A Butterfield
Implementation of Functional Languages: 14th International Workshop, IFL …, 2003
Reasoning about deterministic concurrent functional I/O
M Dowse, A Butterfield, M van Eekelen
Implementation and Application of Functional Languages: 16th International …, 2005
A formal security proof for the ZRTP Protocol
R Bresciani, A Butterfield
2009 International Conference for Internet Technology and Secured …, 2009
Unifying Theories of Programming
A Butterfield
second international symposium, utp 2008, dublin, ireland, september 8-10 …, 2008
The system can't perform the operation now. Try again later.
Articles 1–20