Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX 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}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 02:27 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
