| 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 | | Andrew Butterfield:
A VDM Study of Fault-Tolerant Stable Storage - Towards a Computer Engineering Mathematics.
FME 1993: 216-234 |
