Andrew Butterfield

Citado por

	Total	Desde 2020
Citas	1015	302
Índice h	17	6
Índice i10	31	4

20012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420256 8 17 14 32 21 29 46 36 54 26 34 50 38 25 56 56 70 75 64 62 48 59 68 1

Acceso público

Ver todo

32 artículos

2 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Jim WoodcockProfessor of Software Engineering, University of YorkDirección de correo verificada de york.ac.uk
Riccardo BrescianiLero@TCDDirección de correo verificada de cs.tcd.ie
John NollAssociate Professor, University of LimerickDirección de correo verificada de ul.ie
Glenn StrongTrinity College DublinDirección de correo verificada de scss.tcd.ie
Arshad BegWorked for Lero @ Trinity College Dublin (2008 - 2016) and 2020Dirección de correo verificada de tcd.ie
Leo FreitasSenior Lecturer in Formal Methods and Tools, School of Computing Science, Newcastle University, UKDirección de correo verificada de newcastle.ac.uk
Mike HincheyLero-the Irish Software Engineering Research CentreDirección de correo verificada de lero.ie
Pawel GancarskiDirección de correo verificada de cancerappy.com
David SanánSingapore Institute of TechnologieDirección de correo verificada de singaporetech.edu.sg
Artur Oliveira GomesLecturer in Computer Science, Universidade Federal do Mato Grosso do SulDirección de correo verificada de ufms.br
Maarten de MolPostdoc, University of TwenteDirección de correo verificada de xs4all.nl
rinus plasmeijerprofessor of computer science, radboud university nijmegenDirección de correo verificada de cs.ru.nl
Anila MjedaLecturer, MTU; LeroDirección de correo verificada de mtu.ie
Goetz BotterweckAssoc. Professor in Computer Science, Trinity College Dublin and LeroDirección de correo verificada de lero.ie
Howell JordanLero @ University of LimerickDirección de correo verificada de lero.ie
Rem CollierAssociate Professor University College DublinDirección de correo verificada de ucd.ie
Pierpaolo DondioLecturer, Technological University DublinDirección de correo verificada de tudublin.ie
Luca LongoTechnological University Dublin; Trinity College DublinDirección de correo verificada de tudublin.ie
Simon FosterLecturer in Computer Science, University of YorkDirección de correo verificada de york.ac.uk
Alvaro ArenasProfesor de Sistemas de Información y TecnologíasDirección de correo verificada de ie.edu

Seguir

Andrew Butterfield

Computer Science, Trinity College Dublin

Dirección de correo verificada de tcd.ie - Página principal

Formal Methods Semantics Hardware Compilation


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
A dictionary of computer science A Butterfield, GE Ngondi, A Kerr Oxford University Press, 2016	259	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	33	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

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores