Andrew Butterfield

Cited by

	All	Since 2020
Citations	1017	304
h-index	17	6
i10-index	31	4

20012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420256 8 17 14 32 21 31 44 36 54 26 34 50 38 25 56 56 70 75 64 62 48 59 68 3

Public access

View all

31 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Jim WoodcockProfessor of Software Engineering, University of YorkVerified email at york.ac.uk
Riccardo BrescianiLero@TCDVerified email at cs.tcd.ie
John NollAssociate Professor, University of LimerickVerified email at ul.ie
Glenn StrongTrinity College DublinVerified email at scss.tcd.ie
Arshad BegWorked for Lero @ Trinity College Dublin (2008 - 2016) and 2020Verified email at tcd.ie
Leo FreitasSenior Lecturer in Formal Methods and Tools, School of Computing Science, Newcastle University, UKVerified email at newcastle.ac.uk
Mike HincheyLero-the Irish Software Engineering Research CentreVerified email at lero.ie
Pawel GancarskiVerified email at cancerappy.com
David SanánSingapore Institute of TechnologieVerified email at singaporetech.edu.sg
Artur Oliveira GomesLecturer in Computer Science, Universidade Federal do Mato Grosso do SulVerified email at ufms.br
Maarten de MolPostdoc, University of TwenteVerified email at xs4all.nl
rinus plasmeijerprofessor of computer science, radboud university nijmegenVerified email at cs.ru.nl
Anila MjedaLecturer, MTU; LeroVerified email at mtu.ie
Goetz BotterweckAssoc. Professor in Computer Science, Trinity College Dublin and LeroVerified email at lero.ie
Howell JordanLero @ University of LimerickVerified email at lero.ie
Rem CollierAssociate Professor University College DublinVerified email at ucd.ie
Pierpaolo DondioLecturer, Technological University DublinVerified email at tudublin.ie
Luca LongoTechnological University Dublin; Trinity College DublinVerified email at tudublin.ie
Simon FosterLecturer in Computer Science, University of YorkVerified email at york.ac.uk
Alvaro ArenasProfesor de Sistemas de Información y TecnologíasVerified email at ie.edu

Andrew Butterfield

Computer Science, Trinity College Dublin

Verified email at tcd.ie - Homepage

Formal Methods Semantics Hardware Compilation


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
A dictionary of computer science A Butterfield, GE Ngondi, A Kerr Oxford University Press, 2016	260	2016
Formalising flash memory: First steps A Butterfield, J Woodcock 12th IEEE International Conference on Engineering Complex Computer Systems …, 2007	43	2007
Mechanising a formal model of flash memory A Butterfield, L Freitas, J Woodcock Science of Computer Programming 74 (4), 219-237, 2009	42	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	38	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	37	2008
A dictionary of electronics and electrical engineering A Butterfield, J Szymanski Oxford University Press, 2018	34	2018
Semantics of prialt in Handel-C A Butterfield, J Woodcock Concurrent Systems Engineering, Proceedings of the Conference on …, 2002	25	2002
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	24	2014
Proving correctness of programs with IO—A paradigm comparison A Butterfield, G Strong Symposium on Implementation and Application of Functional Languages, 72-87, 2001	22	2001
Saoithin: A theorem prover for utp A Butterfield International Symposium on Unifying Theories of Programming, 137-156, 2010	20	2010
Separation kernel verification: The xtratum case study D Sanán, A Butterfield, M Hinchey Working Conference on Verified Software: Theories, Tools, and Experiments …, 2014	19	2014
prialt in Handel-C: an operational semantics A Butterfield, J Woodcock International Journal on Software Tools for Technology Transfer 7, 248-267, 2005	19	2005
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	18	2006
Modelling the Haemodialysis Machine with Circus AO Gomes, A Butterfield Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International …, 2016	17	2016
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	17	2015
Semantic domains for Handel-C A Butterfield, J Woodcock Electronic notes in theoretical computer science 74, 1-20, 2003	17	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	17	2003
A formal security proof for the ZRTP Protocol R Bresciani, A Butterfield 2009 International Conference for Internet Technology and Secured …, 2009	16	2009
Reasoning about deterministic concurrent functional I/O M Dowse, A Butterfield, M van Eekelen Implementation and Application of Functional Languages: 16th International …, 2005	16	2005
Unifying Theories of Programming A Butterfield second international symposium, utp 2008, dublin, ireland, september 8-10 …, 2008	14*	2008

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors