| |
2024 |
Andrew Butterfield, Donnchadh Griffin-Carroll |
Deploying Promela/Spin-based Test Generation on RTEMS: Progress and Prospects DASIA (Data Systems In Aerospace), pp3 |
| |
2024 |
Andrew Butterfield |
Towards an Algebra for Unifying Theories of Concurrent Programming (UTCP) The Application of Formal Methods, 14900, pp203-232. DOI: https://doi.org/10.1007/978-3-031-67114-2 |
| |
2023 |
Andrew Butterfield and Frédéric Tuong |
Applying Formal Verification to an Open-Source Real-Time Operating System Theories of Programming and Formal Methods, pp348-366. DOI: http://dx.doi.org/10.1007/978-3-031-40436-8_13 |
| |
2023 |
Andrew Butterfield |
Deploying Promela/Spin-based test generation on RTEMS: A progress report DASIA (Data Systems in Eurospace), pp6 |
| |
2022 |
Gerard Ekembe Ngondi, Vasileios Koutavas, Andrew Butterfield |
From CCS to CSP: the m-among-n Synchronisation Approach Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics, pp60-74. DOI: http://dx.doi.org/10.4204/EPTCS.368.4 |
| |
2022 |
Gerard Ekembe Ngondi, Vasileios Koutavas, Andrew Butterfield |
Translation of CCS into CSP, Correct up to Strong Bisimulation Mathematical Structures in Computer Science |
| |
2021 |
Gerard Ekembe Ngondi, Vasileios Koutavas, Andrew Butterfield |
Translation of CCS into CSP, Correct up to Strong Bisimulation Software Engineering and Formal Methods (SEFM 21), 13085, pp243-261. DOI: http://dx.doi.org/10.1007/978-3-030-92124-8_14 |
| |
2019 |
Mjeda, A. and Butterfield, A. and Noll, J. |
Business process modeling flexibility: A formal interpretation MODELSWARD 2019 - Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, pp467-474 |
| |
2019 |
Gomes, A.O. and Butterfield, A. |
Towards a model-checker for circus Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 11800 LNCS, pp217-234. DOI: http://dx.doi.org/10.1007/978-3-030-30942-8_14 |
| |
2019 |
Gomes, A.O. and Butterfield, A. |
Circus2CSP: A tool for model-checking circus using FDR Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 11800 LNCS, pp235-242. DOI: http://dx.doi.org/10.1007/978-3-030-30942-8_15 |
| |
2019 |
Butterfield, A. |
The Inner and Outer Algebras of Unified Concurrency Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 11885 LNCS, pp157-175. DOI: http://dx.doi.org/10.1007/978-3-030-31038-7_8 |
| |
2018 |
Andrew Butterfield, John Szymanski (eds.) |
A Dictionary of Electronics and Electrical Engineering |
| |
2018 |
Williams, R.H., Srivastava, G.P., McGovern, I.T. |
Photoelectron spectroscopy of solids and their surfaces Electronic Properties of Surfaces, pp71-133 |
| |
2017 |
Andrew Butterfield |
UTPCalc - A calculator for UTP Predicates The 6th International Symposium on Unifying Theories of Programming, 11304, pp197-216. DOI: http://dx.doi.org/10.1007/978-3-319-52228-9 |
| |
2017 |
Andrew Butterfield |
UTCP: compositional semantics for shared-variable concurrency 20th Brazilian Symposium on Formal Methods (SBMF 2017)(10623), pp253-270. DOI: http://dx.doi.org/10.1007/978-3-319-70848-5_16 |
| |
2017 |
Andrew Butterfield, Ciaran Costello |
Domain-Specific Languages for Requirements Modelling (with a focus on IMA Separation Kernels) DASIA 2017 DAta Systems In Aerospace, pp1-5 |
| |
2017 |
Butterfield, A. |
UTPcalc â a calculator for UTP predicates Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 10134 LNCS, pp197-216. DOI: http://dx.doi.org/10.1007/978-3-319-52228-9_10 |
| |
2017 |
Butterfield, A. |
UTPcalc: a calculator for UTP predicates Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 10134 LNCS, pp197-216 |
| |
2016 |
James Woodcock, Simon Foster, Andrew Butterfield |
Heterogeneous Semantics and Unifying Theories 7th International Symposium on Leveraging Applications of Formal Methods, Verification And Validation (ISoLA 2016), pp374-394. DOI: http://dx.doi.org/10.1007/978-3-319-47166-2_26 |
| |
2016 |
Andrew Butterfield, Alexandre Cortier, Kevin Hennessy, Mike Hinchey |
Towards Formal Verification of Interrupts and Hypercalls DASIA 2016 DAta Systems In Aerospace, pp4 |
| |
2016 |
Artur O. Gomes and Andrew Butterfield |
Modelling the Haemodialysis Machine with Circus Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, 9675, pp409-424. DOI: http://dx.doi.org/10.1007/978-3-319-33600-8_34 |
| |
2016 |
John Noll, Andrew Butterfield |
Teaching Global Software Development through Game Design GSE-Ed'16 First Intranational Workshop on Global Software Engineering Education, pp55-60. DOI: http://dx.doi.org/10.1109/ICGSEW.2016.21 |
| |
2016 |
Andrew Butterfield, Anila Mjeda, John Noll |
UTP Semantics for Shared-State, Concurrent, Context-Sensitive Process Models 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016, pp93-100. DOI: http://dx.doi.org/10.1109/TASE.2016.22 |
| |
2016 |
Andrew Butterfield, Gerard Ekembe Ngondi (eds.) |
Oxford Dictionary of Computer Science |
| |
2016 |
Mark Hann, Regis de Ferluc, Alexandre Cortier, Julien Galizzi, Andrew Butterfield |
Qualification Strategy and Plan for Integrated Modular Avionics for Space Separation Kernel DASIA 2016 DAta Systems In Aerospace, pp1-4 |
| |
2016 |
Andrew Butterfield, Gerard Ekembe Ngondi |
A Dictionary of Computer Science |
| |
2015 |
Howell Jordan, Goetz Botterweck, Andrew Butterfield, Rem Collier, John Noll |
A Feature Model of Actor, Agent, Functional, Object, and Procedural Programming Languages Science of Computer Programming, 98(2), pp120-139. DOI: http://dx.doi.org/10.1016/j.scico.2014.02.009 |
| |
2015 |
Butterfield, A., Hinchey, M. |
Towards the adoption of formal techniques for kernel qualification |
| |
2015 |
Beg, A., Butterfield, A. |
Development of a prototype translator from Circus to CSPm ICOSST 2015 - 2015 International Conference on Open Source Systems and Technologies, Proceedings, pp16-23. DOI: http://dx.doi.org/10.1109/ICOSST.2015.7396396 |
| |
2015 |
Jordan, H., Botterweck, G., Noll, J., Butterfield, A., Collier, R. |
A feature model of actor, agent, functional, object, and procedural programming languages Science of Computer Programming, 98, pp120-139 |
| |
2014 |
Riccardo Bresciani, Andrew Butterfield |
A UTP approach towards probabilistic protocol verification Security and Communication Networks, 7, pp99-107. DOI: http://dx.doi.org/10.1002/sec.546 |
| |
2014 |
Andrew Butterfield |
UTP2: Higher-Order Equational Reasoning by Pointing Proceedings Eleventh Workshop on User Interfaces for Theorem Provers, 167, pp14-22. DOI: http://dx.doi.org/10.4204/eptcs.167.4 |
| |
2014 |
David Sanan, Andrew Butterfield, Mike Hinchey |
Separation Kernel Verification: The XtratuM Case Study Verified Software: Theories, Tools and Experiments, 8471, pp133-149. DOI: http://dx.doi.org/10.1007/978-3-319-12154-3_9 |
| |
2014 |
Butterfield, A., Sanán, D., Hinchey, M. |
Formalisation of a separation micro-kernel for common criteria certification |
| |
2014 |
Butterfield, A. |
U & middot;(TP)2: Higher-order equational reasoning by pointing Electronic Proceedings in Theoretical Computer Science, EPTCS, 167, pp14-22 |
| |
2014 |
John Noll, Andrew Butterfield, Kevin Farrell, Tom Mason, Miles McGuire, Ross McKinley |
GSD Sim: A Global Software Development Game 2014 IEEE International Conference on Global Software Engineeering Workshops |
| |
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 |
| |
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 |
| |
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 |
| |
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 |
| |
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 |
