Andrew Butterfield

	2009
29		Pawel Gancarski, Andrew Butterfield: The Denotational Semantics of slotted-Circus. FM 2009: 451-466
28		Andrew Butterfield, Art Ó Catháin: Concurrent Models of Flash Memory Device Behaviour. SBMF 2009: 70-83
27		Riccardo Bresciani, Andrew Butterfield: Weakening the Dolev-Yao model through probability. SIN 2009: 293-297
26		Andrew Butterfield, Pawel Gancarski, Jim Woodcock: State Visibility and Communication in Unifying Theories of Programming. TASE 2009: 47-54
25		Andrew Butterfield, Leo Freitas, Jim Woodcock: Mechanising a formal model of flash memory. Sci. Comput. Program. 74(4): 219-237 (2009)
	2008
24		Leo Freitas, Jim Woodcock, Andrew Butterfield: POSIX and the Verification Grand Challenge: A Roadmap. ICECCS 2008: 153-162
	2007
23		Zoltán Horváth, Viktória Zsók, Andrew Butterfield: Implementation and Application of Functional Languages, 18th International Symp osium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers Springer 2007
22		Andrew Butterfield: A Denotational Semantics for Handel-C. Formal Methods and Hybrid Real-Time Systems 2007: 45-66
21		Andrew Butterfield, Jim Woodcock: Formalising Flash Memory: First Steps. ICECCS 2007: 251-260
20		Andrew Butterfield, Adnan Sherif, Jim Woodcock: Slotted-Circus. IFM 2007: 75-97
19		Andrew Butterfield, Juan Bicarregui, Alvaro Arenas: Foreword: Selected papers from the ninth international workshop on formal methods for industrial critical systems (FMICS 04), Linz, Austria. Formal Methods in System Design 30(3): 177-178 (2007)
	2006
18		Andrew Butterfield, Clemens Grelck, Frank Huch: Implementation and Application of Functional Languages, 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers Springer 2006
17		Malcolm Dowse, Andrew Butterfield: Modelling deterministic concurrent I/O. ICFP 2006: 148-159
16		Malcolm Tyrrell, Joseph M. Morris, Andrew Butterfield, Arthur Hughes: A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes. ICTAC 2006: 123-137
15		Andrew Butterfield, Jim Woodcock: A "Hardware Compiler" Semantics for Handel-C. Electr. Notes Theor. Comput. Sci. 161: 73-90 (2006)
	2005
14		Juan Bicarregui, Andrew Butterfield, Alvaro Arenas: Preface. Electr. Notes Theor. Comput. Sci. 133: 1-2 (2005)
13		Andrew Butterfield, Jim Woodcock: prialt in Handel-C: an operational semantics. STTT 7(3): 248-267 (2005)
	2004
12		Malcolm Dowse, Andrew Butterfield, Marko C. J. D. van Eekelen: Reasoning About Deterministic Concurrent Functional I/O. IFL 2004: 177-194
11		Andrew Butterfield, Vivek Vedagiri, Edward Lang, Cath Lawrence, Matthew J. Wakefield, Alexander Isaev, Gavin A. Huttley: PyEvolve: a toolkit for statistical modelling of molecular evolution. BMC Bioinformatics 5: 1 (2004)
	2003
10		Andrew Butterfield, Jim Woodcock: An Operational Semantics for Handel-C. Electr. Notes Theor. Comput. Sci. 80: (2003)
9		Andrew Butterfield: Formal Methods for Industrial Critical Systems at Trinity College, University of Dublin. Electr. Notes Theor. Comput. Sci. 80: (2003)
	2002
8		Malcolm Dowse, Glenn Strong, Andrew Butterfield: Proving Make Correct: I/O Proofs in Haskell and Clean. IFL 2002: 68-83
7		Andrew Butterfield, Jim Woodcock: Semantic domains for Handel-C. Electr. Notes Theor. Comput. Sci. 74: (2002)
	2001
6		Andrew Butterfield, Glenn Strong, Claus Pahl: 5th Irish Workshop on Formal Methods, IWFM 2001, Dublin, Ireland, 16-17 July 2001 BCS 2001
5		Andrew Butterfield, Glenn Strong: Proving Correctness of Programs with IO - A Paradigm Comparison. IFL 2001: 72-87
	2000
4		Malcolm Tyrrell, Andrew Butterfield, Alexis Donnelly: OO-Motivated Process Algebra: A Calculus for CORBA-like Systems. Rigorous Object-Oriented Methods 2000
	1999
3		Andrew Butterfield, Klemens Haegele: 3rd Irish Workshop on Formal Methods, Galway, Eire, July 1999 BCS 1999
	1998
2		Sharon Flynn, Andrew Butterfield: 2nd Irish Workshop on Formal Methods, Cork, Eire, 2-3 July 1998 BCS 1998
	1993
1		Andrew Butterfield: A VDM Study of Fault-Tolerant Stable Storage - Towards a Computer Engineering Mathematics. FME 1993: 216-234

Coauthor Index

1	Álvaro Enrique Arenas (Alvaro E. Arenas, Alvaro Arenas)	[14] [19]
2	Juan Bicarregui	[14] [19]
3	Riccardo Bresciani	[27]
4	Art Ó Catháin	[28]
5	Alexis Donnelly	[4]
6	Malcolm Dowse	[8] [12] [17]
7	Marko C. J. D. van Eekelen	[12]
8	Sharon Flynn	[2]
9	Leo Freitas (Leonardo Freitas)	[24] [25]
10	Pawel Gancarski	[26] [29]
11	Clemens Grelck	[18]
12	Klemens Haegele	[3]
13	Zoltán Horváth	[23]
14	Frank Huch	[18]
15	Arthur Hughes	[16]
16	Gavin A. Huttley	[11]
17	Alexander Isaev	[11]
18	Edward Lang	[11]
19	Cath Lawrence	[11]
20	Joseph M. Morris	[16]
21	Claus Pahl	[6]
22	Adnan Sherif	[20]
23	Glenn Strong	[5] [6] [8]
24	Malcolm Tyrrell	[4] [16]
25	Vivek Vedagiri	[11]
26	Matthew J. Wakefield	[11]
27	Jim Woodcock (J. C. P. Woodcock)	[7] [10] [13] [15] [20] [21] [24] [25] [26]
28	Viktória Zsók	[23]

Colors in the list of coauthors