![](https://dblp.org/img/logo.320x120.png)
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Andrew Butterfield
Person information
SPARQL queries ![](https://dblp.org/img/new.blue.24x12.png)
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c46]Andrew Butterfield
, Frédéric Tuong
:
Applying Formal Verification to an Open-Source Real-Time Operating System. Theories of Programming and Formal Methods 2023: 348-366 - 2022
- [c45]Gerard Ekembe Ngondi, Vasileios Koutavas, Andrew Butterfield:
From CCS to CSP: the m-among-n Synchronisation Approach. EXPRESS/SOS 2022: 60-74 - 2021
- [c44]Gerard Ekembe Ngondi
, Vasileios Koutavas
, Andrew Butterfield
:
Translation of CCS into CSP, Correct up to Strong Bisimulation. SEFM 2021: 243-261
2010 – 2019
- 2019
- [c43]Artur Oliveira Gomes, Andrew Butterfield
:
Towards a Model-Checker for Circus. FM 2019: 217-234 - [c42]Artur Oliveira Gomes, Andrew Butterfield
:
Circus2CSP: A Tool for Model-Checking Circus Using FDR. FM 2019: 235-242 - [c41]Anila Mjeda, Andrew Butterfield, John Noll:
Business Process Modeling Flexibility: A Formal Interpretation. MODELSWARD 2019: 465-472 - [c40]Andrew Butterfield
:
The Inner and Outer Algebras of Unified Concurrency. UTP 2019: 157-175 - 2018
- [j8]Nikolaj S. Bjørner, Frank S. de Boer, Andrew Butterfield:
Editorial. Formal Aspects Comput. 30(5): 493-494 (2018) - 2017
- [c39]Andrew Butterfield
:
UTCP: Compositional Semantics for Shared-Variable Concurrency. SBMF 2017: 253-270 - 2016
- [c38]Artur Oliveira Gomes, Andrew Butterfield
:
Modelling the Haemodialysis Machine with Circus. ABZ 2016: 409-424 - [c37]John Noll, Andrew Butterfield
:
Teaching Global Software Development through Game Design. ICGSE Workshops 2016: 55-60 - [c36]Jim Woodcock
, Simon Foster
, Andrew Butterfield
:
Heterogeneous Semantics and Unifying Theories. ISoLA (1) 2016: 374-394 - [c35]Andrew Butterfield
, Anila Mjeda, John Noll:
UTP Semantics for Shared-State, Concurrent, Context-Sensitive Process Models. TASE 2016: 93-100 - [c34]Andrew Butterfield
:
UTPCalc - A Calculator for UTP Predicates. UTP 2016: 197-216 - 2015
- [j7]Howell R. Jordan, Goetz Botterweck
, John Noll
, Andrew Butterfield
, Rem W. Collier
:
A feature model of actor, agent, functional, object, and procedural programming languages. Sci. Comput. Program. 98: 120-139 (2015) - 2014
- [j6]Riccardo Bresciani, Andrew Butterfield
:
A UTP approach towards probabilistic protocol verification. Secur. Commun. Networks 7(1): 99-107 (2014) - [c33]John Noll, Andrew Butterfield
, Kevin Farrell, Tom Mason, Miles McGuire, Ross McKinley:
GSD Sim: A Global Software Development Game. ICGSE Workshops 2014: 15-20 - [c32]David Sanán
, Andrew Butterfield
, Mike Hinchey
:
Separation Kernel Verification: The Xtratum Case Study. VSTTE 2014: 133-149 - [c31]Andrew Butterfield
:
UTP2: Higher-Order Equational Reasoning by Pointing. UITP 2014: 14-22 - 2013
- [c30]Riccardo Bresciani, Andrew Butterfield
:
From Distributions to Probabilistic Reactive Programs. ICTAC 2013: 94-111 - 2012
- [c29]Riccardo Bresciani, Andrew Butterfield
:
A UTP Semantics of pGCL as a Homogeneous Relation. IFM 2012: 191-205 - [c28]Riccardo Bresciani, Andrew Butterfield
:
A Probabilistic Theory of Designs Based on Distributions. UTP 2012: 105-123 - [c27]Andrew Butterfield
:
The Logic of U ·(TP)2. UTP 2012: 124-143 - 2011
- [j5]Andrew Butterfield
:
A denotational semantics for Handel-C. Formal Aspects Comput. 23(2): 153-170 (2011) - [c26]Andrew Butterfield
:
Reasoning about I/O in Functional Programs. CEFP 2011: 93-141 - 2010
- [c25]Arshad Beg, Andrew Butterfield
:
Modelling flash devices with FDR: progress and limits. FIT 2010: 18 - [c24]Arshad Beg, Andrew Butterfield
:
Linking a state-rich process algebra to a state-free algebra to verify software/hardware implementation. FIT 2010: 47 - [c23]Pawel Gancarski, Andrew Butterfield
:
Prioritized slotted-Circus. ICTAC 2010: 91-105 - [c22]Andrew Butterfield
:
Saoithín: A Theorem Prover for UTP. UTP 2010: 137-156 - [e7]Andrew Butterfield
:
Unifying Theories of Programming, Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers. Lecture Notes in Computer Science 5713, Springer 2010, ISBN 978-3-642-14520-9 [contents]
2000 – 2009
- 2009
- [j4]Andrew Butterfield
, Leo Freitas, Jim Woodcock
:
Mechanising a formal model of flash memory. Sci. Comput. Program. 74(4): 219-237 (2009) - [c21]Pawel Gancarski, Andrew Butterfield
:
The Denotational Semantics of slotted-Circus. FM 2009: 451-466 - [c20]Riccardo Bresciani, Andrew Butterfield:
A formal security proof for the ZRTP Protocol. ICITST 2009: 1-6 - [c19]Andrew Butterfield
, Art Ó Catháin:
Concurrent Models of Flash Memory Device Behaviour. SBMF 2009: 70-83 - [c18]Riccardo Bresciani, Andrew Butterfield
:
Weakening the Dolev-Yao model through probability. SIN 2009: 293-297 - [c17]Andrew Butterfield
, Pawel Gancarski
, Jim Woodcock
:
State Visibility and Communication in Unifying Theories of Programming. TASE 2009: 47-54 - 2008
- [c16]Leo Freitas, Jim Woodcock
, Andrew Butterfield
:
POSIX and the Verification Grand Challenge: A Roadmap. ICECCS 2008: 153-162 - 2007
- [j3]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 Syst. Des. 30(3): 177-178 (2007) - [c15]Andrew Butterfield
:
A Denotational Semantics for Handel-C. Formal Methods and Hybrid Real-Time Systems 2007: 45-66 - [c14]Andrew Butterfield
, Jim Woodcock
:
Formalising Flash Memory: First Steps. ICECCS 2007: 251-260 - [c13]Andrew Butterfield
, Adnan Sherif, Jim Woodcock
:
Slotted-Circus. IFM 2007: 75-97 - [e6]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. Lecture Notes in Computer Science 4449, Springer 2007, ISBN 978-3-540-74129-9 [contents] - 2006
- [c12]Malcolm Dowse, Andrew Butterfield
:
Modelling deterministic concurrent I/O. ICFP 2006: 148-159 - [c11]Malcolm Tyrrell, Joseph M. Morris, Andrew Butterfield
, Arthur Hughes:
A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes. ICTAC 2006: 123-137 - [e5]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. Lecture Notes in Computer Science 4015, Springer 2006, ISBN 3-540-69174-X [contents] - 2005
- [j2]Andrew Butterfield
, Jim Woodcock
:
prialt in Handel-C: an operational semantics. Int. J. Softw. Tools Technol. Transf. 7(3): 248-267 (2005) - [e4]Juan Bicarregui, Andrew Butterfield, Alvaro Arenas:
Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2004, Linz, Austria, September 20-21, 2004. Electronic Notes in Theoretical Computer Science 133, Elsevier 2005 [contents] - 2004
- [j1]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 Bioinform. 5: 1 (2004) - [c10]Malcolm Dowse, Andrew Butterfield
, Marko C. J. D. van Eekelen:
Reasoning About Deterministic Concurrent Functional I/O. IFL 2004: 177-194 - [c9]Juan Bicarregui
, Andrew Butterfield
, Alvaro Arenas:
Preface. FMICS 2004: 1-2 - [c8]Andrew Butterfield
, Jim Woodcock
:
A "Hardware Compiler" Semantics for Handel-C. MFCSIT 2004: 73-90 - 2003
- [c7]Andrew Butterfield
, Jim Woodcock
:
An Operational Semantics for Handel-C. FMICS 2003: 235-250 - [c6]Andrew Butterfield
:
Formal Methods for Industrial Critical Systems at Trinity College, University of Dublin. FMICS 2003: 299-303 - 2002
- [c5]Malcolm Dowse, Glenn Strong, Andrew Butterfield
:
Proving Make Correct: I/O Proofs in Haskell and Clean. IFL 2002: 68-83 - [c4]Andrew Butterfield
, Jim Woodcock
:
Semantic domains for Handel-C. MFCSIT 2002: 1-20 - 2001
- [c3]Andrew Butterfield
, Glenn Strong:
Proving Correctness of Programs with IO - A Paradigm Comparison. IFL 2001: 72-87 - [e3]Andrew Butterfield, Glenn Strong, Claus Pahl:
5th Irish Workshop on Formal Methods, IWFM 2001, Dublin, Ireland, 16-17 July 2001. Workshops in Computing, BCS 2001 [contents] - 2000
- [c2]Malcolm Tyrrell, Andrew Butterfield, Alexis Donnelly:
OO-Motivated Process Algebra: A Calculus for CORBA-like Systems. Rigorous Object-Oriented Methods 2000
1990 – 1999
- 1999
- [e2]Andrew Butterfield, Klemens Haegele:
3rd Irish Workshop on Formal Methods, Galway, Ireland, July 1999. Workshops in Computing, BCS 1999 [contents] - 1998
- [e1]Sharon Flynn, Andrew Butterfield:
2nd Irish Workshop on Formal Methods, Cork, Ireland, 2-3 July 1998. Workshops in Computing, BCS 1998 [contents] - 1993
- [c1]Andrew Butterfield
:
A VDM Study of Fault-Tolerant Stable Storage - Towards a Computer Engineering Mathematics. FME 1993: 216-234
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint