Folgen
Andrew Butterfield
Andrew Butterfield
Computer Science, Trinity College Dublin
Bestätigte E-Mail-Adresse bei tcd.ie - Startseite
Titel
Zitiert von
Zitiert von
Jahr
A dictionary of computer science
A Butterfield, GE Ngondi
Oxford University Press, 2016
2432016
Formalising flash memory: First steps
A Butterfield, J Woodcock
12th IEEE International Conference on Engineering Complex Computer Systems …, 2007
432007
Mechanising a formal model of flash memory
A Butterfield, L Freitas, J Woodcock
Science of Computer Programming 74 (4), 219-237, 2009
422009
Slotted-circus: A UTP-family of reactive theories
A Butterfield, A Sherif, J Woodcock
Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford …, 2007
382007
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
A dictionary of electronics and electrical engineering
A Butterfield, J Szymanski
Oxford University Press, 2018
292018
Semantics of prialt in Handel-C
A Butterfield, J Woodcock
Concurrent Systems Engineering, Proceedings of the Conference on …, 2002
252002
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
222014
Proving correctness of programs with IO—A paradigm comparison
A Butterfield, G Strong
Symposium on Implementation and Application of Functional Languages, 72-87, 2001
222001
Saoithin: A theorem prover for utp
A Butterfield
International Symposium on Unifying Theories of Programming, 137-156, 2010
202010
Separation kernel verification: The xtratum case study
D Sanán, A Butterfield, M Hinchey
Working Conference on Verified Software: Theories, Tools, and Experiments …, 2014
192014
prialt in Handel-C: an operational semantics
A Butterfield, J Woodcock
International Journal on Software Tools for Technology Transfer 7, 248-267, 2005
192005
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
182006
Modelling the Haemodialysis Machine with Circus
AO Gomes, A Butterfield
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International …, 2016
172016
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
172015
Semantic domains for Handel-C
A Butterfield, J Woodcock
Electronic notes in theoretical computer science 74, 1-20, 2003
172003
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
172003
A formal security proof for the ZRTP Protocol
R Bresciani, A Butterfield
2009 International Conference for Internet Technology and Secured …, 2009
162009
Reasoning about deterministic concurrent functional I/O
M Dowse, A Butterfield, M van Eekelen
Implementation and Application of Functional Languages: 16th International …, 2005
162005
Unifying Theories of Programming
A Butterfield
second international symposium, utp 2008, dublin, ireland, september 8-10 …, 2008
14*2008
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20