Andrew Butterfield
Andrew Butterfield
Computer Science, Trinity College Dublin
Verified email at tcd.ie - Homepage
Title
Cited by
Cited by
Year
Mechanising a formal model of flash memory
A Butterfield, L Freitas, J Woodcock
Science of Computer Programming 74 (4), 219-237, 2009
412009
Formalising flash memory: First steps
A Butterfield, J Woodcock
12th IEEE International Conference on Engineering Complex Computer Systems …, 2007
412007
POSIX and the verification grand challenge: A roadmap
L Freitas, J Woodcock, A Butterfield
13th IEEE International Conference on Engineering of Complex Computer …, 2008
352008
Slotted-circus
A Butterfield, A Sherif, J Woodcock
International Conference on Integrated Formal Methods, 75-97, 2007
322007
Semantics of prialt in Handel-C
A Butterfield, J Woodcock
Concurrent Systems Engineering, Proceedings of the Conference on …, 2002
252002
Proving correctness of programs with IO—A paradigm comparison
A Butterfield, G Strong
Symposium on Implementation and Application of Functional Languages, 72-87, 2001
232001
Saoithin: A theorem prover for utp
A Butterfield
International Symposium on Unifying Theories of Programming, 137-156, 2010
202010
prialt in Handel-C: an operational semantics
A Butterfield, J Woodcock
International Journal on Software Tools for Technology Transfer 7 (3), 248-267, 2005
192005
Separation kernel verification: The xtratum case study
D Sanán, A Butterfield, M Hinchey
Working Conference on Verified Software: Theories, Tools, and Experiments …, 2014
172014
Proving make correct: I/O proofs in Haskell and Clean
M Dowse, G Strong, A Butterfield
Symposium on Implementation and Application of Functional Languages, 68-83, 2002
172002
A lattice-theoretic model for an algebra of communicating sequential processes
M Tyrrell, JM Morris, A Butterfield, A Hughes
International Colloquium on Theoretical Aspects of Computing, 123-137, 2006
162006
Reasoning about deterministic concurrent functional I/O
M Dowse, A Butterfield, M van Eekelen
Symposium on Implementation and Application of Functional Languages, 177-194, 2004
162004
Semantic domains for Handel-C
A Butterfield, J Woodcock
Electronic notes in theoretical computer science 74, 1-20, 2003
152003
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
142015
A formal security proof for the ZRTP Protocol
R Bresciani, A Butterfield
2009 International Conference for Internet Technology and Secured …, 2009
142009
Linking a state-rich process algebra to a state-free algebra to verify software/hardware implementation
A Beg, A Butterfield
Proceedings of the 8th International Conference on Frontiers of Information …, 2010
132010
Unifying Theories of Programming
A Butterfield
second international symposium, utp 2008, dublin, ireland, september 8-10 …, 2008
132008
Modelling the Haemodialysis Machine with Circus
AO Gomes, A Butterfield
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2016
122016
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
122014
The Logic of U ·(TP)2
A Butterfield
International Symposium on Unifying Theories of Programming, 124-143, 2012
122012
The system can't perform the operation now. Try again later.
Articles 1–20