Andrew Butterfield

Jordan HR, Botterweck G, Noll J., Butterfield A, Collier R.  2015.  A feature model of actor, agent, functional, object, and procedural programming languages. A feature model of actor, agent, functional, object, and procedural programming languages.

Butterfield A, Hinchey M.  2015.  Towards the adoption of formal techniques for kernel qualification. European Space Agency, (Special Publication) ESA SP. SP-732

Butterfield A, Sanan D, Hinchey M.  2013.  Towards Formal Verification of a Separation Microkernel. DASIA 2013, annual Eurospace conferenceDASIA 2013, annual Eurospace conference.

Bresciani R, Butterfield A.  2013.  From distributions to probabilistic reactive programs. 10th International Colloquium on Theoretical Aspects of Computing10th International Colloquium on Theoretical Aspects of Computing.

Butterfield A.  2012.  The Logic of UTP2. 4th Unifying Theories of Programming Symposium4th Unifying Theories of Programming Symposium.

Bresciani R, Butterfield A.  2012.  A probabilistic theory of designs based on distributions. 4th Unifying Theories of Programming Symposium4th Unifying Theories of Programming Symposium.

Bresciani R, Butterfield A.  2012.  A UTP semantics of pGCL as a homogeneous relation. Integrated Formal Methods 2012Integrated Formal Methods 2012.

Beg A, Butterfield A.  2010.  Linking a state-rich process algebra to a state-free process algebra to verify software / hardware implementations. FIT’10: International Conference on Frontiers of Information Technology ProceedingsFIT’10: International Conference on Frontiers of Information Technology Proceedings.

Beg A, Butterfield A.  2010.  Modelling Flash Devices with FDR: Progress and Limits. FIT’10: International Conference on Frontiers of Information Technology ProceedingsFIT’10: International Conference on Frontiers of Information Technology Proceedings.

Gancarski P, Butterfield A.  2010.  Prioritised slotted-Circus. 7th International Colloqium Theoretical Aspects of Computing - ICTAC 2010.