Andrew Butterfield Vis

*	2009
27	EE	Riccardo Bresciani, Andrew Butterfield: Weakening the Dolev-Yao model through probability. SIN 2009: 293-297
26	EE	Andrew Butterfield, Pawel Gancarski, Jim Woodcock: State Visibility and Communication in Unifying Theories of Programming. TASE 2009: 47-54
25	EE	Andrew Butterfield, Leo Freitas, Jim Woodcock: Mechanising a formal model of flash memory. Sci. Comput. Program. 74(4): 219-237 (2009)
	2008
24	EE	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	EE	Andrew Butterfield: A Denotational Semantics for Handel-C. Formal Methods and Hybrid Real-Time Systems 2007: 45-66
21	EE	Andrew Butterfield, Jim Woodcock: Formalising Flash Memory: First Steps. ICECCS 2007: 251-260
20	EE	Andrew Butterfield, Adnan Sherif, Jim Woodcock: Slotted-Circus. IFM 2007: 75-97
19	EE	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	EE	Malcolm Dowse, Andrew Butterfield: Modelling deterministic concurrent I/O. ICFP 2006: 148-159
16	EE	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	EE	Andrew Butterfield, Jim Woodcock: A "Hardware Compiler" Semantics for Handel-C. Electr. Notes Theor. Comput. Sci. 161: 73-90 (2006)
	2005
14	EE	Juan Bicarregui, Andrew Butterfield, Alvaro Arenas: Preface. Electr. Notes Theor. Comput. Sci. 133: 1-2 (2005)
13	EE	Andrew Butterfield, Jim Woodcock: prialt in Handel-C: an operational semantics. STTT 7(3): 248-267 (2005)
	2004
12	EE	Malcolm Dowse, Andrew Butterfield, Marko C. J. D. van Eekelen: Reasoning About Deterministic Concurrent Functional I/O. IFL 2004: 177-194
11	EE	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	EE	Andrew Butterfield, Jim Woodcock: An Operational Semantics for Handel-C. Electr. Notes Theor. Comput. Sci. 80: (2003)
9	EE	Andrew Butterfield: Formal Methods for Industrial Critical Systems at Trinity College, University of Dublin. Electr. Notes Theor. Comput. Sci. 80: (2003)
	2002
8	EE	Malcolm Dowse, Glenn Strong, Andrew Butterfield: Proving Make Correct: I/O Proofs in Haskell and Clean. IFL 2002: 68-83
7	EE	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	EE	Andrew Butterfield, Glenn Strong: Proving Correctness of Programs with IO - A Paradigm Comparison. IFL 2001: 72-87
	2000
4	EE	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	EE	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	Alexis Donnelly	[4]
5	Malcolm Dowse	[8] [12] [17]
6	Marko C. J. D. van Eekelen	[12]
7	Sharon Flynn	[2]
8	Leo Freitas (Leonardo Freitas)	[24] [25]
9	Pawel Gancarski	[26]
10	Clemens Grelck	[18]
11	Klemens Haegele	[3]
12	Zoltán Horváth	[23]
13	Frank Huch	[18]
14	Arthur Hughes	[16]
15	Gavin A. Huttley	[11]
16	Alexander Isaev	[11]
17	Edward Lang	[11]
18	Cath Lawrence	[11]
19	Joseph M. Morris	[16]
20	Claus Pahl	[6]
21	Adnan Sherif	[20]
22	Glenn Strong	[5] [6] [8]
23	Malcolm Tyrrell	[4] [16]
24	Vivek Vedagiri	[11]
25	Matthew J. Wakefield	[11]
26	Jim Woodcock (J. C. P. Woodcock)	[7] [10] [13] [15] [20] [21] [24] [25] [26]
27	Viktória Zsók	[23]

Colors in the list of coauthors