| |
1986 |
Andrew Butterfield |
From KARL to CIF EURO CVIM 1986 European Conference of Customer/Vendor Interfaces in Microelectronics, pp130-141 |
| |
1989 |
Andrew Butterfield |
A functional/hierarchical Layout Tool. In Colloqium on Silicon Compilation , pp4/1-4/5 |
| |
1993 |
Andrew Butterfield |
A VDM study of fault-tolerant stable storage: towards a computer engineering mathematics FME'93: Industrial-Strength Formal Methods, 670, pp216-234 |
| |
1997 |
Butterfield, A. |
Introducing formal methods to existing processes IEE Colloquium (Digest)(171) |
| |
1998 |
Andrew Butterfield |
Recursion Diagrams: ideas for a Geometry of Formal Methods 3rd BCS-FACS Northern Formal Methods Workshop, electronic Workshops in Computing |
| |
2000 |
Edward Arnold |
Preface The Development of the Radical Right in France from Boulanger to Le Pen, pp1-14 |
| |
2001 |
Andrew Butterfield and Glenn Strong |
Proving correctness of programs with IO - A paradigm comparison Implementation of Functional Languages, 13th International Workshop, IFL 2001, 2312, pp72-87. DOI: http://dx.doi.org/10.1007/3-540-46028-4_5 |
| |
2002 |
Butterfield, A., Strong, G |
Proving Correctness of Programs with IO - A Paradigm Comparison 13th International workshop on the Implementation of Functional Languages, 2312, pp72-87. DOI: http://dx.doi.org/10.1007/3-540-46028-4_5 |
| |
2002 |
Butterfield, Andrew and Dowse, Malcolm and Strong, Glenn |
Proving make correct: I/O proofs in Haskell and Clean Implementation of Functional Languages, 14th International Workshop, IFL 2002, 2670, pp16-18. DOI: http://dx.doi.org/10.1007/3-540-44854-3_5 |
| |
2002 |
Andrew Butterfield and Jim Woodcock |
Semantics of prialt in Handel-C (tm) , pp1-16 |
| |
2003 |
Andrew Butterfield and Jim Woodcock |
Semantic domains for handel-c. , 74. DOI: http://dx.doi.org/10.1016/s1571-0661(04)80762-x |
| |
2003 |
Andrew Butterfield and Jim Woodcock |
An operational semantics for handel-c. , 80. DOI: http://dx.doi.org/10.1016/s1571-0661(04)80821-1 |
| |
2003 |
Butterfield, A. |
Formal methods for industrial critical systems at trinity college, university of Dublin Electronic Notes in Theoretical Computer Science, 80, pp313-317. DOI: http://dx.doi.org/10.1016/S1571-0661(04)80830-2 |
| |
2005 |
Andrew Butterfield and Jim Woodcock |
prialt in Handel-C: an operational semantics International Journal on Software Tools for Technology Transfer, 7(3), pp248-267. DOI: http://dx.doi.org/10.1007/s10009-004-0181-6 |
| |
2005 |
Malcolm Dowse, Andrew Butterfield, and Marko van Eekelen |
A language for reasoning about concurrent functional i/o Implementation and Application of Functional Languages: 16th International Workshop, IFL 2004, Revised Selected Papers, 3474, pp177-194. DOI: http://dx.doi.org/10.1007/11431664_11 |
| |
2005 |
Dowse, M., Butterfield, A., Van Eekelen, M. |
Reasoning about deterministic concurrent functional I/O Lecture Notes in Computer Science, 3474, pp177-194 |
| |
2005 |
Bicarregui, J., Butterfield, A., Arenas, A. |
Electronic Notes in Theoretical Science: Preface Electronic Notes in Theoretical Computer Science, 133, pp1-2. DOI: http://dx.doi.org/10.1016/j.entcs.2004.08.054 |
| |
2005 |
Butterfield, A., Woodcock, J. |
Prialt in Handel-C: An operational semantics International Journal on Software Tools for Technology Transfer, 7(3), pp248-267. DOI: http://dx.doi.org/10.1007/s10009-004-0181-6 |
| |
2006 |
Malcolm Tyrrell, Joseph M. Morris, Andrew Butterfield and Arthur Hughes |
A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes Theoretical Aspects of Computing - ICTAC 2006, 4281, pp123-137. DOI: http://dx.doi.org/10.1007/11921240_9 |
| |
2006 |
Andrew Butterfield and Malcolm Dowse |
Deterministic Concurrent I/O The 11th ACM SIGPLAN International Conference on Functional Programming (ICFP 2006), pp148-159. DOI: http://dx.doi.org/10.1145/1160074.1159823 |
| |
2006 |
Andrew Butterfield and JimWoodcock |
A "Hardware Compiler" Semantics for Handel-C Third Irish Conference on the Mathematical Foundations of Computer Science and Information Technology (MFCSIT 2004), 161, pp73-90. DOI: http://dx.doi.org/10.1016/j.entcs.2006.04.026 |
| |
2006 |
Dowse, M., Butterfield, A. |
Modelling deterministic concurrent I/O Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP, 2006, pp148-159. DOI: http://dx.doi.org/10.1145/1159803.1159823 |
| |
2006 |
Andrew Butterfield, Clemens Grelck, Frank Huch |
Implementation and Application of Functional Languages Lecture Notes in Computer Science. DOI: http://dx.doi.org/10.1007/11964681 |
| |
2006 |
Tyrrell, M., Morris, J.M., Butterfield, A., Hughes, A. |
A lattice-theoretic model for an algebra of communicating sequential processes Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 4281 LNCS, pp123-137 |
| |
2007 |
Butterfield, A. |
A denotational semantics for handel-C Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays, 4700, pp45-66 |
| |
2007 |
Andrew Butterfield, Adnan Sherif and Jim Woodcock |
Slotted-Circus: A UTP-Family of Reactive Theories Integrating Formal Methods 2007 (IFM2007), 4591, pp75-97. DOI: http://dx.doi.org/10.1007/978-3-540-73210-5_5 |
| |
2007 |
Butterfield, A., Bicarregui, J.C., Arenas, A. |
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), pp177-178 |
| |
2007 |
Zoltán Horváth, Viktória Zsók, Andrew Butterfield |
Implementation and Application of Functional Languages Lecture Notes in Computer Science |
| |
2007 |
Horváth, Z., Zsók, V., Butterfield, A. |
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 4449 LNCS |
| |
2007 |
Zoltán Horváth, Viktória Zsók, Andrew Butterfield |
Implementation and Application of Functional Languages Lecture Notes in Computer Science. DOI: http://dx.doi.org/10.1007/978-3-540-74130-5 |
| |
2009 |
Luca Longo, P. Dondio, R. Bresciani, S. Barret, A. Butterfield |
Enabling Adaptation in trust computations Computation World: Future Computing, Service Computation, Cognitive, Adpative, Content, Patterns, pp701-706. DOI: http://doi.ieeecomputersociety.org/10.1109/ComputationWorld.2009.70 |
| |
2009 |
Bresciani, Riccardo and Butterfield, Andrew |
Weakening the Dolev-Yao model through probability SIN '09: Proceedings of the 2nd international conference on Security of information and networks, pp293-297. DOI: http://dx.doi.org/10.1145/1626195.1626265 |
| |
2009 |
Andrew Butterfield, Leo Freitas, Jim Woodcock |
Mechanising a Formal Model of Flash Memory Science of Computer Programming, 74(4), pp219-237. DOI: http://dx.doi.org/10.1016/j.scico.2008.09.014 |
| |
2009 |
Pawel Gancarski, Andrew Butterfield, Jim Woodcock |
State Visibility and Communication in Unifying Theories of Programming 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, pp47-54. DOI: http://dx.doi.org/10.1109/TASE.2009.57 |
| |
2009 |
Andrew Butterfield, Pawel Gancarski |
The Denotational Semantics of Slotted-Circus Formal Methods 2009, 5850, pp451-466. DOI: http://dx.doi.org/10.1007/978-3-642-05089-3_29 |
| |
2009 |
Andrew Butterfield, Art O Cathain |
Concurrent Models of Flash Memory Device Behaviour 12th Brazilian Symposium on Formal Methods (SBMF 2009), 5902, pp70-83. DOI: http://dx.doi.org/10.1007/978-3-642-10452-7_6 |
| |
2009 |
Riccardo Bresciani and Andrew Butterfield |
A formal security proof for the ZRTP Protocol The 4th International Conference for Internet Technology and Secured Transactions (ICITST-2009), pp1-6. DOI: http://dx.doi.org/10.1109/icitst.2009.5402595 |
| |
2009 |
Gancarski, P., Butterfield, A. |
The denotational semantics of slotted-circus Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 5850 LNCS, pp451-466 |
| |
2010 |
Pawel Gancarski, Andrew Butterfield |
Prioritized slotted-Circus 7th International Colloqium on Theoretical Aspects of Computing, 6255, pp91-105. DOI: http://dx.doi.org/10.1007/978-3-642-14808-8_7 |
| |
2010 |
Riccardo Bresciani, Andrew Butterfield |
ProVerif Analysis of the ZRTP Protocol International Journal for Infonomics, 3(3), pp306-313 |
| |
2010 |
Andrew Butterfield |
Saoithin: A Theorem Prover for UTP Unifying Theories of Programming, Third International Symposium, UTP 2010, 6445, pp137-156. DOI: http://dx.doi.org/10.1007/978-3-642-16690-7_6 |
| |
2010 |
Beg, A., Butterfield, A. |
Modelling flash devices with FDR: Progress and limits Proceedings of the 8th International Conference on Frontiers of Information Technology, FIT'10 |
| |
2010 |
Beg, A., Butterfield, A. |
Linking a state-rich process algebra to a state-free algebra to verify software/hardware implementation Proceedings of the 8th International Conference on Frontiers of Information Technology, FIT'10 |
| |
2010 |
Butterfield, A. |
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 5713 LNCS |
| |
2011 |
Andrew Butterfield |
Denotational Semantics of Handel-C Formal Aspects of Computing, 23(2), pp153-170. DOI: http://dx.doi.org/10.1007/s00165-009-0146-3 |
| |
2012 |
Andrew Butterfield |
Reasoning about I/O in Functional Programs Central European Functional Programming School - Fourth Summer School, CEFP 2011, pp93-141. DOI: http://dx.doi.org/10.1007/978-3-642-32096-5 |
| |
2012 |
Riccardo Bresciani, Andrew Butterfield |
A UTP semantics of pGCL as a homogeneous relation Integrated Formal Methods 2012, 7321, pp-191-205. DOI: http://dx.doi.org/10.1007/978-3-642-30729-4_14 |
| |
2013 |
Riccardo Bresciani, Andrew Butterfield |
From Distributions to Probabilistic Reactive Programs Theoretical Aspects of Computing - ICTAC 2013, 8049, pp94-111. DOI: http://dx.doi.org/10.1007/978-3-642-39718-9_6 |
| |
2013 |
Riccardo Bresciani and Andrew Butterfield |
A probabilistic theory of designs based on distributions UTP 2012 : 4th International Symposium on Unifying Theories of Programming, 7681, pp105-123. DOI: http://dx.doi.org/10.1007/978-3-642-35705-3_5 |
| |
2013 |
Butterfield, A. |
The logic of U (TP)2 4th International Symposium on Unifying Theories of Programming, UTP 2012, 7681, pp124-143. DOI: http://dx.doi.org/10.1007/978-3-642-35705-3_6 |
