Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Andrew Butterfield
@inproceedings{DBLP:conf/birthday/ButterfieldT23,
author = {Andrew Butterfield and
Fr{\'{e}}d{\'{e}}ric Tuong},
editor = {Jonathan P. Bowen and
Qin Li and
Qiwen Xu},
title = {Applying Formal Verification to an Open-Source Real-Time Operating
System},
booktitle = {Theories of Programming and Formal Methods - Essays Dedicated to Jifeng
He on the Occasion of His 80th Birthday},
series = {Lecture Notes in Computer Science},
volume = {14080},
pages = {348--366},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-40436-8\_13},
doi = {10.1007/978-3-031-40436-8\_13},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/ButterfieldT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-05232,
author = {Gerard Ekembe Ngondi and
Vasileios Koutavas and
Andrew Butterfield},
editor = {Valentina Castiglioni and
Claudio Antares Mezzina},
title = {From {CCS} to {CSP:} the m-among-n Synchronisation Approach},
booktitle = {Proceedings Combined 29th International Workshop on Expressiveness
in Concurrency and 19th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2022, and 19th Workshop on Structural Operational Semantics
Warsaw, Poland, 12th September 2022},
series = {{EPTCS}},
volume = {368},
pages = {60--74},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.368.4},
doi = {10.4204/EPTCS.368.4},
timestamp = {Sun, 12 Nov 2023 02:17:14 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-05232.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/NgondiKB21,
author = {Gerard Ekembe Ngondi and
Vasileios Koutavas and
Andrew Butterfield},
editor = {Radu Calinescu and
Corina S. Pasareanu},
title = {Translation of {CCS} into CSP, Correct up to Strong Bisimulation},
booktitle = {Software Engineering and Formal Methods - 19th International Conference,
{SEFM} 2021, Virtual Event, December 6-10, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13085},
pages = {243--261},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-92124-8\_14},
doi = {10.1007/978-3-030-92124-8\_14},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/NgondiKB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/GomesB19,
author = {Artur Oliveira Gomes and
Andrew Butterfield},
editor = {Maurice H. ter Beek and
Annabelle McIver and
Jos{\'{e}} N. Oliveira},
title = {Towards a Model-Checker for Circus},
booktitle = {Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019,
Porto, Portugal, October 7-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11800},
pages = {217--234},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30942-8\_14},
doi = {10.1007/978-3-030-30942-8\_14},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/GomesB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/GomesB19a,
author = {Artur Oliveira Gomes and
Andrew Butterfield},
editor = {Maurice H. ter Beek and
Annabelle McIver and
Jos{\'{e}} N. Oliveira},
title = {Circus2CSP: {A} Tool for Model-Checking Circus Using {FDR}},
booktitle = {Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019,
Porto, Portugal, October 7-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11800},
pages = {235--242},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30942-8\_15},
doi = {10.1007/978-3-030-30942-8\_15},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/GomesB19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/MjedaBN19,
author = {Anila Mjeda and
Andrew Butterfield and
John Noll},
editor = {Slimane Hammoudi and
Lu{\'{\i}}s Ferreira Pires and
Bran Selic},
title = {Business Process Modeling Flexibility: {A} Formal Interpretation},
booktitle = {Proceedings of the 7th International Conference on Model-Driven Engineering
and Software Development, {MODELSWARD} 2019, Prague, Czech Republic,
February 20-22, 2019},
pages = {465--472},
publisher = {SciTePress},
year = {2019},
url = {https://doi.org/10.5220/0007577104670474},
doi = {10.5220/0007577104670474},
timestamp = {Tue, 06 Jun 2023 14:58:00 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/MjedaBN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/utp/Butterfield19,
author = {Andrew Butterfield},
editor = {Pedro Ribeiro and
Augusto Sampaio},
title = {The Inner and Outer Algebras of Unified Concurrency},
booktitle = {Unifying Theories of Programming - 7th International Symposium, {UTP}
2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday,
Porto, Portugal, October 8, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11885},
pages = {157--175},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31038-7\_8},
doi = {10.1007/978-3-030-31038-7\_8},
timestamp = {Sat, 12 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/utp/Butterfield19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BjornerBB18,
author = {Nikolaj S. Bj{\o}rner and
Frank S. de Boer and
Andrew Butterfield},
title = {Editorial},
journal = {Formal Aspects Comput.},
volume = {30},
number = {5},
pages = {493--494},
year = {2018},
url = {https://doi.org/10.1007/s00165-018-0463-5},
doi = {10.1007/S00165-018-0463-5},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BjornerBB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/Butterfield17,
author = {Andrew Butterfield},
editor = {Simone Andr{\'{e}} da Costa Cavalheiro and
Jos{\'{e}} Luiz Fiadeiro},
title = {{UTCP:} Compositional Semantics for Shared-Variable Concurrency},
booktitle = {Formal Methods: Foundations and Applications - 20th Brazilian Symposium,
{SBMF} 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10623},
pages = {253--270},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70848-5\_16},
doi = {10.1007/978-3-319-70848-5\_16},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/Butterfield17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/GomesB16,
author = {Artur Oliveira Gomes and
Andrew Butterfield},
editor = {Michael J. Butler and
Klaus{-}Dieter Schewe and
Atif Mashkoor and
Mikl{\'{o}}s Bir{\'{o}}},
title = {Modelling the Haemodialysis Machine with Circus},
booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 5th International
Conference, {ABZ} 2016, Linz, Austria, May 23-27, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9675},
pages = {409--424},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-33600-8\_34},
doi = {10.1007/978-3-319-33600-8\_34},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/asm/GomesB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icgse/NollB16,
author = {John Noll and
Andrew Butterfield},
title = {Teaching Global Software Development through Game Design},
booktitle = {11th {IEEE} International Conference on Global Software Engineering
Workshops, {ICGSE} Workshops 2016, Orange County, CA, USA, August
2, 2016},
pages = {55--60},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ICGSEW.2016.21},
doi = {10.1109/ICGSEW.2016.21},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icgse/NollB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/WoodcockFB16,
author = {Jim Woodcock and
Simon Foster and
Andrew Butterfield},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Heterogeneous Semantics and Unifying Theories},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Foundational Techniques - 7th International Symposium, ISoLA 2016,
Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9952},
pages = {374--394},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47166-2\_26},
doi = {10.1007/978-3-319-47166-2\_26},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/WoodcockFB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/ButterfieldMN16,
author = {Andrew Butterfield and
Anila Mjeda and
John Noll},
title = {{UTP} Semantics for Shared-State, Concurrent, Context-Sensitive Process
Models},
booktitle = {10th International Symposium on Theoretical Aspects of Software Engineering,
{TASE} 2016, Shanghai, China, July 17-19, 2016},
pages = {93--100},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/TASE.2016.22},
doi = {10.1109/TASE.2016.22},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/ButterfieldMN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/utp/Butterfield16,
author = {Andrew Butterfield},
editor = {Jonathan P. Bowen and
Huibiao Zhu},
title = {UTPCalc - {A} Calculator for {UTP} Predicates},
booktitle = {Unifying Theories of Programming - 6th International Symposium, {UTP}
2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10134},
pages = {197--216},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-52228-9\_10},
doi = {10.1007/978-3-319-52228-9\_10},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/utp/Butterfield16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/JordanBNBC15,
author = {Howell R. Jordan and
Goetz Botterweck and
John Noll and
Andrew Butterfield and
Rem W. Collier},
title = {A feature model of actor, agent, functional, object, and procedural
programming languages},
journal = {Sci. Comput. Program.},
volume = {98},
pages = {120--139},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2014.02.009},
doi = {10.1016/J.SCICO.2014.02.009},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/JordanBNBC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scn/BrescianiB14,
author = {Riccardo Bresciani and
Andrew Butterfield},
title = {A {UTP} approach towards probabilistic protocol verification},
journal = {Secur. Commun. Networks},
volume = {7},
number = {1},
pages = {99--107},
year = {2014},
url = {https://doi.org/10.1002/sec.546},
doi = {10.1002/SEC.546},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scn/BrescianiB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icgse/NollBFMMM14,
author = {John Noll and
Andrew Butterfield and
Kevin Farrell and
Tom Mason and
Miles McGuire and
Ross McKinley},
title = {{GSD} Sim: {A} Global Software Development Game},
booktitle = {{IEEE} International Conference on Global Software Engineeering Workshops,
{ICGSE} Workshops 2014, Shanghai, China, 18 August, 2014},
pages = {15--20},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ICGSEW.2014.12},
doi = {10.1109/ICGSEW.2014.12},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icgse/NollBFMMM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/SananBH14,
author = {David San{\'{a}}n and
Andrew Butterfield and
Mike Hinchey},
editor = {Dimitra Giannakopoulou and
Daniel Kroening},
title = {Separation Kernel Verification: The Xtratum Case Study},
booktitle = {Verified Software: Theories, Tools and Experiments - 6th International
Conference, {VSTTE} 2014, Vienna, Austria, July 17-18, 2014, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8471},
pages = {133--149},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-12154-3\_9},
doi = {10.1007/978-3-319-12154-3\_9},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vstte/SananBH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Butterfield14,
author = {Andrew Butterfield},
editor = {Christoph Benzm{\"{u}}ller and
Bruno Woltzenlogel Paleo},
title = {{UTP2:} Higher-Order Equational Reasoning by Pointing},
booktitle = {Proceedings Eleventh Workshop on User Interfaces for Theorem Provers,
{UITP} 2014, Vienna, Austria, 17th July 2014},
series = {{EPTCS}},
volume = {167},
pages = {14--22},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.167.4},
doi = {10.4204/EPTCS.167.4},
timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
biburl = {https://dblp.org/rec/journals/corr/Butterfield14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/BrescianiB13,
author = {Riccardo Bresciani and
Andrew Butterfield},
editor = {Zhiming Liu and
Jim Woodcock and
Huibiao Zhu},
title = {From Distributions to Probabilistic Reactive Programs},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International
Colloquium, Shanghai, China, September 4-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8049},
pages = {94--111},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39718-9\_6},
doi = {10.1007/978-3-642-39718-9\_6},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/ictac/BrescianiB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/BrescianiB12,
author = {Riccardo Bresciani and
Andrew Butterfield},
editor = {John Derrick and
Stefania Gnesi and
Diego Latella and
Helen Treharne},
title = {A {UTP} Semantics of pGCL as a Homogeneous Relation},
booktitle = {Integrated Formal Methods - 9th International Conference, {IFM} 2012,
Pisa, Italy, June 18-21, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7321},
pages = {191--205},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30729-4\_14},
doi = {10.1007/978-3-642-30729-4\_14},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/BrescianiB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/utp/BrescianiB12,
author = {Riccardo Bresciani and
Andrew Butterfield},
editor = {Burkhart Wolff and
Marie{-}Claude Gaudel and
Abderrahmane Feliachi},
title = {A Probabilistic Theory of Designs Based on Distributions},
booktitle = {Unifying Theories of Programming, 4th International Symposium, {UTP}
2012, Paris, France, August 27-28, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7681},
pages = {105--123},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35705-3\_5},
doi = {10.1007/978-3-642-35705-3\_5},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/utp/BrescianiB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/utp/Butterfield12,
author = {Andrew Butterfield},
editor = {Burkhart Wolff and
Marie{-}Claude Gaudel and
Abderrahmane Feliachi},
title = {The Logic of \emph{U} {\(\cdot\)}(\emph{TP})\({}^{\mbox{2}}\)},
booktitle = {Unifying Theories of Programming, 4th International Symposium, {UTP}
2012, Paris, France, August 27-28, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7681},
pages = {124--143},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35705-3\_6},
doi = {10.1007/978-3-642-35705-3\_6},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/utp/Butterfield12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Butterfield11,
author = {Andrew Butterfield},
title = {A denotational semantics for Handel-C},
journal = {Formal Aspects Comput.},
volume = {23},
number = {2},
pages = {153--170},
year = {2011},
url = {https://doi.org/10.1007/s00165-009-0146-3},
doi = {10.1007/S00165-009-0146-3},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Butterfield11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/Butterfield11,
author = {Andrew Butterfield},
editor = {Vikt{\'{o}}ria Zs{\'{o}}k and
Zolt{\'{a}}n Horv{\'{a}}th and
Rinus Plasmeijer},
title = {Reasoning about {I/O} in Functional Programs},
booktitle = {Central European Functional Programming School - 4th Summer School,
{CEFP} 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7241},
pages = {93--141},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-32096-5\_3},
doi = {10.1007/978-3-642-32096-5\_3},
timestamp = {Mon, 03 Jan 2022 22:17:59 +0100},
biburl = {https://dblp.org/rec/conf/cefp/Butterfield11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fit/BegB10,
author = {Arshad Beg and
Andrew Butterfield},
title = {Modelling flash devices with {FDR:} progress and limits},
booktitle = {{FIT} '10, 8th International Conference on Frontiers of Information
Technology, Islamabad, Pakistan, December 21-23, 2010},
pages = {18},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1943628.1943646},
doi = {10.1145/1943628.1943646},
timestamp = {Tue, 06 Nov 2018 11:07:00 +0100},
biburl = {https://dblp.org/rec/conf/fit/BegB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fit/BegB10a,
author = {Arshad Beg and
Andrew Butterfield},
title = {Linking a state-rich process algebra to a state-free algebra to verify
software/hardware implementation},
booktitle = {{FIT} '10, 8th International Conference on Frontiers of Information
Technology, Islamabad, Pakistan, December 21-23, 2010},
pages = {47},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1943628.1943675},
doi = {10.1145/1943628.1943675},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fit/BegB10a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/GancarskiB10,
author = {Pawel Gancarski and
Andrew Butterfield},
editor = {Ana Cavalcanti and
David D{\'{e}}harbe and
Marie{-}Claude Gaudel and
Jim Woodcock},
title = {Prioritized slotted-Circus},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2010, 7th International
Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6255},
pages = {91--105},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14808-8\_7},
doi = {10.1007/978-3-642-14808-8\_7},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/ictac/GancarskiB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/utp/Butterfield10,
author = {Andrew Butterfield},
editor = {Shengchao Qin},
title = {Saoith{\'{\i}}n: {A} Theorem Prover for {UTP}},
booktitle = {Unifying Theories of Programming - Third International Symposium,
{UTP} 2010, Shanghai, China, November 15-16, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6445},
pages = {137--156},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16690-7\_6},
doi = {10.1007/978-3-642-16690-7\_6},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/utp/Butterfield10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/utp/2008,
editor = {Andrew Butterfield},
title = {Unifying Theories of Programming, Second International Symposium,
{UTP} 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {5713},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14521-6},
doi = {10.1007/978-3-642-14521-6},
isbn = {978-3-642-14520-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/utp/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ButterfieldFW09,
author = {Andrew Butterfield and
Leo Freitas and
Jim Woodcock},
title = {Mechanising a formal model of flash memory},
journal = {Sci. Comput. Program.},
volume = {74},
number = {4},
pages = {219--237},
year = {2009},
url = {https://doi.org/10.1016/j.scico.2008.09.014},
doi = {10.1016/J.SCICO.2008.09.014},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ButterfieldFW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/GancarskiB09,
author = {Pawel Gancarski and
Andrew Butterfield},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {The Denotational Semantics of slotted-Circus},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {451--466},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_29},
doi = {10.1007/978-3-642-05089-3\_29},
timestamp = {Mon, 21 Feb 2022 14:40:51 +0100},
biburl = {https://dblp.org/rec/conf/fm/GancarskiB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icitst/BrescianiB09,
author = {Riccardo Bresciani and
Andrew Butterfield},
title = {A formal security proof for the {ZRTP} Protocol},
booktitle = {Proceedings of the 4th International Conference for Internet Technology
and Secured Transactions, {ICITST} 2009, London, UK, November 9-12,
2009},
pages = {1--6},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ICITST.2009.5402595},
doi = {10.1109/ICITST.2009.5402595},
timestamp = {Mon, 09 Aug 2021 17:01:45 +0200},
biburl = {https://dblp.org/rec/conf/icitst/BrescianiB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/ButterfieldC09,
author = {Andrew Butterfield and
Art {\'{O}} Cath{\'{a}}in},
editor = {Marcel Vin{\'{\i}}cius Medeiros Oliveira and
Jim Woodcock},
title = {Concurrent Models of Flash Memory Device Behaviour},
booktitle = {Formal Methods: Foundations and Applications, 12th Brazilian Symposium
on Formal Methods, {SBMF} 2009, Gramado, Brazil, August 19-21, 2009,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5902},
pages = {70--83},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10452-7\_6},
doi = {10.1007/978-3-642-10452-7\_6},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/ButterfieldC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sin/BrescianiB09,
author = {Riccardo Bresciani and
Andrew Butterfield},
editor = {Atilla El{\c{c}}i and
Oleg B. Makarevich and
Mehmet A. Orgun and
Alexander G. Chefranov and
Josef Pieprzyk and
Yuri Anatolievich Bryukhomitsky and
Siddika Berna {\"{O}}rs},
title = {Weakening the Dolev-Yao model through probability},
booktitle = {Proceedings of the 2nd International Conference on Security of Information
and Networks, {SIN} 2009, Gazimagusa, North Cyprus, October 6-10,
2009},
pages = {293--297},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1626195.1626265},
doi = {10.1145/1626195.1626265},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sin/BrescianiB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/ButterfieldGW09,
author = {Andrew Butterfield and
Pawel Gancarski and
Jim Woodcock},
editor = {Wei{-}Ngan Chin and
Shengchao Qin},
title = {State Visibility and Communication in Unifying Theories of Programming},
booktitle = {{TASE} 2009, Third {IEEE} International Symposium on Theoretical Aspects
of Software Engineering, 29-31 July 2009, Tianjin, China},
pages = {47--54},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/TASE.2009.57},
doi = {10.1109/TASE.2009.57},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/ButterfieldGW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/FreitasWB08,
author = {Leo Freitas and
Jim Woodcock and
Andrew Butterfield},
title = {{POSIX} and the Verification Grand Challenge: {A} Roadmap},
booktitle = {13th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland},
pages = {153--162},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICECCS.2008.35},
doi = {10.1109/ICECCS.2008.35},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/FreitasWB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/ButterfieldBA07,
author = {Andrew Butterfield and
Juan Bicarregui and
Alvaro Arenas},
title = {Foreword: Selected papers from the ninth international workshop on
formal methods for industrial critical systems {(FMICS} 04), Linz,
Austria},
journal = {Formal Methods Syst. Des.},
volume = {30},
number = {3},
pages = {177--178},
year = {2007},
url = {https://doi.org/10.1007/s10703-006-0032-z},
doi = {10.1007/S10703-006-0032-Z},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/ButterfieldBA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Butterfield07,
author = {Andrew Butterfield},
editor = {Cliff B. Jones and
Zhiming Liu and
Jim Woodcock},
title = {A Denotational Semantics for Handel-C},
booktitle = {Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines
Bj{\o}rner and Chaochen Zhou on the Occasion of Their 70th Birthdays,
Papers presented at a Symposium held in Macao, China, September 24-25,
2007},
series = {Lecture Notes in Computer Science},
volume = {4700},
pages = {45--66},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75221-9\_3},
doi = {10.1007/978-3-540-75221-9\_3},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Butterfield07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/ButterfieldW07,
author = {Andrew Butterfield and
Jim Woodcock},
title = {Formalising Flash Memory: First Steps},
booktitle = {12th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2007), 10-14 July 2007, Auckland, New Zealand},
pages = {251--260},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICECCS.2007.23},
doi = {10.1109/ICECCS.2007.23},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/ButterfieldW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/ButterfieldSW07,
author = {Andrew Butterfield and
Adnan Sherif and
Jim Woodcock},
editor = {Jim Davies and
Jeremy Gibbons},
title = {Slotted-Circus},
booktitle = {Integrated Formal Methods, 6th International Conference, {IFM} 2007,
Oxford, UK, July 2-5, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4591},
pages = {75--97},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73210-5\_5},
doi = {10.1007/978-3-540-73210-5\_5},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/ButterfieldSW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifl/2006,
editor = {Zolt{\'{a}}n Horv{\'{a}}th and
Vikt{\'{o}}ria Zs{\'{o}}k and
Andrew Butterfield},
title = {Implementation and Application of Functional Languages, 18th International
Symp osium, {IFL} 2006, Budapest, Hungary, September 4-6, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4449},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74130-5},
doi = {10.1007/978-3-540-74130-5},
isbn = {978-3-540-74129-9},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifl/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/DowseB06,
author = {Malcolm Dowse and
Andrew Butterfield},
editor = {John H. Reppy and
Julia Lawall},
title = {Modelling deterministic concurrent {I/O}},
booktitle = {Proceedings of the 11th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2006, Portland, Oregon, USA, September
16-21, 2006},
pages = {148--159},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1159803.1159823},
doi = {10.1145/1159803.1159823},
timestamp = {Mon, 17 Jan 2022 15:20:18 +0100},
biburl = {https://dblp.org/rec/conf/icfp/DowseB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/TyrrellMBH06,
author = {Malcolm Tyrrell and
Joseph M. Morris and
Andrew Butterfield and
Arthur Hughes},
editor = {Kamel Barkaoui and
Ana Cavalcanti and
Antonio Cerone},
title = {A Lattice-Theoretic Model for an Algebra of Communicating Sequential
Processes},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2006, Third International
Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4281},
pages = {123--137},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11921240\_9},
doi = {10.1007/11921240\_9},
timestamp = {Mon, 21 Feb 2022 14:40:49 +0100},
biburl = {https://dblp.org/rec/conf/ictac/TyrrellMBH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifl/2005,
editor = {Andrew Butterfield and
Clemens Grelck and
Frank Huch},
title = {Implementation and Application of Functional Languages, 17th International
Workshop, {IFL} 2005, Dublin, Ireland, September 19-21, 2005, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4015},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11964681},
doi = {10.1007/11964681},
isbn = {3-540-69174-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifl/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/ButterfieldW05,
author = {Andrew Butterfield and
Jim Woodcock},
title = {prialt in Handel-C: an operational semantics},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {7},
number = {3},
pages = {248--267},
year = {2005},
url = {https://doi.org/10.1007/s10009-004-0181-6},
doi = {10.1007/S10009-004-0181-6},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/ButterfieldW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmics/2004,
editor = {Juan Bicarregui and
Andrew Butterfield and
Alvaro Arenas},
title = {Proceedings of the Ninth International Workshop on Formal Methods
for Industrial Critical Systems, {FMICS} 2004, Linz, Austria, September
20-21, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {133},
publisher = {Elsevier},
year = {2005},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/133/suppl/C},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmics/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/ButterfieldVLLWIH04,
author = {Andrew Butterfield and
Vivek Vedagiri and
Edward Lang and
Cath Lawrence and
Matthew J. Wakefield and
Alexander Isaev and
Gavin A. Huttley},
title = {PyEvolve: a toolkit for statistical modelling of molecular evolution},
journal = {{BMC} Bioinform.},
volume = {5},
pages = {1},
year = {2004},
url = {https://doi.org/10.1186/1471-2105-5-1},
doi = {10.1186/1471-2105-5-1},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bmcbi/ButterfieldVLLWIH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/DowseBE04,
author = {Malcolm Dowse and
Andrew Butterfield and
Marko C. J. D. van Eekelen},
editor = {Clemens Grelck and
Frank Huch and
Greg Michaelson and
Philip W. Trinder},
title = {Reasoning About Deterministic Concurrent Functional {I/O}},
booktitle = {Implementation and Application of Functional Languages, 16th International
Workshop, {IFL} 2004, L{\"{u}}beck, Germany, September 8-10,
2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3474},
pages = {177--194},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11431664\_11},
doi = {10.1007/11431664\_11},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/ifl/DowseBE04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BicarreguiBA05,
author = {Juan Bicarregui and
Andrew Butterfield and
Alvaro Arenas},
editor = {Juan Bicarregui and
Andrew Butterfield and
Alvaro Arenas},
title = {Preface},
booktitle = {Proceedings of the Ninth International Workshop on Formal Methods
for Industrial Critical Systems, {FMICS} 2004, Linz, Austria, September
20-21, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {133},
pages = {1--2},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.08.054},
doi = {10.1016/J.ENTCS.2004.08.054},
timestamp = {Tue, 06 Dec 2022 10:19:52 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BicarreguiBA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ButterfieldW06,
author = {Andrew Butterfield and
Jim Woodcock},
editor = {Anthony Karel Seda and
Ted Hurley and
Michel P. Schellekens and
M{\'{\i}}che{\'{a}}l Mac an Airchinnigh and
Glenn Strong},
title = {A "Hardware Compiler" Semantics for Handel-C},
booktitle = {Proceedings of the Third Irish Conference on the Mathematical Foundations
of Computer Science and Information Technology, {MFCSIT} 2004, Dublin,
Ireland, July 22-23, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {161},
pages = {73--90},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2006.04.026},
doi = {10.1016/J.ENTCS.2006.04.026},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/ButterfieldW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ButterfieldW03,
author = {Andrew Butterfield and
Jim Woodcock},
editor = {Thomas Arts and
Wan J. Fokkink},
title = {An Operational Semantics for Handel-C},
booktitle = {Eighth International Workshop on Formal Methods for Industrial Critical
Systems, {FMICS} 2003, Roros, Norway, June 5-7, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {80},
pages = {235--250},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80821-1},
doi = {10.1016/S1571-0661(04)80821-1},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ButterfieldW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Butterfield03,
author = {Andrew Butterfield},
editor = {Thomas Arts and
Wan J. Fokkink},
title = {Formal Methods for Industrial Critical Systems at Trinity College,
University of Dublin},
booktitle = {Eighth International Workshop on Formal Methods for Industrial Critical
Systems, {FMICS} 2003, Roros, Norway, June 5-7, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {80},
pages = {299--303},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80830-2},
doi = {10.1016/S1571-0661(04)80830-2},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Butterfield03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/DowseSB02,
author = {Malcolm Dowse and
Glenn Strong and
Andrew Butterfield},
editor = {Ricardo Pena and
Thomas Arts},
title = {Proving Make Correct: {I/O} Proofs in Haskell and Clean},
booktitle = {Implementation of Functional Languages, 14th International Workshop,
{IFL} 2002, Madrid, Spain, September 16-18, 2002, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {2670},
pages = {68--83},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-44854-3\_5},
doi = {10.1007/3-540-44854-3\_5},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/ifl/DowseSB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ButterfieldW02,
author = {Andrew Butterfield and
Jim Woodcock},
editor = {Sharon Flynn and
Ted Hurley and
M{\'{\i}}che{\'{a}}l Mac an Airchinnigh and
Niall Madden and
Michael McGettrick and
Michel P. Schellekens and
Anthony Karel Seda},
title = {Semantic domains for Handel-C},
booktitle = {Second Irish Conference on the Mathematical Foundations of Computer
Science and Information Technology, {MFCSIT} 2002, Galway, Ireland,
July 18-19, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {74},
pages = {1--20},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80762-X},
doi = {10.1016/S1571-0661(04)80762-X},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ButterfieldW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/ButterfieldS01,
author = {Andrew Butterfield and
Glenn Strong},
editor = {Thomas Arts and
Markus Mohnen},
title = {Proving Correctness of Programs with {IO} - {A} Paradigm Comparison},
booktitle = {Implementation of Functional Languages, 13th International Workshop,
{IFL} 2002 Stockholm, Sweden, September 24-26, 2001, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2312},
pages = {72--87},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-46028-4\_5},
doi = {10.1007/3-540-46028-4\_5},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/ifl/ButterfieldS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iwfm/2001,
editor = {Andrew Butterfield and
Glenn Strong and
Claus Pahl},
title = {5th Irish Workshop on Formal Methods, {IWFM} 2001, Dublin, Ireland,
16-17 July 2001},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2001},
timestamp = {Thu, 25 Mar 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwfm/2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/room/TyrrellBD00,
author = {Malcolm Tyrrell and
Andrew Butterfield and
Alexis Donnelly},
title = {OO-Motivated Process Algebra: {A} Calculus for CORBA-like Systems},
booktitle = {Rigorous Object-Oriented Methods, {ROOM} 2000, York, UK, 17 January
2000},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2000},
url = {http://ewic.bcs.org/content/ConWebDoc/4215},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/room/TyrrellBD00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iwfm/1999,
editor = {Andrew Butterfield and
Klemens Haegele},
title = {3rd Irish Workshop on Formal Methods, Galway, Ireland, July 1999},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {1999},
timestamp = {Tue, 19 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iwfm/1998,
editor = {Sharon Flynn and
Andrew Butterfield},
title = {2nd Irish Workshop on Formal Methods, Cork, Ireland, 2-3 July 1998},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {1998},
timestamp = {Tue, 19 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/1998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Butterfield93,
author = {Andrew Butterfield},
editor = {Jim Woodcock and
Peter Gorm Larsen},
title = {A {VDM} Study of Fault-Tolerant Stable Storage - Towards a Computer
Engineering Mathematics},
booktitle = {{FME} '93: Industrial-Strength Formal Methods, First International
Symposium of Formal Methods Europe, Odense, Denmark, April 19-23,
1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {670},
pages = {216--234},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0024648},
doi = {10.1007/BFB0024648},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/Butterfield93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-25 01:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
