| A dictionary of computer science A Butterfield, GE Ngondi Oxford University Press, 2016 | 282 | 2016 |
| Mechanising a formal model of flash memory A Butterfield, L Freitas, J Woodcock Science of Computer Programming 74 (4), 219-237, 2009 | 44 | 2009 |
| Formalising flash memory: First steps A Butterfield, J Woodcock 12th IEEE International Conference on Engineering Complex Computer Systems …, 2007 | 44 | 2007 |
| A dictionary of electronics and electrical engineering A Butterfield, J Szymanski Oxford University Press, 2018 | 43 | 2018 |
| POSIX and the verification grand challenge: A roadmap L Freitas, J Woodcock, A Butterfield 13th IEEE International Conference on Engineering of Complex Computer …, 2008 | 39 | 2008 |
| Slotted-circus: A UTP-family of reactive theories A Butterfield, A Sherif, J Woodcock International Conference on Integrated Formal Methods, 75-97, 2007 | 38 | 2007 |
| 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 | 27 | 2014 |
| Semantics of prialt in Handel-C A Butterfield, J Woodcock Concurrent Systems Engineering, Proceedings of the Conference on …, 2002 | 25 | 2002 |
| Proving correctness of programs with IO—A paradigm comparison A Butterfield, G Strong Symposium on Implementation and Application of Functional Languages, 72-87, 2001 | 25 | 2001 |
| Separation kernel verification: The xtratum case study D Sanán, A Butterfield, M Hinchey Working Conference on Verified Software: Theories, Tools, and Experiments …, 2014 | 20 | 2014 |
| Saoithin: A theorem prover for utp A Butterfield International Symposium on Unifying Theories of Programming, 137-156, 2010 | 20 | 2010 |
| 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 | 19 | 2015 |
| prialt in Handel-C: an operational semantics A Butterfield, J Woodcock International Journal on Software Tools for Technology Transfer 7 (3), 248-267, 2005 | 19 | 2005 |
| A lattice-theoretic model for an algebra of communicating sequential processes M Tyrrell, JM Morris, A Butterfield, A Hughes International Colloquium on Theoretical Aspects of Computing, 123-137, 2006 | 18 | 2006 |
| Semantic domains for Handel-C A Butterfield, J Woodcock Electronic notes in theoretical computer science 74, 1-20, 2003 | 18 | 2003 |
| Proving make correct: I/O proofs in Haskell and Clean M Dowse, G Strong, A Butterfield Symposium on Implementation and Application of Functional Languages, 68-83, 2002 | 18 | 2002 |
| Modelling the Haemodialysis Machine with Circus AO Gomes, A Butterfield International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2016 | 17 | 2016 |
| Reasoning about deterministic concurrent functional I/O M Dowse, A Butterfield, M van Eekelen Symposium on Implementation and Application of Functional Languages, 177-194, 2004 | 17 | 2004 |
| A formal security proof for the ZRTP Protocol R Bresciani, A Butterfield 2009 International Conference for Internet Technology and Secured …, 2009 | 16 | 2009 |
| Teaching global software development through game design J Noll, A Butterfield 2016 IEEE 11th International Conference on Global Software Engineering …, 2016 | 14 | 2016 |
Jim WoodcockProfessor of Software Engineering, University of YorkVerified email at york.ac.uk
