Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: John Derrick
@inproceedings{DBLP:conf/vmcai/BodenmullerDDSW24, author = {Stefan Bodenm{\"{u}}ller and John Derrick and Brijesh Dongol and Gerhard Schellhorn and Heike Wehrheim}, editor = {Rayna Dimitrova and Ori Lahav and Sebastian Wolff}, title = {A Fully Verified Persistency Library}, booktitle = {Verification, Model Checking, and Abstract Interpretation - 25th International Conference, {VMCAI} 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {14500}, pages = {26--47}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-50521-8\_2}, doi = {10.1007/978-3-031-50521-8\_2}, timestamp = {Fri, 26 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/vmcai/BodenmullerDDSW24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lmcs/BilaDDDSW22, author = {Eleni Bila and John Derrick and Simon Doherty and Brijesh Dongol and Gerhard Schellhorn and Heike Wehrheim}, title = {Modularising Verification Of Durable Opacity}, journal = {Log. Methods Comput. Sci.}, volume = {18}, number = {3}, year = {2022}, url = {https://doi.org/10.46298/lmcs-18(3:7)2022}, doi = {10.46298/LMCS-18(3:7)2022}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lmcs/BilaDDDSW22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/DerrickDDSW21, author = {John Derrick and Simon Doherty and Brijesh Dongol and Gerhard Schellhorn and Heike Wehrheim}, title = {Verifying correctness of persistent concurrent data structures: a sound and complete method}, journal = {Formal Aspects Comput.}, volume = {33}, number = {4-5}, pages = {547--573}, year = {2021}, url = {https://doi.org/10.1007/s00165-021-00541-8}, doi = {10.1007/S00165-021-00541-8}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/DerrickDDSW21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pts/FosterDW21, author = {Michael Foster and John Derrick and Neil Walkinshaw}, editor = {David Clark and H{\'{e}}ctor D. Men{\'{e}}ndez and Ana Rosa Cavalli}, title = {Reverse-Engineering EFSMs with Data Dependencies}, booktitle = {Testing Software and Systems - 33rd {IFIP} {WG} 6.1 International Conference, {ICTSS} 2021, London, UK, November 10-12, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13045}, pages = {37--54}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-031-04673-5\_3}, doi = {10.1007/978-3-031-04673-5\_3}, timestamp = {Wed, 28 Dec 2022 14:29:12 +0100}, biburl = {https://dblp.org/rec/conf/pts/FosterDW21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wdag/DerrickDDSW21, author = {John Derrick and Simon Doherty and Brijesh Dongol and Gerhard Schellhorn and Heike Wehrheim}, editor = {Seth Gilbert}, title = {Brief Announcement: On Strong Observational Refinement and Forward Simulation}, booktitle = {35th International Symposium on Distributed Computing, {DISC} 2021, October 4-8, 2021, Freiburg, Germany (Virtual Conference)}, series = {LIPIcs}, volume = {209}, pages = {55:1--55:4}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2021}, url = {https://doi.org/10.4230/LIPIcs.DISC.2021.55}, doi = {10.4230/LIPICS.DISC.2021.55}, timestamp = {Wed, 03 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wdag/DerrickDDSW21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2107-14509, author = {John Derrick and Simon Doherty and Brijesh Dongol and Gerhard Schellhorn and Heike Wehrheim}, title = {On Strong Observational Refinement and Forward Simulation}, journal = {CoRR}, volume = {abs/2107.14509}, year = {2021}, url = {https://arxiv.org/abs/2107.14509}, eprinttype = {arXiv}, eprint = {2107.14509}, timestamp = {Tue, 03 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2107-14509.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/afp/FosterBTD20, author = {Michael Foster and Achim D. Brucker and Ramsay G. Taylor and John Derrick}, title = {Inference of Extended Finite State Machines}, journal = {Arch. Formal Proofs}, volume = {2020}, year = {2020}, url = {https://www.isa-afp.org/entries/Extended\_Finite\_State\_Machine\_Inference.html}, timestamp = {Thu, 10 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/afp/FosterBTD20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/afp/FosterBTD20a, author = {Michael Foster and Achim D. Brucker and Ramsay G. Taylor and John Derrick}, title = {A Formal Model of Extended Finite State Machines}, journal = {Arch. Formal Proofs}, volume = {2020}, year = {2020}, url = {https://www.isa-afp.org/entries/Extended\_Finite\_State\_Machines.html}, timestamp = {Thu, 10 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/afp/FosterBTD20a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/BilaDDDSW20, author = {Eleni Bila and Simon Doherty and Brijesh Dongol and John Derrick and Gerhard Schellhorn and Heike Wehrheim}, editor = {Alexey Gotsman and Ana Sokolova}, title = {Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory}, booktitle = {Formal Techniques for Distributed Objects, Components, and Systems - 40th {IFIP} {WG} 6.1 International Conference, {FORTE} 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12136}, pages = {39--58}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-50086-3\_3}, doi = {10.1007/978-3-030-50086-3\_3}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/forte/BilaDDDSW20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2004-08200, author = {Eleni Bila and Simon Doherty and Brijesh Dongol and John Derrick and Gerhard Schellhorn and Heike Wehrheim}, title = {Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory}, journal = {CoRR}, volume = {abs/2004.08200}, year = {2020}, url = {https://arxiv.org/abs/2004.08200}, eprinttype = {arXiv}, eprint = {2004.08200}, timestamp = {Tue, 21 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2004-08200.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2011-15013, author = {Eleni Bila and John Derrick and Simon Doherty and Brijesh Dongol and Gerhard Schellhorn and Heike Wehrheim}, title = {Modularising Verification Of Durable Opacity}, journal = {CoRR}, volume = {abs/2011.15013}, year = {2020}, url = {https://arxiv.org/abs/2011.15013}, eprinttype = {arXiv}, eprint = {2011.15013}, timestamp = {Tue, 01 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2011-15013.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/WinterSD19, author = {Kirsten Winter and Graeme Smith and John Derrick}, title = {Modelling concurrent objects running on the {TSO} and ARMv8 memory models}, journal = {Sci. Comput. Program.}, volume = {184}, year = {2019}, url = {https://doi.org/10.1016/j.scico.2019.102308}, doi = {10.1016/J.SCICO.2019.102308}, timestamp = {Thu, 07 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/scp/WinterSD19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/DerrickDDSW19, author = {John Derrick and Simon Doherty and Brijesh Dongol and Gerhard Schellhorn and Heike Wehrheim}, editor = {Maurice H. ter Beek and Annabelle McIver and Jos{\'{e}} N. Oliveira}, title = {Verifying Correctness of Persistent Concurrent Data Structures}, 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 = {179--195}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30942-8\_12}, doi = {10.1007/978-3-030-30942-8\_12}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fm/DerrickDDSW19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppopp/DohertyDWD19, author = {Simon Doherty and Brijesh Dongol and Heike Wehrheim and John Derrick}, editor = {Jeffrey K. Hollingsworth and Idit Keidar}, title = {Verifying {C11} programs operationally}, booktitle = {Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019}, pages = {355--365}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3293883.3295702}, doi = {10.1145/3293883.3295702}, timestamp = {Sun, 12 Jun 2022 19:46:08 +0200}, biburl = {https://dblp.org/rec/conf/ppopp/DohertyDWD19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/FosterBTND19, author = {Michael Foster and Achim D. Brucker and Ramsay G. Taylor and Siobh{\'{a}}n North and John Derrick}, editor = {Peter Csaba {\"{O}}lveczky and Gwen Sala{\"{u}}n}, title = {Incorporating Data into {EFSM} Inference}, booktitle = {Software Engineering and Formal Methods - 17th International Conference, {SEFM} 2019, Oslo, Norway, September 18-20, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11724}, pages = {257--272}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30446-1\_14}, doi = {10.1007/978-3-030-30446-1\_14}, timestamp = {Mon, 23 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sefm/FosterBTND19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/DerrickDDSTW18, author = {John Derrick and Simon Doherty and Brijesh Dongol and Gerhard Schellhorn and Oleg Travkin and Heike Wehrheim}, title = {Mechanized proofs of opacity: a comparison of two techniques}, journal = {Formal Aspects Comput.}, volume = {30}, number = {5}, pages = {597--625}, year = {2018}, url = {https://doi.org/10.1007/s00165-017-0433-3}, doi = {10.1007/S00165-017-0433-3}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/DerrickDDSTW18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfem/FosterTBD18, author = {Michael Foster and Ramsay G. Taylor and Achim D. Brucker and John Derrick}, editor = {Jing Sun and Meng Sun}, title = {Formalising Extended Finite State Machine Transition Merging}, booktitle = {Formal Methods and Software Engineering - 20th International Conference on Formal Engineering Methods, {ICFEM} 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11232}, pages = {373--387}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-02450-5\_22}, doi = {10.1007/978-3-030-02450-5\_22}, timestamp = {Tue, 14 May 2019 10:00:50 +0200}, biburl = {https://dblp.org/rec/conf/icfem/FosterTBD18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifm/DohertyDWD18, author = {Simon Doherty and Brijesh Dongol and Heike Wehrheim and John Derrick}, editor = {Carlo A. Furia and Kirsten Winter}, title = {Making Linearizability Compositional for Partially Ordered Executions}, booktitle = {Integrated Formal Methods - 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11023}, pages = {110--129}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-98938-9\_7}, doi = {10.1007/978-3-319-98938-9\_7}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifm/DohertyDWD18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tase/WinterSD18, author = {Kirsten Winter and Graeme Smith and John Derrick}, editor = {Jun Pang and Chenyi Zhang and Jifeng He and Jian Weng}, title = {Observational Models for Linearizability Checking on Weak Memory Models}, booktitle = {2018 International Symposium on Theoretical Aspects of Software Engineering, {TASE} 2018, Guangzhou, China, August 29-31, 2018}, pages = {100--107}, publisher = {{IEEE} Computer Society}, year = {2018}, url = {https://doi.org/10.1109/TASE.2018.00021}, doi = {10.1109/TASE.2018.00021}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tase/WinterSD18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wdag/DohertyDWD18, author = {Simon Doherty and Brijesh Dongol and Heike Wehrheim and John Derrick}, editor = {Ulrich Schmid and Josef Widder}, title = {Brief Announcement: Generalising Concurrent Correctness to Weak Memory}, booktitle = {32nd International Symposium on Distributed Computing, {DISC} 2018, New Orleans, LA, USA, October 15-19, 2018}, series = {LIPIcs}, volume = {121}, pages = {45:1--45:3}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2018}, url = {https://doi.org/10.4230/LIPIcs.DISC.2018.45}, doi = {10.4230/LIPICS.DISC.2018.45}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wdag/DohertyDWD18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:journals/corr/abs-1810-08739, editor = {John Derrick and Brijesh Dongol and Steve Reeves}, title = {Proceedings 18th Refinement Workshop, Refine@FM 2018, Oxford, UK, 18th July 2018}, series = {{EPTCS}}, volume = {282}, year = {2018}, url = {https://doi.org/10.4204/EPTCS.282}, doi = {10.4204/EPTCS.282}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1810-08739.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1802-01866, author = {Simon Doherty and John Derrick and Brijesh Dongol and Heike Wehrheim}, title = {Causal Linearizability: Compositionality for Partially Ordered Executions}, journal = {CoRR}, volume = {abs/1802.01866}, year = {2018}, url = {http://arxiv.org/abs/1802.01866}, eprinttype = {arXiv}, eprint = {1802.01866}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1802-01866.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1811-09143, author = {Simon Doherty and Brijesh Dongol and Heike Wehrheim and John Derrick}, title = {Verifying {C11} Programs Operationally}, journal = {CoRR}, volume = {abs/1811.09143}, year = {2018}, url = {http://arxiv.org/abs/1811.09143}, eprinttype = {arXiv}, eprint = {1811.09143}, timestamp = {Fri, 30 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1811-09143.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/DerrickS17, author = {John Derrick and Graeme Smith}, editor = {Ahmed Bouajjani and Alexandra Silva}, title = {An Observational Approach to Defining Linearizability on Weak Memory Models}, booktitle = {Formal Techniques for Distributed Objects, Components, and Systems - 37th {IFIP} {WG} 6.1 International Conference, {FORTE} 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuch{\^{a}}tel, Switzerland, June 19-22, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10321}, pages = {108--123}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-60225-7\_8}, doi = {10.1007/978-3-319-60225-7\_8}, timestamp = {Thu, 07 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/forte/DerrickS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/17/DerrickSGD17, author = {John Derrick and Graeme Smith and Lindsay Groves and Brijesh Dongol}, editor = {Michael G. Hinchey and Jonathan P. Bowen and Ernst{-}R{\"{u}}diger Olderog}, title = {A Proof Method for Linearizability on {TSO} Architectures}, booktitle = {Provably Correct Systems}, series = {{NASA} Monographs in Systems and Software Engineering}, pages = {61--91}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-48628-4\_4}, doi = {10.1007/978-3-319-48628-4\_4}, timestamp = {Thu, 07 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/sp/17/DerrickSGD17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ese/WalkinshawTD16, author = {Neil Walkinshaw and Ramsay Taylor and John Derrick}, title = {Inferring extended finite state machine models from software executions}, journal = {Empir. Softw. Eng.}, volume = {21}, number = {3}, pages = {811--853}, year = {2016}, url = {https://doi.org/10.1007/s10664-015-9367-7}, doi = {10.1007/S10664-015-9367-7}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ese/WalkinshawTD16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/opodis/DohertyDDSW16, author = {Simon Doherty and Brijesh Dongol and John Derrick and Gerhard Schellhorn and Heike Wehrheim}, editor = {Panagiota Fatourou and Ernesto Jim{\'{e}}nez and Fernando Pedone}, title = {Proving Opacity of a Pessimistic {STM}}, booktitle = {20th International Conference on Principles of Distributed Systems, {OPODIS} 2016, December 13-16, 2016, Madrid, Spain}, series = {LIPIcs}, volume = {70}, pages = {35:1--35:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2016}, url = {https://doi.org/10.4230/LIPIcs.OPODIS.2016.35}, doi = {10.4230/LIPICS.OPODIS.2016.35}, timestamp = {Tue, 11 Feb 2020 15:52:14 +0100}, biburl = {https://dblp.org/rec/conf/opodis/DohertyDDSW16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pdp/TaylorTWD16, author = {Ramsay Taylor and Emilio Tuosto and Neil Walkinshaw and John Derrick}, title = {Choreography-Based Analysis of Distributed Message Passing Programs}, booktitle = {24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, {PDP} 2016, Heraklion, Crete, Greece, February 17-19, 2016}, pages = {512--519}, publisher = {{IEEE} Computer Society}, year = {2016}, url = {https://doi.org/10.1109/PDP.2016.72}, doi = {10.1109/PDP.2016.72}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pdp/TaylorTWD16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/SmithD16, author = {Graeme Smith and John Derrick}, editor = {Sascha Ossowski}, title = {Invariant generation for linearizability proofs}, booktitle = {Proceedings of the 31st Annual {ACM} Symposium on Applied Computing, Pisa, Italy, April 4-8, 2016}, pages = {1694--1699}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/2851613.2851837}, doi = {10.1145/2851613.2851837}, timestamp = {Thu, 07 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sac/SmithD16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/DohertyD16, author = {Simon Doherty and John Derrick}, editor = {Rocco De Nicola and Eva K{\"{u}}hn}, title = {Linearizability and Causality}, booktitle = {Software Engineering and Formal Methods - 14th International Conference, {SEFM} 2016, Held as Part of {STAF} 2016, Vienna, Austria, July 4-8, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9763}, pages = {45--60}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-41591-8\_4}, doi = {10.1007/978-3-319-41591-8\_4}, timestamp = {Tue, 15 Nov 2022 15:22:36 +0100}, biburl = {https://dblp.org/rec/conf/sefm/DohertyD16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/crc/p/DerrickB16, author = {John Derrick and Eerke A. Boiten}, editor = {Luigia Petre and Emil Sekerinski}, title = {Relational Concurrent Refinement - Partial and Total Frameworks}, booktitle = {From Action Systems to Distributed Systems - The Refinement Approach}, pages = {143--154}, publisher = {Chapman and Hall/CRC}, year = {2016}, url = {https://doi.org/10.1201/b20053-15}, doi = {10.1201/B20053-15}, timestamp = {Tue, 16 May 2017 14:01:47 +0200}, biburl = {https://dblp.org/rec/books/crc/p/DerrickB16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:journals/corr/DerrickBR16, editor = {John Derrick and Eerke A. Boiten and Steve Reeves}, title = {Proceedings 17th International Workshop on Refinement, Refine@FM 2015, Oslo, Norway, 22nd June 2015}, series = {{EPTCS}}, volume = {209}, year = {2016}, url = {https://doi.org/10.4204/EPTCS.209}, doi = {10.4204/EPTCS.209}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/DerrickBR16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/DohertyD16, author = {Simon Doherty and John Derrick}, title = {Causal Linearizability}, journal = {CoRR}, volume = {abs/1604.06734}, year = {2016}, url = {http://arxiv.org/abs/1604.06734}, eprinttype = {arXiv}, eprint = {1604.06734}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/DohertyD16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/csur/DongolD15, author = {Brijesh Dongol and John Derrick}, title = {Verifying Linearisability: {A} Comparative Survey}, journal = {{ACM} Comput. Surv.}, volume = {48}, number = {2}, pages = {19:1--19:43}, year = {2015}, url = {https://doi.org/10.1145/2796550}, doi = {10.1145/2796550}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/csur/DongolD15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/DongolD15, author = {Brijesh Dongol and John Derrick}, title = {Interval-based data refinement: {A} uniform approach to true concurrency in discrete and real-time systems}, journal = {Sci. Comput. Program.}, volume = {111}, pages = {214--247}, year = {2015}, url = {https://doi.org/10.1016/j.scico.2015.05.005}, doi = {10.1016/J.SCICO.2015.05.005}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/DongolD15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecoop/DongolDGS15, author = {Brijesh Dongol and John Derrick and Lindsay Groves and Graeme Smith}, editor = {John Tang Boyland}, title = {Defining Correctness Conditions for Concurrent Objects in Multicore Architectures}, booktitle = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015, July 5-10, 2015, Prague, Czech Republic}, series = {LIPIcs}, volume = {37}, pages = {470--494}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2015}, url = {https://doi.org/10.4230/LIPIcs.ECOOP.2015.470}, doi = {10.4230/LIPICS.ECOOP.2015.470}, timestamp = {Thu, 07 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ecoop/DongolDGS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/erlang/TaylorD15, author = {Ramsay Taylor and John Derrick}, editor = {Hans Svensson and Melinda T{\'{o}}th}, title = {Smother: an {MC/DC} analysis tool for Erlang}, booktitle = {Proceedings of the 14th {ACM} {SIGPLAN} Workshop on Erlang 2015, Vancouver, BC, Canada, September 4, 2015}, pages = {13--18}, publisher = {{ACM}}, year = {2015}, url = {https://doi.org/10.1145/2804295.2804297}, doi = {10.1145/2804295.2804297}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/erlang/TaylorD15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/DerrickDSTW15, author = {John Derrick and Brijesh Dongol and Gerhard Schellhorn and Oleg Travkin and Heike Wehrheim}, editor = {Nikolaj S. Bj{\o}rner and Frank S. de Boer}, title = {Verifying Opacity of a Transactional Mutex Lock}, booktitle = {{FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9109}, pages = {161--177}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-19249-9\_11}, doi = {10.1007/978-3-319-19249-9\_11}, timestamp = {Thu, 14 Apr 2022 20:26:16 +0200}, biburl = {https://dblp.org/rec/conf/fm/DerrickDSTW15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/DerrickS15, author = {John Derrick and Graeme Smith}, editor = {Nikolaj S. Bj{\o}rner and Frank S. de Boer}, title = {A Framework for Correctness Criteria on Weak Memory Models}, booktitle = {{FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9109}, pages = {178--194}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-19249-9\_12}, doi = {10.1007/978-3-319-19249-9\_12}, timestamp = {Thu, 07 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fm/DerrickS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pts/TaylorD15, author = {Ramsay Taylor and John Derrick}, editor = {Khaled El{-}Fakih and Gerassimos D. Barlas and Nina Yevtushenko}, title = {mu2: {A} Refactoring-Based Mutation Testing Framework for Erlang}, booktitle = {Testing Software and Systems - 27th {IFIP} {WG} 6.1 International Conference, {ICTSS} 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9447}, pages = {178--193}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-25945-1\_11}, doi = {10.1007/978-3-319-25945-1\_11}, timestamp = {Thu, 27 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pts/TaylorD15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:books/daglib/0032291, author = {John Derrick and Eerke A. Boiten}, title = {Refinement in {Z} and Object-Z - Foundations and Advanced Applications {(2.} ed.)}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-1-4471-5355-9}, doi = {10.1007/978-1-4471-5355-9}, isbn = {978-1-4471-5354-2}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/daglib/0032291.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/BoitenDR14, author = {Eerke A. Boiten and John Derrick and Steve Reeves}, title = {Editorial}, journal = {Formal Aspects Comput.}, volume = {26}, number = {2}, pages = {195}, year = {2014}, url = {https://doi.org/10.1007/s00165-014-0293-z}, doi = {10.1007/S00165-014-0293-Z}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/BoitenDR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/DerrickB14, author = {John Derrick and Eerke A. Boiten}, title = {Relational concurrent refinement part {III:} traces, partial relations and automata}, journal = {Formal Aspects Comput.}, volume = {26}, number = {2}, pages = {407--432}, year = {2014}, url = {https://doi.org/10.1007/s00165-012-0262-3}, doi = {10.1007/S00165-012-0262-3}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/DerrickB14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/DongolHD14, author = {Brijesh Dongol and Ian J. Hayes and John Derrick}, title = {Deriving real-time action systems with multiple time bands using algebraic reasoning}, journal = {Sci. Comput. Program.}, volume = {85}, pages = {137--165}, year = {2014}, url = {https://doi.org/10.1016/j.scico.2013.08.009}, doi = {10.1016/J.SCICO.2013.08.009}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/DongolHD14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tocl/SchellhornDW14, author = {Gerhard Schellhorn and John Derrick and Heike Wehrheim}, title = {A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures}, journal = {{ACM} Trans. Comput. Log.}, volume = {15}, number = {4}, pages = {31:1--31:37}, year = {2014}, url = {https://doi.org/10.1145/2629496}, doi = {10.1145/2629496}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tocl/SchellhornDW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/erlang/SeijasTTBD14, author = {Pablo Lamela Seijas and Simon J. Thompson and Ramsay Taylor and Kirill Bogdanov and John Derrick}, editor = {Laura M. Castro and Hans Svensson}, title = {Synapse: automatic behaviour inference and implementation comparison for Erlang}, booktitle = {Proceedings of the Thirteenth {ACM} {SIGPLAN} workshop on Erlang, Gothenburg, Sweden, September 5, 2014}, pages = {73--74}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2633448.2633457}, doi = {10.1145/2633448.2633457}, timestamp = {Thu, 18 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/erlang/SeijasTTBD14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/facs2/SmithDD14, author = {Graeme Smith and John Derrick and Brijesh Dongol}, editor = {Ivan Lanese and Eric Madelaine}, title = {Admit Your Weakness: Verifying Correctness on {TSO} Architectures}, booktitle = {Formal Aspects of Component Software - 11th International Symposium, {FACS} 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {8997}, pages = {364--383}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-15317-9\_22}, doi = {10.1007/978-3-319-15317-9\_22}, timestamp = {Thu, 07 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/facs2/SmithDD14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/DerrickDSTTW14, author = {John Derrick and Brijesh Dongol and Gerhard Schellhorn and Bogdan Tofan and Oleg Travkin and Heike Wehrheim}, editor = {Cliff B. Jones and Pekka Pihlajasaari and Jun Sun}, title = {Quiescent Consistency: Defining and Verifying Relaxed Linearizability}, booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8442}, pages = {200--214}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-06410-9\_15}, doi = {10.1007/978-3-319-06410-9\_15}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fm/DerrickDSTTW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hvc/DerrickSGD14, author = {John Derrick and Graeme Smith and Lindsay Groves and Brijesh Dongol}, editor = {Eran Yahav}, title = {Using Coarse-Grained Abstractions to Verify Linearizability on {TSO} Architectures}, booktitle = {Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8855}, pages = {1--16}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-13338-6\_1}, doi = {10.1007/978-3-319-13338-6\_1}, timestamp = {Thu, 07 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hvc/DerrickSGD14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictac/DongolDS14, author = {Brijesh Dongol and John Derrick and Graeme Smith}, editor = {Gabriel Ciobanu and Dominique M{\'{e}}ry}, title = {Reasoning Algebraically About Refinement on {TSO} Architectures}, booktitle = {Theoretical Aspects of Computing - {ICTAC} 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8687}, pages = {151--168}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10882-7\_10}, doi = {10.1007/978-3-319-10882-7\_10}, timestamp = {Thu, 07 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ictac/DongolDS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifm/DerrickSD14, author = {John Derrick and Graeme Smith and Brijesh Dongol}, editor = {Elvira Albert and Emil Sekerinski}, title = {Verifying Linearizability on {TSO} Architectures}, booktitle = {Integrated Formal Methods - 11th International Conference, {IFM} 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8739}, pages = {341--356}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10181-1\_21}, doi = {10.1007/978-3-319-10181-1\_21}, timestamp = {Thu, 07 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifm/DerrickSD14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/DongolD14, author = {Brijesh Dongol and John Derrick}, title = {Verifying linearizability: {A} comparative survey}, journal = {CoRR}, volume = {abs/1410.6268}, year = {2014}, url = {http://arxiv.org/abs/1410.6268}, eprinttype = {arXiv}, eprint = {1410.6268}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/DongolD14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/csi/BoitenD13, author = {Eerke A. Boiten and John Derrick}, title = {From {ODP} viewpoint consistency to Integrated Formal Methods}, journal = {Comput. Stand. Interfaces}, volume = {35}, number = {3}, pages = {269--276}, year = {2013}, url = {https://doi.org/10.1016/j.csi.2011.10.015}, doi = {10.1016/J.CSI.2011.10.015}, timestamp = {Thu, 20 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/csi/BoitenD13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/DongolD13, author = {Brijesh Dongol and John Derrick}, title = {Simplifying proofs of linearisability using layers of abstraction}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {66}, year = {2013}, url = {https://doi.org/10.14279/tuj.eceasst.66.889}, doi = {10.14279/TUJ.ECEASST.66.889}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/DongolD13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictac/DongolTDW13, author = {Brijesh Dongol and Oleg Travkin and John Derrick and Heike Wehrheim}, editor = {Zhiming Liu and Jim Woodcock and Huibiao Zhu}, title = {A High-Level Semantics for Program Execution under Total Store Order Memory}, 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 = {177--194}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-39718-9\_11}, doi = {10.1007/978-3-642-39718-9\_11}, timestamp = {Fri, 17 Feb 2023 09:02:01 +0100}, biburl = {https://dblp.org/rec/conf/ictac/DongolTDW13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifm/TaylorBD13, author = {Ramsay Taylor and Kirill Bogdanov and John Derrick}, editor = {Einar Broch Johnsen and Luigia Petre}, title = {Automatic Inference of Erlang Module Behaviour}, booktitle = {Integrated Formal Methods, 10th International Conference, {IFM} 2013, Turku, Finland, June 10-14, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7940}, pages = {253--267}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-38613-8\_18}, doi = {10.1007/978-3-642-38613-8\_18}, timestamp = {Thu, 18 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifm/TaylorBD13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wcre/WalkinshawTD13, author = {Neil Walkinshaw and Ramsay Taylor and John Derrick}, editor = {Ralf L{\"{a}}mmel and Rocco Oliveto and Romain Robbes}, title = {Inferring Extended Finite State Machine models from software executions}, booktitle = {20th Working Conference on Reverse Engineering, {WCRE} 2013, Koblenz, Germany, October 14-17, 2013}, pages = {301--310}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/WCRE.2013.6671305}, doi = {10.1109/WCRE.2013.6671305}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wcre/WalkinshawTD13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1305-6111, author = {Brijesh Dongol and John Derrick}, editor = {John Derrick and Eerke A. Boiten and Steve Reeves}, title = {Data refinement for true concurrency}, booktitle = {Proceedings 16th International Refinement Workshop, Refine@IFM 2013, Turku, Finland, 11th June 2013}, series = {{EPTCS}}, volume = {115}, pages = {15--35}, year = {2013}, url = {https://doi.org/10.4204/EPTCS.115.2}, doi = {10.4204/EPTCS.115.2}, timestamp = {Sun, 25 Jul 2021 11:39:08 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1305-6111.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:journals/corr/abs-1305-5634, editor = {John Derrick and Eerke A. Boiten and Steve Reeves}, title = {Proceedings 16th International Refinement Workshop, Refine@IFM 2013, Turku, Finland, 11th June 2013}, series = {{EPTCS}}, volume = {115}, year = {2013}, url = {https://doi.org/10.4204/EPTCS.115}, doi = {10.4204/EPTCS.115}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1305-5634.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/DongolD13, author = {Brijesh Dongol and John Derrick}, title = {Simplifying proofs of linearisability using layers of abstraction}, journal = {CoRR}, volume = {abs/1307.6958}, year = {2013}, url = {http://arxiv.org/abs/1307.6958}, eprinttype = {arXiv}, eprint = {1307.6958}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/DongolD13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/DongolDH12, author = {Brijesh Dongol and John Derrick and Ian J. Hayes}, title = {Fractional Permissions and Non-Deterministic Evaluators in Interval Temporal Logic}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {53}, year = {2012}, url = {https://doi.org/10.14279/tuj.eceasst.53.792}, doi = {10.14279/TUJ.ECEASST.53.792}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/DongolDH12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/BoitenDDR12, author = {Eerke A. Boiten and John Derrick and Jin Song Dong and Steve Reeves}, title = {Editorial}, journal = {Formal Aspects Comput.}, volume = {24}, number = {1}, pages = {1}, year = {2012}, url = {https://doi.org/10.1007/s00165-011-0220-5}, doi = {10.1007/S00165-011-0220-5}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/BoitenDDR12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/DerrickS12, author = {John Derrick and Graeme Smith}, title = {Temporal-logic property preservation under {Z} refinement}, journal = {Formal Aspects Comput.}, volume = {24}, number = {3}, pages = {393--416}, year = {2012}, url = {https://doi.org/10.1007/s00165-011-0177-4}, doi = {10.1007/S00165-011-0177-4}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/DerrickS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/SchellhornWD12, author = {Gerhard Schellhorn and Heike Wehrheim and John Derrick}, editor = {P. Madhusudan and Sanjit A. Seshia}, title = {How to Prove Algorithms Linearisable}, booktitle = {Computer Aided Verification - 24th International Conference, {CAV} 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7358}, pages = {243--259}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-31424-7\_21}, doi = {10.1007/978-3-642-31424-7\_21}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/cav/SchellhornWD12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pts/TaylorHBD12, author = {Ramsay Taylor and Mathew Hall and Kirill Bogdanov and John Derrick}, editor = {Brian Nielsen and Carsten Weise}, title = {Using Behaviour Inference to Optimise Regression Test Sets}, booktitle = {Testing Software and Systems - 24th {IFIP} {WG} 6.1 International Conference, {ICTSS} 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7641}, pages = {184--199}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-34691-0\_14}, doi = {10.1007/978-3-642-34691-0\_14}, timestamp = {Sat, 30 Sep 2023 09:55:01 +0200}, biburl = {https://dblp.org/rec/conf/pts/TaylorHBD12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/asm/2012, editor = {John Derrick and John S. Fitzgerald and Stefania Gnesi and Sarfraz Khurshid and Michael Leuschel and Steve Reeves and Elvinia Riccobene}, title = {Abstract State Machines, Alloy, B, VDM, and {Z} - Third International Conference, {ABZ} 2012, Pisa, Italy, June 18-21, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7316}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-30885-7}, doi = {10.1007/978-3-642-30885-7}, isbn = {978-3-642-30884-0}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/asm/2012.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ifm/2012, editor = {John Derrick and Stefania Gnesi and Diego Latella and Helen Treharne}, title = {Integrated Formal Methods - 9th International Conference, {IFM} 2012, Pisa, Italy, June 18-21, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7321}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-30729-4}, doi = {10.1007/978-3-642-30729-4}, isbn = {978-3-642-30728-7}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifm/2012.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1212-5116, author = {Brijesh Dongol and John Derrick}, title = {Proving linearisability via coarse-grained abstraction}, journal = {CoRR}, volume = {abs/1212.5116}, year = {2012}, url = {http://arxiv.org/abs/1212.5116}, eprinttype = {arXiv}, eprint = {1212.5116}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1212-5116.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/DerrickNS11, author = {John Derrick and Siobh{\'{a}}n North and Anthony J. H. Simons}, title = {{Z2SAL:} a translation-based model checker for {Z}}, journal = {Formal Aspects Comput.}, volume = {23}, number = {1}, pages = {43--71}, year = {2011}, url = {https://doi.org/10.1007/s00165-009-0126-7}, doi = {10.1007/S00165-009-0126-7}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/DerrickNS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/BoitenDS11, author = {Eerke A. Boiten and John Derrick and Gerhard Schellhorn}, title = {Selected papers of the Refinement Workshop Turku {(2008)}}, journal = {Sci. Comput. Program.}, volume = {76}, number = {9}, pages = {737--738}, year = {2011}, url = {https://doi.org/10.1016/j.scico.2011.03.003}, doi = {10.1016/J.SCICO.2011.03.003}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/BoitenDS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sttt/GuoD11, author = {Qiang Guo and John Derrick}, title = {Formally based tool support for model checking Erlang applications}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {13}, number = {4}, pages = {355--376}, year = {2011}, url = {https://doi.org/10.1007/s10009-010-0179-1}, doi = {10.1007/S10009-010-0179-1}, timestamp = {Thu, 02 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sttt/GuoD11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/toplas/DerrickSW11, author = {John Derrick and Gerhard Schellhorn and Heike Wehrheim}, title = {Mechanically verified proof obligations for linearizability}, journal = {{ACM} Trans. Program. Lang. Syst.}, volume = {33}, number = {1}, pages = {4:1--4:43}, year = {2011}, url = {https://doi.org/10.1145/1889997.1890001}, doi = {10.1145/1889997.1890001}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/toplas/DerrickSW11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/DerrickSW11, author = {John Derrick and Gerhard Schellhorn and Heike Wehrheim}, editor = {Michael J. Butler and Wolfram Schulte}, title = {Verifying Linearisability with Potential Linearisation Points}, booktitle = {{FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6664}, pages = {323--337}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-21437-0\_25}, doi = {10.1007/978-3-642-21437-0\_25}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/fm/DerrickSW11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/DerrickB11, author = {John Derrick and Eerke A. Boiten}, editor = {Roberto Bruni and J{\"{u}}rgen Dingel}, title = {Relational Concurrent Refinement: Timed Refinement}, booktitle = {Formal Techniques for Distributed Systems - Joint 13th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2011, and 31st {IFIP} {WG} 6.1 International Conference, {FORTE} 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6722}, pages = {121--137}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-21461-5\_8}, doi = {10.1007/978-3-642-21461-5\_8}, timestamp = {Sun, 02 Jun 2019 21:14:32 +0200}, biburl = {https://dblp.org/rec/conf/forte/DerrickB11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1106-4092, author = {John Derrick and Siobh{\'{a}}n North and Anthony J. H. Simons}, editor = {John Derrick and Eerke A. Boiten and Steve Reeves}, title = {Building a refinement checker for {Z}}, booktitle = {Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011}, series = {{EPTCS}}, volume = {55}, pages = {37--52}, year = {2011}, url = {https://doi.org/10.4204/EPTCS.55.3}, doi = {10.4204/EPTCS.55.3}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1106-4092.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:journals/corr/abs-1106-3488, editor = {John Derrick and Eerke A. Boiten and Steve Reeves}, title = {Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011}, series = {{EPTCS}}, volume = {55}, year = {2011}, url = {https://doi.org/10.4204/EPTCS.55}, doi = {10.4204/EPTCS.55}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1106-3488.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/BoitenBDS10, author = {Eerke A. Boiten and Michael J. Butler and John Derrick and Graeme Smith}, title = {Editorial}, journal = {Formal Aspects Comput.}, volume = {22}, number = {1}, pages = {1}, year = {2010}, url = {https://doi.org/10.1007/s00165-009-0147-2}, doi = {10.1007/S00165-009-0147-2}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/BoitenBDS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/DerrickW10, author = {John Derrick and Heike Wehrheim}, title = {Model transformations across views}, journal = {Sci. Comput. Program.}, volume = {75}, number = {3}, pages = {192--210}, year = {2010}, url = {https://doi.org/10.1016/j.scico.2009.11.004}, doi = {10.1016/J.SCICO.2009.11.004}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/DerrickW10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/BoitenD10, author = {Eerke A. Boiten and John Derrick}, title = {Incompleteness of relational simulations in the blocking paradigm}, journal = {Sci. Comput. Program.}, volume = {75}, number = {12}, pages = {1262--1269}, year = {2010}, url = {https://doi.org/10.1016/j.scico.2010.07.003}, doi = {10.1016/J.SCICO.2010.07.003}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/BoitenD10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pts/WalkinshawBDP10, author = {Neil Walkinshaw and Kirill Bogdanov and John Derrick and Javier Par{\'{\i}}s}, editor = {Alexandre Petrenko and Adenilso da Silva Sim{\~{a}}o and Jos{\'{e}} Carlos Maldonado}, title = {Increasing Functional Coverage by Inductive Testing: {A} Case Study}, booktitle = {Testing Software and Systems - 22nd {IFIP} {WG} 6.1 International Conference, {ICTSS} 2010, Natal, Brazil, November 8-10, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6435}, pages = {126--141}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-16573-3\_10}, doi = {10.1007/978-3-642-16573-3\_10}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pts/WalkinshawBDP10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/taicpart/GuoDEF10, author = {Qiang Guo and John Derrick and Clara Benac Earle and Lars{-}{\AA}ke Fredlund}, editor = {Leonardo Bottaci and Gordon Fraser}, title = {Model-Checking Erlang - {A} Comparison between EtomCRL2 and McErlang}, booktitle = {Testing - Practice and Research Techniques, 5th International Academic and Industrial Conference, {TAIC} {PART} 2010, Windsor, UK, September 3-5, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6303}, pages = {23--38}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15585-7\_5}, doi = {10.1007/978-3-642-15585-7\_5}, timestamp = {Mon, 23 Nov 2020 12:33:09 +0100}, biburl = {https://dblp.org/rec/conf/taicpart/GuoDEF10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/csur/HieronsBBCDDGHKKLSVWZ09, author = {Robert M. Hierons and Kirill Bogdanov and Jonathan P. Bowen and Rance Cleaveland and John Derrick and Jeremy Dick and Marian Gheorghe and Mark Harman and Kalpesh Kapoor and Paul J. Krause and Gerald L{\"{u}}ttgen and Anthony J. H. Simons and Sergiy A. Vilkomir and Martin R. Woodward and Hussein Zedan}, title = {Using formal specifications to support testing}, journal = {{ACM} Comput. Surv.}, volume = {41}, number = {2}, pages = {9:1--9:76}, year = {2009}, url = {https://doi.org/10.1145/1459352.1459354}, doi = {10.1145/1459352.1459354}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/csur/HieronsBBCDDGHKKLSVWZ09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/BoitenDS09, author = {Eerke A. Boiten and John Derrick and Gerhard Schellhorn}, title = {Relational concurrent refinement part {II:} Internal operations and outputs}, journal = {Formal Aspects Comput.}, volume = {21}, number = {1-2}, pages = {65--102}, year = {2009}, url = {https://doi.org/10.1007/s00165-007-0066-z}, doi = {10.1007/S00165-007-0066-Z}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/BoitenDS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/WalkinshawDG09, author = {Neil Walkinshaw and John Derrick and Qiang Guo}, editor = {Ana Cavalcanti and Dennis Dams}, title = {Iterative Refinement of Reverse-Engineered Models by Model-Based Testing}, 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 = {305--320}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-05089-3\_20}, doi = {10.1007/978-3-642-05089-3\_20}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fm/WalkinshawDG09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmco/DerrickWAECFGHT09, author = {John Derrick and Neil Walkinshaw and Thomas Arts and Clara Benac Earle and Francesco Cesarini and Lars{-}{\AA}ke Fredlund and V{\'{\i}}ctor M. Gul{\'{\i}}as and John Hughes and Simon J. Thompson}, editor = {Frank S. de Boer and Marcello M. Bonsangue and Stefan Hallerstede and Michael Leuschel}, title = {Property-Based Testing - The ProTest Project}, booktitle = {Formal Methods for Components and Objects - 8th International Symposium, {FMCO} 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6286}, pages = {250--271}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-17071-3\_13}, doi = {10.1007/978-3-642-17071-3\_13}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fmco/DerrickWAECFGHT09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmco/WalkinshawD09, author = {Neil Walkinshaw and John Derrick}, editor = {Frank S. de Boer and Marcello M. Bonsangue and Stefan Hallerstede and Michael Leuschel}, title = {Incrementally Discovering Testable Specifications from Program Executions}, booktitle = {Formal Methods for Components and Objects - 8th International Symposium, {FMCO} 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6286}, pages = {272--289}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-17071-3\_14}, doi = {10.1007/978-3-642-17071-3\_14}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fmco/WalkinshawD09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifm/BoitenD09, author = {Eerke A. Boiten and John Derrick}, editor = {Michael Leuschel and Heike Wehrheim}, title = {Modelling Divergence in Relational Concurrent Refinement}, booktitle = {Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5423}, pages = {183--199}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-00255-7\_13}, doi = {10.1007/978-3-642-00255-7\_13}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/ifm/BoitenD09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pts/GuoDW09, author = {Qiang Guo and John Derrick and Neil Walkinshaw}, editor = {Manuel N{\'{u}}{\~{n}}ez and Paul Baker and Mercedes G. Merayo}, title = {Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs}, booktitle = {Testing of Software and Communication Systems, 21st {IFIP} {WG} 6.1 International Conference, {TESTCOM} 2009 and 9th International Workshop, {FATES} 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5826}, pages = {81--96}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-05031-2\_6}, doi = {10.1007/978-3-642-05031-2\_6}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pts/GuoDW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BoitenDR09, author = {Eerke A. Boiten and John Derrick and Steve Reeves}, editor = {Eerke A. Boiten and John Derrick and Steve Reeves}, title = {Preface}, booktitle = {Proceedings of the 14th {BCS-FACS} Refinement Workshop, REFINE@FMWeek 2009, Eindhoven, The Netherlands, November 2009}, series = {Electronic Notes in Theoretical Computer Science}, volume = {259}, pages = {1}, publisher = {Elsevier}, year = {2009}, url = {https://doi.org/10.1016/j.entcs.2009.12.013}, doi = {10.1016/J.ENTCS.2009.12.013}, timestamp = {Thu, 09 Mar 2023 15:23:44 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BoitenDR09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/DerrickB09, author = {John Derrick and Eerke A. Boiten}, editor = {Eerke A. Boiten and John Derrick and Steve Reeves}, title = {Relational Concurrent Refinement: Automata}, booktitle = {Proceedings of the 14th {BCS-FACS} Refinement Workshop, REFINE@FMWeek 2009, Eindhoven, The Netherlands, November 2009}, series = {Electronic Notes in Theoretical Computer Science}, volume = {259}, pages = {21--34}, publisher = {Elsevier}, year = {2009}, url = {https://doi.org/10.1016/j.entcs.2009.12.015}, doi = {10.1016/J.ENTCS.2009.12.015}, timestamp = {Thu, 09 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/DerrickB09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/refine/2009, editor = {Eerke A. Boiten and John Derrick and Steve Reeves}, title = {Proceedings of the 14th {BCS-FACS} Refinement Workshop, REFINE@FMWeek 2009, Eindhoven, The Netherlands, November 2009}, series = {Electronic Notes in Theoretical Computer Science}, volume = {259}, publisher = {Elsevier}, year = {2009}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/259/suppl/C}, timestamp = {Thu, 09 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/refine/2009.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asm/DerrickNS08, author = {John Derrick and Siobh{\'{a}}n North and Anthony J. H. Simons}, editor = {Egon B{\"{o}}rger and Michael J. Butler and Jonathan P. Bowen and Paul Boca}, title = {{Z2SAL} - Building a Model Checker for {Z}}, booktitle = {Abstract State Machines, {B} and Z, First International Conference, {ABZ} 2008, London, UK, September 16-18, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5238}, pages = {280--293}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-87603-8\_22}, doi = {10.1007/978-3-540-87603-8\_22}, timestamp = {Tue, 14 May 2019 10:00:50 +0200}, biburl = {https://dblp.org/rec/conf/asm/DerrickNS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmoods/DerrickSW08, author = {John Derrick and Gerhard Schellhorn and Heike Wehrheim}, editor = {Gilles Barthe and Frank S. de Boer}, title = {Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack}, booktitle = {Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5051}, pages = {78--95}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-68863-1\_6}, doi = {10.1007/978-3-540-68863-1\_6}, timestamp = {Sat, 19 Oct 2019 20:16:59 +0200}, biburl = {https://dblp.org/rec/conf/fmoods/DerrickSW08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/GuoDH08, author = {Qiang Guo and John Derrick and Csaba Hoch}, editor = {Kenji Suzuki and Teruo Higashino and Keiichi Yasumoto and Khaled El{-}Fakih}, title = {Verifying Erlang Telecommunication Systems with the Process Algebra {\(\mathrm{\mu}\)}CRL}, booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE} 2008, 28th {IFIP} {WG} 6.1 International Conference, Tokyo, Japan, June 10-13, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5048}, pages = {201--217}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-68855-6\_13}, doi = {10.1007/978-3-540-68855-6\_13}, timestamp = {Tue, 14 May 2019 10:00:50 +0200}, biburl = {https://dblp.org/rec/conf/forte/GuoDH08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BoitenDS08a, author = {Eerke A. Boiten and John Derrick and Gerhard Schellhorn}, editor = {Eerke A. Boiten and John Derrick and Gerhard Schellhorn}, title = {Preface}, booktitle = {Proceedings of the 13th {BAC-FACS} Refinement Workshop, Refine@FM 2008, Turku, Finland, May 27, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {214}, pages = {1}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/j.entcs.2008.06.001}, doi = {10.1016/J.ENTCS.2008.06.001}, timestamp = {Fri, 17 Feb 2023 10:04:20 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BoitenDS08a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/DerrickB08, author = {John Derrick and Eerke A. Boiten}, editor = {Eerke A. Boiten and John Derrick and Gerhard Schellhorn}, title = {More Relational Concurrent Refinement: Traces and Partial Relations}, booktitle = {Proceedings of the 13th {BAC-FACS} Refinement Workshop, Refine@FM 2008, Turku, Finland, May 27, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {214}, pages = {255--276}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/j.entcs.2008.06.012}, doi = {10.1016/J.ENTCS.2008.06.012}, timestamp = {Fri, 17 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/DerrickB08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/refine/2007, editor = {Eerke A. Boiten and John Derrick and Graeme Smith}, title = {Proceedings of the {BCS-FACS} Refinement Workshop, REFINE@IFM 2007, Oxford, UK, July 2007}, series = {Electronic Notes in Theoretical Computer Science}, volume = {201}, publisher = {Elsevier}, year = {2008}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/201/suppl/C}, timestamp = {Thu, 09 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/refine/2007.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/refine/2008, editor = {Eerke A. Boiten and John Derrick and Gerhard Schellhorn}, title = {Proceedings of the 13th {BAC-FACS} Refinement Workshop, Refine@FM 2008, Turku, Finland, May 27, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {214}, publisher = {Elsevier}, year = {2008}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/214/suppl/C}, timestamp = {Fri, 17 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/refine/2008.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/DerrickW07, author = {John Derrick and Heike Wehrheim}, title = {On using data abstractions for model checking refinements}, journal = {Acta Informatica}, volume = {44}, number = {1}, pages = {41--71}, year = {2007}, url = {https://doi.org/10.1007/s00236-007-0042-3}, doi = {10.1007/S00236-007-0042-3}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/DerrickW07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/erlang/GuoD07, author = {Qiang Guo and John Derrick}, editor = {Simon J. Thompson and Lars{-}{\AA}ke Fredlund}, title = {Verification of timed Erlang/OTP components using the process algebra mucrl}, booktitle = {Proceedings of the 2007 {ACM} {SIGPLAN} Workshop on Erlang, Freiburg, Germany, October 5, 2007}, pages = {55--64}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1292520.1292529}, doi = {10.1145/1292520.1292529}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/erlang/GuoD07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifm/DerrickSW07, author = {John Derrick and Gerhard Schellhorn and Heike Wehrheim}, editor = {Jim Davies and Jeremy Gibbons}, title = {Proving Linearizability Via Non-atomic Refinement}, 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 = {195--214}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73210-5\_11}, doi = {10.1007/978-3-540-73210-5\_11}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/ifm/DerrickSW07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BoitenDS08, author = {Eerke A. Boiten and John Derrick and Graeme Smith}, editor = {Eerke A. Boiten and John Derrick and Graeme Smith}, title = {Preface}, booktitle = {Proceedings of the {BCS-FACS} Refinement Workshop, REFINE@IFM 2007, Oxford, UK, July 2007}, series = {Electronic Notes in Theoretical Computer Science}, volume = {201}, pages = {1}, publisher = {Elsevier}, year = {2007}, url = {https://doi.org/10.1016/j.entcs.2008.02.012}, doi = {10.1016/J.ENTCS.2008.02.012}, timestamp = {Thu, 09 Feb 2023 12:15:31 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BoitenDS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/DerrickS08, author = {John Derrick and Graeme Smith}, editor = {Eerke A. Boiten and John Derrick and Graeme Smith}, title = {Using Model Checking to Automatically Find Retrieve Relations}, booktitle = {Proceedings of the {BCS-FACS} Refinement Workshop, REFINE@IFM 2007, Oxford, UK, July 2007}, series = {Electronic Notes in Theoretical Computer Science}, volume = {201}, pages = {155--175}, publisher = {Elsevier}, year = {2007}, url = {https://doi.org/10.1016/j.entcs.2008.02.019}, doi = {10.1016/J.ENTCS.2008.02.019}, timestamp = {Thu, 09 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/DerrickS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/forte/2007, editor = {John Derrick and J{\"{u}}ri Vain}, title = {Formal Techniques for Networked and Distributed Systems - {FORTE} 2007, 27th {IFIP} {WG} 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4574}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73196-2}, doi = {10.1007/978-3-540-73196-2}, isbn = {978-3-540-73195-5}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/forte/2007.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/refine/2006, editor = {Bernhard K. Aichernig and Eerke A. Boiten and John Derrick and Lindsay Groves}, title = {Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao, October 31, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {187}, publisher = {Elsevier}, year = {2007}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/187/suppl/C}, timestamp = {Tue, 31 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/refine/2006.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/DerrickHH06, author = {John Derrick and Mark Harman and Robert M. Hierons}, title = {Guest Editorial}, journal = {Formal Aspects Comput.}, volume = {18}, number = {1}, pages = {1--2}, year = {2006}, url = {https://doi.org/10.1007/s00165-005-0087-4}, doi = {10.1007/S00165-005-0087-4}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/DerrickHH06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/SmithD06, author = {Graeme Smith and John Derrick}, title = {Verifying data refinements using a model checker}, journal = {Formal Aspects Comput.}, volume = {18}, number = {3}, pages = {264--287}, year = {2006}, url = {https://doi.org/10.1007/s00165-006-0002-7}, doi = {10.1007/S00165-006-0002-7}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/SmithD06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amast/DerrickW06, author = {John Derrick and Heike Wehrheim}, editor = {Michael Johnson and Varmo Vene}, title = {Model Transformations Incorporating Multiple Views}, booktitle = {Algebraic Methodology and Software Technology, 11th International Conference, {AMAST} 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4019}, pages = {111--126}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11784180\_11}, doi = {10.1007/11784180\_11}, timestamp = {Sun, 25 Oct 2020 23:16:26 +0100}, biburl = {https://dblp.org/rec/conf/amast/DerrickW06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfem/DerrickNS06, author = {John Derrick and Siobh{\'{a}}n North and Tony Simons}, editor = {Zhiming Liu and Jifeng He}, title = {Issues in Implementing a Model Checker for {Z}}, booktitle = {Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November 1-3, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4260}, pages = {678--696}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11901433\_37}, doi = {10.1007/11901433\_37}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfem/DerrickNS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/BanachD06, author = {Richard Banach and John Derrick}, title = {Filtering Retrenchments into Refinements}, booktitle = {Fourth {IEEE} International Conference on Software Engineering and Formal Methods {(SEFM} 2006), 11-15 September 2006, Pune, India}, pages = {60--69}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.org/10.1109/SEFM.2006.17}, doi = {10.1109/SEFM.2006.17}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/BanachD06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/AichernigBDG07, author = {Bernhard K. Aichernig and Eerke A. Boiten and John Derrick and Lindsay Groves}, editor = {Bernhard K. Aichernig and Eerke A. Boiten and John Derrick and Lindsay Groves}, title = {Preface}, booktitle = {Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao, October 31, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {187}, pages = {1}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2006.08.040}, doi = {10.1016/J.ENTCS.2006.08.040}, timestamp = {Tue, 31 Jan 2023 15:13:24 +0100}, biburl = {https://dblp.org/rec/journals/entcs/AichernigBDG07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/DerrickB07, author = {John Derrick and Eerke A. Boiten}, editor = {Bernhard K. Aichernig and Eerke A. Boiten and John Derrick and Lindsay Groves}, title = {Relational Concurrent Refinement with Internal Operations}, booktitle = {Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao, October 31, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {187}, pages = {35--53}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2006.08.043}, doi = {10.1016/J.ENTCS.2006.08.043}, timestamp = {Tue, 31 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/DerrickB07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/BoitenDS05, author = {Eerke A. Boiten and John Derrick and Graeme Smith}, title = {Guest Editorial Integrated Formal Methods}, journal = {Formal Aspects Comput.}, volume = {17}, number = {4}, pages = {389--389}, year = {2005}, url = {https://doi.org/10.1007/s00165-005-0078-5}, doi = {10.1007/S00165-005-0078-5}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/BoitenDS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sosym/BolognesiD05, author = {Tommaso Bolognesi and John Derrick}, title = {Introduction}, journal = {Softw. Syst. Model.}, volume = {4}, number = {3}, pages = {234--235}, year = {2005}, url = {https://doi.org/10.1007/s10270-005-0082-5}, doi = {10.1007/S10270-005-0082-5}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sosym/BolognesiD05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/erlang/EarleFD05, author = {Clara Benac Earle and Lars{-}{\AA}ke Fredlund and John Derrick}, editor = {Konstantinos Sagonas and Joe Armstrong}, title = {Verifying fault-tolerant Erlang programs}, booktitle = {Proceedings of the 2005 {ACM} {SIGPLAN} Workshop on Erlang, Tallinn, Estonia, September 26-28, 2005}, pages = {26--34}, publisher = {{ACM}}, year = {2005}, url = {https://doi.org/10.1145/1088361.1088367}, doi = {10.1145/1088361.1088367}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/erlang/EarleFD05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/zum/DerrickW05, author = {John Derrick and Heike Wehrheim}, editor = {Helen Treharne and Steve King and Martin C. Henson and Steve A. Schneider}, title = {Non-atomic Refinement in {Z} and {CSP}}, booktitle = {{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3455}, pages = {24--44}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11415787\_3}, doi = {10.1007/11415787\_3}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/zum/DerrickW05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/zum/BoitenD05, author = {Eerke A. Boiten and John Derrick}, editor = {Helen Treharne and Steve King and Martin C. Henson and Steve A. Schneider}, title = {Formal Program Development with Approximations}, booktitle = {{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3455}, pages = {374--392}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11415787\_22}, doi = {10.1007/11415787\_22}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/zum/BoitenD05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/DerrickB05, author = {John Derrick and Eerke A. Boiten}, editor = {John Derrick and Eerke A. Boiten}, title = {Preface}, booktitle = {Proceedings of the {REFINE} 2005 Workshop, {REFINE} 2005, Guildford, UK, April 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {137}, number = {2}, pages = {1--3}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.04.021}, doi = {10.1016/J.ENTCS.2005.04.021}, timestamp = {Mon, 12 Dec 2022 16:45:39 +0100}, biburl = {https://dblp.org/rec/journals/entcs/DerrickB05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/SmithD05, author = {Graeme Smith and John Derrick}, editor = {John Derrick and Eerke A. Boiten}, title = {Model Checking Downward Simulations}, booktitle = {Proceedings of the {REFINE} 2005 Workshop, {REFINE} 2005, Guildford, UK, April 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {137}, number = {2}, pages = {205--224}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.04.032}, doi = {10.1016/J.ENTCS.2005.04.032}, timestamp = {Mon, 12 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/SmithD05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/refine/2005, editor = {John Derrick and Eerke A. Boiten}, title = {Proceedings of the {REFINE} 2005 Workshop, {REFINE} 2005, Guildford, UK, April 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {137}, number = {2}, publisher = {Elsevier}, year = {2005}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/137/issue/2}, timestamp = {Mon, 12 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/refine/2005.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/Derrick04, author = {John Derrick}, title = {Programming Methodology A. McIver and C. Morgan, editors, Springer-Verlag, 2002}, journal = {J. Funct. Program.}, volume = {14}, number = {5}, pages = {597--598}, year = {2004}, url = {https://doi.org/10.1017/S0956796804255320}, doi = {10.1017/S0956796804255320}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jfp/Derrick04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sttt/ArtsED04, author = {Thomas Arts and Clara Benac Earle and John Derrick}, title = {Development of a verified Erlang program for resource locking}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {5}, number = {2-3}, pages = {205--220}, year = {2004}, url = {https://doi.org/10.1007/s10009-003-0114-9}, doi = {10.1007/S10009-003-0114-9}, timestamp = {Thu, 02 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sttt/ArtsED04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amast/DerrickS04, author = {John Derrick and Graeme Smith}, editor = {Charles Rattray and Savi Maharaj and Carron Shankland}, title = {Linear Temporal Logic and {Z} Refinement}, booktitle = {Algebraic Methodology and Software Technology, 10th International Conference, {AMAST} 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3116}, pages = {117--131}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-27815-3\_13}, doi = {10.1007/978-3-540-27815-3\_13}, timestamp = {Thu, 07 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/amast/DerrickS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ifm/2004, editor = {Eerke A. Boiten and John Derrick and Graeme Smith}, title = {Integrated Formal Methods, 4th International Conference, {IFM} 2004, Canterbury, UK, April 4-7, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2999}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/b96106}, doi = {10.1007/B96106}, isbn = {3-540-21377-5}, timestamp = {Thu, 07 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifm/2004.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/DerrickS03, author = {John Derrick and Graeme Smith}, title = {Structural Refinement of Systems Specified in Object-Z and {CSP}}, journal = {Formal Aspects Comput.}, volume = {15}, number = {1}, pages = {1--27}, year = {2003}, url = {https://doi.org/10.1007/s00165-003-0002-9}, doi = {10.1007/S00165-003-0002-9}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/DerrickS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/DerrickB03, author = {John Derrick and Eerke A. Boiten}, title = {Relational Concurrent Refinement}, journal = {Formal Aspects Comput.}, volume = {15}, number = {2-3}, pages = {182--214}, year = {2003}, url = {https://doi.org/10.1007/s00165-003-0007-4}, doi = {10.1007/S00165-003-0007-4}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/DerrickB03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jid/BoitenD03, author = {Eerke A. Boiten and John Derrick}, title = {A Relational Framework for the Integration of Specifications}, journal = {Trans. {SDPS}}, volume = {7}, number = {3}, pages = {39--48}, year = {2003}, url = {http://content.iospress.com/articles/journal-of-integrated-design-and-process-science/jid7-3-03}, timestamp = {Thu, 14 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jid/BoitenD03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tocl/BryansBD03, author = {Jeremy W. Bryans and Howard Bowman and John Derrick}, title = {Model checking stochastic automata}, journal = {{ACM} Trans. Comput. Log.}, volume = {4}, number = {4}, pages = {452--492}, year = {2003}, url = {https://doi.org/10.1145/937555.937558}, doi = {10.1145/937555.937558}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tocl/BryansBD03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asm/DerrickB03, author = {John Derrick and Eerke A. Boiten}, editor = {Egon B{\"{o}}rger and Angelo Gargantini and Elvinia Riccobene}, title = {Recent Advances in Refinement}, booktitle = {Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, {ASM} 2003, Taormina, Italy, March 3-7, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2589}, pages = {33--56}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-36498-6\_3}, doi = {10.1007/3-540-36498-6\_3}, timestamp = {Tue, 14 May 2019 10:00:50 +0200}, biburl = {https://dblp.org/rec/conf/asm/DerrickB03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edoc/AkehurstDW03, author = {David H. Akehurst and John Derrick and A. Gill Waters}, title = {Addressing Computational Viewpoint Design}, booktitle = {7th International Enterprise Distributed Object Computing Conference {(EDOC} 2003), 16-19 September 2003, Brisbane, Australia, Proceedings}, pages = {147--158}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/EDOC.2003.1233845}, doi = {10.1109/EDOC.2003.1233845}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/edoc/AkehurstDW03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmoods/AkehurstDW03, author = {David H. Akehurst and John Derrick and A. Gill Waters}, editor = {Elie Najm and Uwe Nestmann and Perdita Stevens}, title = {Design and Verification of Distributed Multi-media Systems}, booktitle = {Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2884}, pages = {176--292}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-39958-2\_19}, doi = {10.1007/978-3-540-39958-2\_19}, timestamp = {Tue, 14 May 2019 10:00:40 +0200}, biburl = {https://dblp.org/rec/conf/fmoods/AkehurstDW03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/zum/DerrickW03, author = {John Derrick and Heike Wehrheim}, editor = {Didier Bert and Jonathan P. Bowen and Steve King and Marina Wald{\'{e}}n}, title = {Using Coupled Simulations in Non-atomic Refinement}, booktitle = {{ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2651}, pages = {127--147}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-44880-2\_10}, doi = {10.1007/3-540-44880-2\_10}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/zum/DerrickW03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/zum/Derrick03, author = {John Derrick}, editor = {Didier Bert and Jonathan P. Bowen and Steve King and Marina Wald{\'{e}}n}, title = {Timed {CSP} and Object-Z}, booktitle = {{ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2651}, pages = {300--318}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-44880-2\_19}, doi = {10.1007/3-540-44880-2\_19}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/zum/Derrick03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cn/BordbarDW02, author = {Behzad Bordbar and John Derrick and A. Gill Waters}, title = {Using {UML} to specify QoS constraints in {ODP}}, journal = {Comput. Networks}, volume = {40}, number = {2}, pages = {279--304}, year = {2002}, url = {https://doi.org/10.1016/S1389-1286(02)00255-4}, doi = {10.1016/S1389-1286(02)00255-4}, timestamp = {Wed, 19 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cn/BordbarDW02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/DerrickB02, author = {John Derrick and Eerke A. Boiten}, title = {Combining Component Specifications in Object-Z and {CSP}}, journal = {Formal Aspects Comput.}, volume = {13}, number = {2}, pages = {111--127}, year = {2002}, url = {https://doi.org/10.1007/s001650200002}, doi = {10.1007/S001650200002}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/DerrickB02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/BowmanSBD02, author = {Howard Bowman and Maarten Steen and Eerke A. Boiten and John Derrick}, title = {A Formal Framework for Viewpoint Consistency}, journal = {Formal Methods Syst. Des.}, volume = {21}, number = {2}, pages = {111--166}, year = {2002}, url = {https://doi.org/10.1023/A:1016000201864}, doi = {10.1023/A:1016000201864}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/BowmanSBD02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iee/TaylorBD02, author = {Chris Taylor and Eerke A. Boiten and John Derrick}, title = {{ODP} computational-to-information viewpoint mappings: a translation of {CORBA} {IDL} to {Z}}, journal = {{IEE} Proc. Softw.}, volume = {149}, number = {2}, pages = {57--63}, year = {2002}, url = {https://doi.org/10.1049/ip-sen:20020318}, doi = {10.1049/IP-SEN:20020318}, timestamp = {Tue, 19 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iee/TaylorBD02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/ArtsED02, author = {Thomas Arts and Clara Benac Earle and John Derrick}, editor = {Lars{-}Henrik Eriksson and Peter A. Lindsay}, title = {Verifying Erlang Code: {A} Resource Locker Case-Study}, booktitle = {{FME} 2002: Formal Methods - Getting {IT} Right, International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2391}, pages = {184--203}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45614-7\_11}, doi = {10.1007/3-540-45614-7\_11}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/fm/ArtsED02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmoods/TaylorBD02, author = {Chris Taylor and Eerke A. Boiten and John Derrick}, editor = {Bart Jacobs and Arend Rensink}, title = {Interpreting {ODP} Viewpoint Specification: Observations from a Case Study}, booktitle = {Formal Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands}, series = {{IFIP} Conference Proceedings}, volume = {209}, pages = {61--76}, publisher = {Kluwer}, year = {2002}, timestamp = {Mon, 14 Sep 2015 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fmoods/TaylorBD02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfem/SmithD02, author = {Graeme Smith and John Derrick}, editor = {Chris George and Huaikou Miao}, title = {Abstract Specification in Object-Z and {CSP}}, booktitle = {Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, {ICFEM} 2002 Shanghai, China, October 21-25, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2495}, pages = {108--119}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-36103-0\_14}, doi = {10.1007/3-540-36103-0\_14}, timestamp = {Thu, 07 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfem/SmithD02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfem/BordbarDW02, author = {Behzad Bordbar and John Derrick and A. Gill Waters}, editor = {Chris George and Huaikou Miao}, title = {A {UML} Approach to the Design of Open Distributed Systems}, booktitle = {Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, {ICFEM} 2002 Shanghai, China, October 21-25, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2495}, pages = {561--572}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-36103-0\_56}, doi = {10.1007/3-540-36103-0\_56}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfem/BordbarDW02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/zum/MiarkaDB02, author = {Ralph Miarka and John Derrick and Eerke A. Boiten}, editor = {Didier Bert and Jonathan P. Bowen and Martin C. Henson and Ken Robinson}, title = {Handling Inconsistencies in {Z} Using Quasi-Classical Logic}, booktitle = {{ZB} 2002: Formal Specification and Development in {Z} and B, 2nd International Conference of {B} and {Z} Users, Grenoble, France, January 23-25, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2272}, pages = {204--225}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45648-1\_11}, doi = {10.1007/3-540-45648-1\_11}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/zum/MiarkaDB02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/DerrickBWW02, author = {John Derrick and Eerke A. Boiten and Jim Woodcock and Joakim von Wright}, editor = {John Derrick and Eerke A. Boiten and Jim Woodcock and Joakim von Wright}, title = {Preface}, booktitle = {{BCS} {FACS} Refinement Workshop 2002, Refine 2002, Satellite Event of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002}, series = {Electronic Notes in Theoretical Computer Science}, volume = {70}, number = {3}, pages = {1--2}, publisher = {Elsevier}, year = {2002}, url = {https://doi.org/10.1016/S1571-0661(05)80478-5}, doi = {10.1016/S1571-0661(05)80478-5}, timestamp = {Fri, 17 Feb 2023 09:02:01 +0100}, biburl = {https://dblp.org/rec/journals/entcs/DerrickBWW02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BoitenD02, author = {Eerke A. Boiten and John Derrick}, editor = {John Derrick and Eerke A. Boiten and Jim Woodcock and Joakim von Wright}, title = {Unifying concurrent and relational refinement}, booktitle = {{BCS} {FACS} Refinement Workshop 2002, Refine 2002, Satellite Event of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002}, series = {Electronic Notes in Theoretical Computer Science}, volume = {70}, number = {3}, pages = {94--131}, publisher = {Elsevier}, year = {2002}, url = {https://doi.org/10.1016/S1571-0661(05)80488-8}, doi = {10.1016/S1571-0661(05)80488-8}, timestamp = {Tue, 06 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BoitenD02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/refine/2002, editor = {John Derrick and Eerke A. Boiten and Jim Woodcock and Joakim von Wright}, title = {{BCS} {FACS} Refinement Workshop 2002, Refine 2002, Satellite Event of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002}, series = {Electronic Notes in Theoretical Computer Science}, volume = {70}, number = {3}, publisher = {Elsevier}, year = {2002}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/70/issue/3}, timestamp = {Fri, 17 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/refine/2002.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cj/BowmanBD01, author = {Howard Bowman and Jeremy W. Bryans and John Derrick}, title = {Analysis of a Multimedia Stream using Stochastic Process Algebra}, journal = {Comput. J.}, volume = {44}, number = {4}, pages = {230--245}, year = {2001}, url = {https://doi.org/10.1093/comjnl/44.4.230}, doi = {10.1093/COMJNL/44.4.230}, timestamp = {Thu, 14 Mar 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cj/BowmanBD01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/SmithD01, author = {Graeme Smith and John Derrick}, title = {Specification, Refinement and Verification of Concurrent Systems-An Integration of Object-Z and {CSP}}, journal = {Formal Methods Syst. Des.}, volume = {18}, number = {3}, pages = {249--284}, year = {2001}, url = {https://doi.org/10.1023/A:1011269103179}, doi = {10.1023/A:1011269103179}, timestamp = {Thu, 07 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fmsd/SmithD01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/policy/ColeDMR01, author = {James B. Cole and John Derrick and Zoran Milosevic and Kerry Raymond}, editor = {Morris Sloman and Jorge Lobo and Emil Lupu}, title = {Author Obliged to Submit Paper before 4 July: Policies in an Enterprise Specification}, booktitle = {Policies for Distributed Systems and Networks, International Workshop, {POLICY} 2001 Bristol, UK, January 29-31, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1995}, pages = {1--17}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-44569-2\_1}, doi = {10.1007/3-540-44569-2\_1}, timestamp = {Tue, 14 May 2019 10:00:40 +0200}, biburl = {https://dblp.org/rec/conf/policy/ColeDMR01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cn/BoitenBDLS00, author = {Eerke A. Boiten and Howard Bowman and John Derrick and Peter F. Linington and Maarten Steen}, title = {Viewpoint consistency in {ODP}}, journal = {Comput. Networks}, volume = {34}, number = {3}, pages = {503--537}, year = {2000}, url = {https://doi.org/10.1016/S1389-1286(00)00114-6}, doi = {10.1016/S1389-1286(00)00114-6}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cn/BoitenBDLS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/csedu/DerrickF00, author = {John Derrick and Sally Fincher}, title = {Teaching Communication Protocols}, journal = {Comput. Sci. Educ.}, volume = {10}, number = {3}, pages = {195--202}, year = {2000}, url = {https://doi.org/10.1076/0899-3408(200012)10:3;1-S;FT195}, doi = {10.1076/0899-3408(200012)10:3;1-S;FT195}, timestamp = {Mon, 08 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/csedu/DerrickF00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/logcom/Derrick00, author = {John Derrick}, title = {A single complete refinement rule for {Z}}, journal = {J. Log. Comput.}, volume = {10}, number = {5}, pages = {663--675}, year = {2000}, url = {https://doi.org/10.1093/logcom/10.5.663}, doi = {10.1093/LOGCOM/10.5.663}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/logcom/Derrick00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/stvr/Derrick00, author = {John Derrick}, title = {Concurrent and Real-Time Systems: The {CSP} Approach, Steve Schneider, Wiley, 2000 (Book Review)}, journal = {Softw. Test. Verification Reliab.}, volume = {10}, number = {3}, pages = {195}, year = {2000}, url = {https://doi.org/10.1002/1099-1689(200009)10:3\&\#60;195::AID-STVR207\&\#62;3.0.CO;2-F}, doi = {10.1002/1099-1689(200009)10:3\&\#60;195::AID-STVR207\&\#62;3.0.CO;2-F}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/stvr/Derrick00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/stvr/HieronsD00, author = {Robert M. Hierons and John Derrick}, title = {Editorial: special issue on specification-based testing}, journal = {Softw. Test. Verification Reliab.}, volume = {10}, number = {4}, pages = {201--202}, year = {2000}, url = {https://doi.org/10.1002/1099-1689(200012)10:4\&\#60;201::AID-STVR214\&\#62;3.0.CO;2-Z}, doi = {10.1002/1099-1689(200012)10:4\&\#60;201::AID-STVR214\&\#62;3.0.CO;2-Z}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/stvr/HieronsD00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/BowmanDB00, author = {Howard Bowman and John Derrick and Ed Brinksma}, title = {Guest Editors' Introduction: Formal Methods for Object Oriented Distributed Systems}, journal = {{IEEE} Trans. Software Eng.}, volume = {26}, number = {7}, pages = {577--578}, year = {2000}, url = {https://doi.org/10.1109/TSE.2000.859528}, doi = {10.1109/TSE.2000.859528}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/BowmanDB00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmoods/DerrickB00, author = {John Derrick and Eerke A. Boiten}, editor = {Scott F. Smith and Carolyn L. Talcott}, title = {Refinement of objects and operations in Object-Z}, booktitle = {Formal Methods for Open Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1} Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8, 2000, Stanford, California, {USA}}, series = {{IFIP} Conference Proceedings}, volume = {177}, pages = {257--277}, publisher = {Kluwer}, year = {2000}, url = {https://doi.org/10.1007/978-0-387-35520-7\_13}, doi = {10.1007/978-0-387-35520-7\_13}, timestamp = {Thu, 21 Dec 2017 23:26:00 +0100}, biburl = {https://dblp.org/rec/conf/fmoods/DerrickB00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfem/TaylorDB00, author = {Chris Taylor and John Derrick and Eerke A. Boiten}, title = {A Case Study in Partial Specification: Consistency and Refinement for Object-Z}, booktitle = {3rd {IEEE} International Conference on Formal Engineering Methods, {ICFEM} 2000, York, England, UK, September 4-7, 2000, Proceedings}, pages = {177--188}, publisher = {{IEEE} Computer Society}, year = {2000}, url = {https://doi.org/10.1109/ICFEM.2000.873818}, doi = {10.1109/ICFEM.2000.873818}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icfem/TaylorDB00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifm/BryansBBD00, author = {Jeremy W. Bryans and Lynne Blair and Howard Bowman and John Derrick}, editor = {Wolfgang Grieskamp and Thomas Santen and Bill Stoddart}, title = {Specification and Analysis of Automata-Based Designs}, booktitle = {Integrated Formal Methods, Second International Conference, {IFM} 2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1945}, pages = {176--193}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-40911-4\_11}, doi = {10.1007/3-540-40911-4\_11}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/ifm/BryansBBD00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifm/DerrickS00, author = {John Derrick and Graeme Smith}, editor = {Wolfgang Grieskamp and Thomas Santen and Bill Stoddart}, title = {Structural Refinement in Object-Z/CSP}, booktitle = {Integrated Formal Methods, Second International Conference, {IFM} 2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1945}, pages = {194--213}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-40911-4\_12}, doi = {10.1007/3-540-40911-4\_12}, timestamp = {Thu, 07 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifm/DerrickS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mpc/BoitenD00, author = {Eerke A. Boiten and John Derrick}, editor = {Roland Carl Backhouse and Jos{\'{e}} Nuno Oliveira}, title = {Liberating Data Refinement}, booktitle = {Mathematics of Program Construction, 5th International Conference, {MPC} 2000, Ponte de Lima, Portugal, July 3-5, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1837}, pages = {144--166}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/10722010\_11}, doi = {10.1007/10722010\_11}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/mpc/BoitenD00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/zum/MiarkaBD00, author = {Ralph Miarka and Eerke A. Boiten and John Derrick}, editor = {Jonathan P. Bowen and Steve Dunne and Andy Galloway and Steve King}, title = {Guards, Preconditions, and Refinement in {Z}}, booktitle = {{ZB} 2000: Formal Specification and Development in {Z} and B, First International Conference of {B} and {Z} Users, York, UK, August 29 - September 2, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1878}, pages = {286--303}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44525-0\_17}, doi = {10.1007/3-540-44525-0\_17}, timestamp = {Thu, 14 Oct 2021 10:43:56 +0200}, biburl = {https://dblp.org/rec/conf/zum/MiarkaBD00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/cs-MM-0002004, author = {Jeremy W. Bryans and Howard Bowman and John Derrick}, title = {Stochastic Model Checking for Multimedia}, journal = {CoRR}, volume = {cs.MM/0002004}, year = {2000}, url = {https://arxiv.org/abs/cs/0002004}, timestamp = {Fri, 10 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/cs-MM-0002004.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/infsof/DerrickB99, author = {John Derrick and Eerke A. Boiten}, title = {Calculating upward and downward simulations of state-based specifications}, journal = {Inf. Softw. Technol.}, volume = {41}, number = {13}, pages = {917--923}, year = {1999}, url = {https://doi.org/10.1016/S0950-5849(99)00044-0}, doi = {10.1016/S0950-5849(99)00044-0}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/infsof/DerrickB99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/BowmanBDS99, author = {Howard Bowman and Eerke A. Boiten and John Derrick and Maarten Steen}, title = {Strategies for Consistency Checking Based on Unification}, journal = {Sci. Comput. Program.}, volume = {33}, number = {3}, pages = {261--298}, year = {1999}, url = {https://doi.org/10.1016/S0167-6423(98)00017-3}, doi = {10.1016/S0167-6423(98)00017-3}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/BowmanBDS99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/BoitenDBS99, author = {Eerke A. Boiten and John Derrick and Howard Bowman and Maarten Steen}, title = {Constructive Consistency Checking for Partial Specification in {Z}}, journal = {Sci. Comput. Program.}, volume = {35}, number = {1}, pages = {29--75}, year = {1999}, url = {https://doi.org/10.1016/S0167-6423(99)00006-4}, doi = {10.1016/S0167-6423(99)00006-4}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/BoitenDBS99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/stvr/DerrickB99, author = {John Derrick and Eerke A. Boiten}, title = {Testing Refinements of State-based Formal Specifications}, journal = {Softw. Test. Verification Reliab.}, volume = {9}, number = {1}, pages = {27--50}, year = {1999}, url = {https://doi.org/10.1002/(SICI)1099-1689(199903)9:1\&\#60;27::AID-STVR172\&\#62;3.0.CO;2-B}, doi = {10.1002/(SICI)1099-1689(199903)9:1\&\#60;27::AID-STVR172\&\#62;3.0.CO;2-B}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/stvr/DerrickB99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edoc/SteenD99, author = {Maarten W. A. Steen and John Derrick}, title = {Formalising {ODP} enterprise policies}, booktitle = {Third International Enterprise Distributed Object Computing Conference, {EDOC} 1999, Mannheim, Germany, September 27-30, 1999, Proceedings}, pages = {84--93}, publisher = {{IEEE}}, year = {1999}, url = {https://doi.org/10.1109/EDOC.1999.792052}, doi = {10.1109/EDOC.1999.792052}, timestamp = {Wed, 16 Oct 2019 14:14:56 +0200}, biburl = {https://dblp.org/rec/conf/edoc/SteenD99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/DerrickB99, author = {John Derrick and Eerke A. Boiten}, editor = {Jeannette M. Wing and Jim Woodcock and Jim Davies}, title = {Non-atomic Refinement in {Z}}, booktitle = {FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume {II}}, series = {Lecture Notes in Computer Science}, volume = {1709}, pages = {1477--1496}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-48118-4\_28}, doi = {10.1007/3-540-48118-4\_28}, timestamp = {Fri, 17 Feb 2023 09:02:00 +0100}, biburl = {https://dblp.org/rec/conf/fm/DerrickB99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmoods/BowmanD99, author = {Howard Bowman and John Derrick}, editor = {Paolo Ciancarini and Alessandro Fantechi and Roberto Gorrieri}, title = {A Junction between State Based and Behavioural Specification (Invited Talk)}, booktitle = {Formal Methods for Open Object-Based Distributed Systems, {IFIF} {TC6/WG6.1} Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy}, series = {{IFIP} Conference Proceedings}, volume = {139}, pages = {213--239}, publisher = {Kluwer}, year = {1999}, timestamp = {Tue, 04 Mar 2003 07:57:24 +0100}, biburl = {https://dblp.org/rec/conf/fmoods/BowmanD99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifm/DerrickB99, author = {John Derrick and Eerke A. Boiten}, editor = {Keijiro Araki and Andy Galloway and Kenji Taguchi}, title = {Specifying Component and Context Specification Using Promotion}, booktitle = {Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999}, pages = {293--312}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/978-1-4471-0851-1\_16}, doi = {10.1007/978-1-4471-0851-1\_16}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifm/DerrickB99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iwfm/BryansD99, author = {Jeremy W. Bryans and John Derrick}, editor = {Andrew Butterfield and Klemens Haegele}, title = {Stochastic Specification and Verification}, booktitle = {3rd Irish Workshop on Formal Methods, Galway, Ireland, July 1999}, series = {Workshops in Computing}, publisher = {{BCS}}, year = {1999}, url = {http://ewic.bcs.org/content/ConWebDoc/4224}, timestamp = {Thu, 14 Mar 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iwfm/BryansD99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/DerrickBBS98, author = {John Derrick and Eerke A. Boiten and Howard Bowman and Maarten Steen}, title = {Specifying and Refining Internal Operations in {Z}}, journal = {Formal Aspects Comput.}, volume = {10}, number = {2}, pages = {125--159}, year = {1998}, url = {https://doi.org/10.1007/s001650050007}, doi = {10.1007/S001650050007}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/DerrickBBS98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iee/BolognesiD98, author = {Tommaso Bolognesi and John Derrick}, title = {Constraint-oriented style for object-oriented formal specification}, journal = {{IEE} Proc. Softw.}, volume = {145}, number = {2-3}, pages = {61--70}, year = {1998}, url = {https://doi.org/10.1049/ip-sen:19986907}, doi = {10.1049/IP-SEN:19986907}, timestamp = {Tue, 19 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iee/BolognesiD98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amast/SteenDBB98, author = {Maarten Steen and John Derrick and Eerke A. Boiten and Howard Bowman}, editor = {Armando Martin Haeberer}, title = {Consistency of Partial Process Specifications}, booktitle = {Algebraic Methodology and Software Technology, 7th International Conference, {AMAST} '98, Amazonia, Brasil, January 4-8, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1548}, pages = {248--262}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/3-540-49253-4\_19}, doi = {10.1007/3-540-49253-4\_19}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/amast/SteenDBB98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/zum/DerrickB98, author = {John Derrick and Eerke A. Boiten}, editor = {Jonathan P. Bowen and Andreas Fett and Michael G. Hinchey}, title = {Testing Refinements by Refining Tests}, booktitle = {{ZUM} '98: The {Z} Formal Specification Notation, 11th International Conference of {Z} Users, Berlin, Germany, September 24-26, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1493}, pages = {265--283}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/978-3-540-49676-2\_19}, doi = {10.1007/978-3-540-49676-2\_19}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/zum/DerrickB98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/arts/BowmanD97, author = {Howard Bowman and John Derrick}, editor = {Miquel Bertran and Teodor Rus}, title = {Extending {LOTOS} with Time: {A} True Concurrency Perspective}, booktitle = {Transformation-Based Reactive Systems Development, 4th International {AMAST} Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1231}, pages = {383--399}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/3-540-63010-4\_26}, doi = {10.1007/3-540-63010-4\_26}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/arts/BowmanD97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/BoitenBDS97, author = {Eerke A. Boiten and Howard Bowman and John Derrick and Maarten Steen}, editor = {John S. Fitzgerald and Cliff B. Jones and Peter Lucas}, title = {Viewpoint Consistency in {Z} and {LOTOS:} {A} Case Study}, booktitle = {{FME} '97: Industrial Applications and Strengthened Foundations of Formal Methods, 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1313}, pages = {644--664}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/3-540-63533-5\_34}, doi = {10.1007/3-540-63533-5\_34}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fm/BoitenBDS97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/SteenBDB97, author = {Maarten Steen and Howard Bowman and John Derrick and Eerke A. Boiten}, editor = {Atsushi Togashi and Tadanori Mizuno and Norio Shiratori and Teruo Higashino}, title = {Disjunction of {LOTOS} Specifications}, booktitle = {Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {X} / {PSTV} XVII'97, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {X)} and Protocol Specification, Testing and Verification {(PSTV} XVII), 18-21 November, 1997, Osaka, Japan}, series = {{IFIP} Conference Proceedings}, volume = {107}, pages = {177--192}, publisher = {Chapman {\&} Hall}, year = {1997}, timestamp = {Wed, 12 Feb 2003 15:40:21 +0100}, biburl = {https://dblp.org/rec/conf/forte/SteenBDB97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfem/SmithD97, author = {Graeme Smith and John Derrick}, title = {Refinement and Verification of Concurrent Systems Specified in Object-Z and {CSP}}, booktitle = {First {IEEE} International Conference on Formal Engineering Methods, {ICFEM} 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings}, pages = {293--303}, publisher = {{IEEE} Computer Society}, year = {1997}, url = {https://doi.org/10.1109/ICFEM.1997.630436}, doi = {10.1109/ICFEM.1997.630436}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icfem/SmithD97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/im/FernandesD97, author = {G. P. A. Fernandes and John Derrick}, editor = {Aurel A. Lazar and Roberto Saracco and Rolf Stadler}, title = {Formal Specification and Testing of a Management Architecture}, booktitle = {Integrated Network Management V, Integrated management in a virtual world, Proceedings of the Fifth {IFIP/IEEE} International Symposium on Integrated Network Management, San Diego, CA, USA, May 12-16, 1997}, series = {{IFIP} Conference Proceedings}, volume = {86}, pages = {473--484}, publisher = {Chapman {\&} Hall}, year = {1997}, timestamp = {Thu, 03 Jan 2002 12:03:43 +0100}, biburl = {https://dblp.org/rec/conf/im/FernandesD97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/zum/DerrickBBS97, author = {John Derrick and Eerke A. Boiten and Howard Bowman and Maarten Steen}, editor = {Jonathan P. Bowen and Michael G. Hinchey and David Till}, title = {Weak Refinement in {Z}}, booktitle = {{ZUM} '97: The {Z} Formal Specification Notation, 10th International Conference of {Z} Users, Reading, UK, April 3-4, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1212}, pages = {369--388}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0027298}, doi = {10.1007/BFB0027298}, timestamp = {Thu, 14 Oct 2021 10:43:56 +0200}, biburl = {https://dblp.org/rec/conf/zum/DerrickBBS97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iee/BowmanDLS96, author = {Howard Bowman and John Derrick and Peter W. A. Linington and Maarten W. A. Steen}, title = {Cross-viewpoint consistency in open distributed processing}, journal = {Softw. Eng. J.}, volume = {11}, number = {1}, pages = {44--57}, year = {1996}, url = {https://doi.org/10.1049/sej.1996.0005}, doi = {10.1049/SEJ.1996.0005}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iee/BowmanDLS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/BoitenDBS96, author = {Eerke A. Boiten and John Derrick and Howard Bowman and Maarten Steen}, editor = {Marie{-}Claude Gaudel and Jim Woodcock}, title = {Consistency and Refinement for Partial Specification in {Z}}, booktitle = {{FME} '96: Industrial Benefit and Advances in Formal Methods, Third International Symposium of Formal Methods Europe, Co-Sponsored by {IFIP} {WG} 14.3, Oxford, UK, March 18-22, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1051}, pages = {287--306}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-60973-3\_93}, doi = {10.1007/3-540-60973-3\_93}, timestamp = {Fri, 17 Feb 2023 09:02:00 +0100}, biburl = {https://dblp.org/rec/conf/fm/BoitenDBS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/DerrickBBS96, author = {John Derrick and Howard Bowman and Eerke A. Boiten and Maarten Steen}, editor = {Reinhard Gotzhein and Jan Bredereke}, title = {Comparing {LOTOS} and {Z} Refinement Relations}, booktitle = {Formal Description Techniques {IX:} Theory, application and tools, {IFIP} {TC6} {WG6.1} International Conference on Formal Description Techniques {IX} / Protocol Specification, Testing and Verification XVI, Kaiserslautern, Germany, 8-11 October 1996}, series = {{IFIP} Conference Proceedings}, volume = {69}, pages = {501--516}, publisher = {Chapman {\&} Hall}, year = {1996}, timestamp = {Fri, 29 Oct 2004 12:58:31 +0200}, biburl = {https://dblp.org/rec/conf/forte/DerrickBBS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/BoitenBDS96, author = {Eerke A. Boiten and Howard Bowman and John Derrick and Maarten Steen}, editor = {Alexander L. Wolf and Anthony Finkelstein and George Spanoudakis and Laura Vidal}, title = {Issues in multiparadigm viewpoint specification}, booktitle = {Joint Proceedings of the Second International Software Architecture Workshop {(ISAW-2)} and International Workshop on Multiple Perspectives in Software Development (Viewpoints '96) on {SIGSOFT} '96 workshops, {ISAW} '96, San Francisco, California, {USA}}, pages = {162--166}, publisher = {{ACM}}, year = {1996}, url = {https://doi.org/10.1145/243327.243639}, doi = {10.1145/243327.243639}, timestamp = {Fri, 11 Feb 2022 12:39:52 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/BoitenBDS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/im/DerrickLT95, author = {John Derrick and Peter F. Linington and Simon J. Thompson}, editor = {Adarshpal S. Sethi and Yves Raynaud and Fabienne Faure{-}Vincent}, title = {Formal description techniques for object management}, booktitle = {Integrated Network Management IV, Proceedings of the Fourth International Symposium on Integrated Network Management, Santa Barbara, CA, USA, 1995}, series = {{IFIP} Conference Proceedings}, volume = {11}, pages = {641--653}, publisher = {Chapman {\&} Hall}, year = {1995}, timestamp = {Fri, 03 Dec 2010 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/im/DerrickLT95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mmnet/BowmanD95, author = {Howard Bowman and John Derrick}, title = {A True Concurrency Semantics for Quality of Service Specification and Validation}, booktitle = {Proceedings of the International Conference on Multimedia Networking, MmNet 1995, Aizu, Japan, September 26-29, 1995}, pages = {173--182}, publisher = {{IEEE} Computer Society}, year = {1995}, timestamp = {Mon, 20 Mar 2017 14:07:43 +0100}, biburl = {https://dblp.org/rec/conf/mmnet/BowmanD95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pstv/SteenBD95, author = {Maarten Steen and Howard Bowman and John Derrick}, editor = {Piotr Dembinski and Marek Sredniawa}, title = {Composition of {LOTOS} specifications}, booktitle = {Protocol Specification, Testing and Verification XV, Proceedings of the Fifteenth {IFIP} {WG6.1} International Symposium on Protocol Specification, Testing and Verification, Warsaw, Poland, June 1995}, series = {{IFIP} Conference Proceedings}, volume = {38}, pages = {87--102}, publisher = {Chapman {\&} Hall}, year = {1995}, timestamp = {Thu, 03 Jan 2002 12:07:46 +0100}, biburl = {https://dblp.org/rec/conf/pstv/SteenBD95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/BowmanD95, author = {Howard Bowman and John Derrick}, editor = {Jim Hightower and Ed Deaton and K. M. George and Janice H. Carroll and Dave Oppenheim}, title = {Modelling distributed systems using {Z}}, booktitle = {Proceedings of the 1995 {ACM} symposium on applied computing, SAC'95, Nashville, TN, USA, February 26-28, 1995}, pages = {147--151}, publisher = {{ACM}}, year = {1995}, url = {https://doi.org/10.1145/315891.315941}, doi = {10.1145/315891.315941}, timestamp = {Tue, 06 Nov 2018 11:06:48 +0100}, biburl = {https://dblp.org/rec/conf/sac/BowmanD95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/zum/BowmanDS95, author = {Howard Bowman and John Derrick and Maarten Steen}, editor = {Jonathan P. Bowen and Michael G. Hinchey}, title = {Viewpoints and Objects}, booktitle = {{ZUM} '95: The {Z} Formal Specification Notation, 9th International Conference of {Z} Users, Limerick, Ireland, September 7-9, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {967}, pages = {449--468}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-60271-2\_136}, doi = {10.1007/3-540-60271-2\_136}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/zum/BowmanDS95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/podc/BowmanD94, author = {Howard Bowman and John Derrick}, editor = {James H. Anderson and David Peleg and Elizabeth Borowsky}, title = {Consistency and Conformance in {ODP} (Abstract)}, booktitle = {Proceedings of the Thirteenth Annual {ACM} Symposium on Principles of Distributed Computing, Los Angeles, California, USA, August 14-17, 1994}, pages = {388}, publisher = {{ACM}}, year = {1994}, url = {https://doi.org/10.1145/197917.198165}, doi = {10.1145/197917.198165}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/podc/BowmanD94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/podc/BowmanDJ94, author = {Howard Bowman and John Derrick and Richard E. Jones}, editor = {James H. Anderson and David Peleg and Elizabeth Borowsky}, title = {Modelling Garbage Collection Algorithms Using {CCS} and Temporal Logic (Abstract)}, booktitle = {Proceedings of the Thirteenth Annual {ACM} Symposium on Principles of Distributed Computing, Los Angeles, California, USA, August 14-17, 1994}, pages = {394}, publisher = {{ACM}}, year = {1994}, url = {https://doi.org/10.1145/197917.198173}, doi = {10.1145/197917.198173}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/podc/BowmanDJ94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsyml/CalaisDS74, author = {J. P. Calais and John Derrick and Gabriel Sabbagh}, title = {Meeting of the Association for Symbolic Logic: Orleans, France, 1972}, journal = {J. Symb. Log.}, volume = {39}, number = {2}, pages = {371--389}, year = {1974}, url = {https://doi.org/10.1017/S0022481200065282}, doi = {10.1017/S0022481200065282}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jsyml/CalaisDS74.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsyml/LobDD68, author = {M. H. Lob and F. R. Drake and John Derrick}, title = {Meeting of the Association for Symbolic Logic Leeds 1967}, journal = {J. Symb. Log.}, volume = {33}, number = {3}, pages = {490}, year = {1968}, url = {https://doi.org/10.2307/2270367}, doi = {10.2307/2270367}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jsyml/LobDD68.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.