default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Eerke A. Boiten
@article{DBLP:journals/corr/abs-2601-09746,
author = {Philip Xu and
Isabel Wagner and
Eerke A. Boiten},
title = {Multi-Agent Cooperative Learning for Robust Vision-Language Alignment
under {OOD} Concepts},
journal = {CoRR},
volume = {abs/2601.09746},
year = {2026},
url = {https://doi.org/10.48550/arXiv.2601.09746},
doi = {10.48550/ARXIV.2601.09746},
eprinttype = {arXiv},
eprint = {2601.09746},
timestamp = {Mon, 16 Feb 2026 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2601-09746.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2502-03668,
author = {Debalina Padariya and
Isabel Wagner and
Aboozar Taherkhani and
Eerke A. Boiten},
title = {Privacy-Preserving Generative Models: {A} Comprehensive Survey},
journal = {CoRR},
volume = {abs/2502.03668},
year = {2025},
url = {https://doi.org/10.48550/arXiv.2502.03668},
doi = {10.48550/ARXIV.2502.03668},
eprinttype = {arXiv},
eprint = {2502.03668},
timestamp = {Wed, 12 Mar 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2502-03668.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccnc/ReisingerBW24,
author = {Thomas Reisinger and
Eerke Albert Boiten and
Isabel Wagner},
title = {{SEPPI:} Secure and Privacy-Preserving Invitation for Unified Communication
Meetings},
booktitle = {International Conference on Computing, Networking and Communications,
{ICNC} 2024, Big Island, HI, USA, February 19-22, 2024},
pages = {730--736},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1109/ICNC59896.2024.10556130},
doi = {10.1109/ICNC59896.2024.10556130},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccnc/ReisingerBW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/ReisingerWB23,
author = {Thomas Reisinger and
Isabel Wagner and
Eerke A. Boiten},
title = {Security and Privacy in Unified Communication},
journal = {{ACM} Comput. Surv.},
volume = {55},
number = {3},
pages = {55:1--55:36},
year = {2023},
url = {https://doi.org/10.1145/3498335},
doi = {10.1145/3498335},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/ReisingerWB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosp/ReisingerWB23,
author = {Thomas Reisinger and
Isabel Wagner and
Eerke A. Boiten},
title = {Unified Communication: What do Digital Activists need?},
booktitle = {{IEEE} European Symposium on Security and Privacy, EuroS{\&}P
2023 - Workshops, Delft, Netherlands, July 3-7, 2023},
pages = {141--149},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/EuroSPW59978.2023.00021},
doi = {10.1109/EUROSPW59978.2023.00021},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosp/ReisingerWB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sensys/WagnerB23,
author = {Isabel Wagner and
Eerke A. Boiten},
title = {Risks and benefits of smart toilets},
booktitle = {Proceedings of the 10th {ACM} International Conference on Systems
for Energy-Efficient Buildings, Cities, and Transportation, BuildSys
2023, Istanbul, Turkey, November 15-16, 2023},
pages = {340--346},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3600100.3625377},
doi = {10.1145/3600100.3625377},
timestamp = {Wed, 04 Dec 2024 09:42:54 +0100},
biburl = {https://dblp.org/rec/conf/sensys/WagnerB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-11876,
author = {Fatemeh Zarrabi and
Isabel Wagner and
Eerke A. Boiten},
title = {Changes in Conducting Data Protection Risk Assessment and After {GDPR}
implementation},
journal = {CoRR},
volume = {abs/2304.11876},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.11876},
doi = {10.48550/ARXIV.2304.11876},
eprinttype = {arXiv},
eprint = {2304.11876},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-11876.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-15935,
author = {Isabel Wagner and
Eerke A. Boiten},
title = {What's going on at the back-end? Risks and benefits of smart toilets},
journal = {CoRR},
volume = {abs/2308.15935},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.15935},
doi = {10.48550/ARXIV.2308.15935},
eprinttype = {arXiv},
eprint = {2308.15935},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-15935.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cryptography/MohammedAB21,
author = {Kabiru Mohammed and
Aladdin Ayesh and
Eerke A. Boiten},
title = {Complementing Privacy and Utility Trade-Off with Self-Organising Maps},
journal = {Cryptogr.},
volume = {5},
number = {3},
pages = {20},
year = {2021},
url = {https://doi.org/10.3390/cryptography5030020},
doi = {10.3390/CRYPTOGRAPHY5030020},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cryptography/MohammedAB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/CabotWB21,
author = {Jordi Cabot and
Heike Wehrheim and
Eerke A. Boiten},
title = {Editorial},
journal = {Formal Aspects Comput.},
volume = {33},
number = {6},
pages = {1037},
year = {2021},
url = {https://doi.org/10.1007/s00165-021-00565-0},
doi = {10.1007/S00165-021-00565-0},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/CabotWB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sap/FerraWBHPS20,
author = {Fenia Ferra and
Isabel Wagner and
Eerke A. Boiten and
Lee Hadlington and
Ismini Psychoula and
Richard Snape},
title = {Challenges in assessing privacy impact: Tales from the front lines},
journal = {Secur. Priv.},
volume = {3},
number = {2},
year = {2020},
url = {https://doi.org/10.1002/spy2.101},
doi = {10.1002/SPY2.101},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sap/FerraWBHPS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/MohammedAB20,
author = {Kabiru Mohammed and
Aladdin Ayesh and
Eerke A. Boiten},
editor = {Joaqu{\'{\i}}n Garc{\'{\i}}a{-}Alfaro and
Guillermo Navarro{-}Arribas and
Jordi Herrera{-}Joancomart{\'{\i}}},
title = {Utility Promises of Self-Organising Maps in Privacy Preserving Data
Mining},
booktitle = {Data Privacy Management, Cryptocurrencies and Blockchain Technology
- {ESORICS} 2020 International Workshops, {DPM} 2020 and {CBT} 2020,
Guildford, UK, September 17-18, 2020, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12484},
pages = {55--72},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-66172-4\_4},
doi = {10.1007/978-3-030-66172-4\_4},
timestamp = {Tue, 12 Jan 2021 14:44:40 +0100},
biburl = {https://dblp.org/rec/conf/esorics/MohammedAB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/AlbakriBS20,
author = {Adham Albakri and
Eerke A. Boiten and
Richard Smith},
editor = {Ioana Boureanu and
Constantin Catalin Dragan and
Mark Manulis and
Thanassis Giannetsos and
Christoforos Dadoyan and
Panagiotis Gouvas and
Roger A. Hallman and
Shujun Li and
Victor Chang and
Frank Pallas and
J{\"{o}}rg Pohle and
M. Angela Sasse},
title = {Risk Assessment of Sharing Cyber Threat Intelligence},
booktitle = {Computer Security - {ESORICS} 2020 International Workshops, DETIPS,
DeSECSys, MPS, and SPOSE, Guildford, UK, September 17-18, 2020, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12580},
pages = {92--113},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-66504-3\_6},
doi = {10.1007/978-3-030-66504-3\_6},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esorics/AlbakriBS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apf/AlbakriBL19,
author = {Adham Albakri and
Eerke A. Boiten and
Rog{\'{e}}rio de Lemos},
editor = {Maurizio Naldi and
Giuseppe F. Italiano and
Kai Rannenberg and
Manel Medina and
Athena Bourka},
title = {Sharing Cyber Threat Intelligence Under the General Data Protection
Regulation},
booktitle = {Privacy Technologies and Policy - 7th Annual Privacy Forum, {APF}
2019, Rome, Italy, June 13-14, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11498},
pages = {28--41},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21752-5\_3},
doi = {10.1007/978-3-030-21752-5\_3},
timestamp = {Tue, 11 Jun 2019 10:59:44 +0200},
biburl = {https://dblp.org/rec/conf/apf/AlbakriBL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seeda/KosmanosPAMJBA19,
author = {Dimitrios Kosmanos and
Apostolos Pappas and
Francisco J. Aparicio{-}Navarro and
Leandros A. Maglaras and
Helge Janicke and
Eerke A. Boiten and
Antonios Argyriou},
title = {Intrusion Detection System for Platooning Connected Autonomous Vehicles},
booktitle = {4th South-East Europe Design Automation, Computer Engineering, Computer
Networks and Social Media Conference, {SEEDA-CECNSM} 2019, Piraeus,
Greece, September 20-22, 2019},
pages = {1--9},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/SEEDA-CECNSM.2019.8908528},
doi = {10.1109/SEEDA-CECNSM.2019.8908528},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/seeda/KosmanosPAMJBA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEares/AlbakriBL18,
author = {Adham Albakri and
Eerke A. Boiten and
Rog{\'{e}}rio de Lemos},
editor = {Sebastian Doerr and
Mathias Fischer and
Sebastian Schrittwieser and
Dominik Herrmann},
title = {Risks of Sharing Cyber Incident Information},
booktitle = {Proceedings of the 13th International Conference on Availability,
Reliability and Security, {ARES} 2018, Hamburg, Germany, August 27-30,
2018},
pages = {58:1--58:10},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3230833.3233284},
doi = {10.1145/3230833.3233284},
timestamp = {Thu, 17 Jan 2019 22:19:51 +0100},
biburl = {https://dblp.org/rec/conf/IEEEares/AlbakriBL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/WagnerB18,
author = {Isabel Wagner and
Eerke A. Boiten},
editor = {Joaqu{\'{\i}}n Garc{\'{\i}}a{-}Alfaro and
Jordi Herrera{-}Joancomart{\'{\i}} and
Giovanni Livraga and
Ruben Rios},
title = {Privacy Risk Assessment: From Art to Science, by Metrics},
booktitle = {Data Privacy Management, Cryptocurrencies and Blockchain Technology
- {ESORICS} 2018 International Workshops, {DPM} 2018 and {CBT} 2018,
Barcelona, Spain, September 6-7, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11025},
pages = {225--241},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00305-0\_17},
doi = {10.1007/978-3-030-00305-0\_17},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esorics/WagnerB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-03776,
author = {Isabel Wagner and
Eerke A. Boiten},
title = {Privacy Risk Assessment: From Art to Science, By Metrics},
journal = {CoRR},
volume = {abs/1709.03776},
year = {2017},
url = {http://arxiv.org/abs/1709.03776},
eprinttype = {arXiv},
eprint = {1709.03776},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-03776.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Boiten16,
author = {Eerke A. Boiten},
title = {Diversity and adjudication},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {5},
pages = {860--866},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2015.10.007},
doi = {10.1016/J.JLAMP.2015.10.007},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Boiten16.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}
}
@inproceedings{DBLP:journals/corr/Boiten16,
author = {Eerke A. Boiten},
editor = {John Derrick and
Eerke A. Boiten and
Steve Reeves},
title = {Big Data Refinement},
booktitle = {Proceedings 17th International Workshop on Refinement, Refine@FM 2015,
Oslo, Norway, 22nd June 2015},
series = {{EPTCS}},
volume = {209},
pages = {17--23},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.209.2},
doi = {10.4204/EPTCS.209.2},
timestamp = {Sun, 25 Jul 2021 11:39:05 +0200},
biburl = {https://dblp.org/rec/journals/corr/Boiten16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Boiten15,
author = {Eerke A. Boiten},
title = {Diversity and Adjudication},
journal = {CoRR},
volume = {abs/1511.03124},
year = {2015},
url = {http://arxiv.org/abs/1511.03124},
eprinttype = {arXiv},
eprint = {1511.03124},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Boiten15.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/BoitenS14,
author = {Eerke A. Boiten and
Steve A. Schneider},
title = {Editorial},
journal = {Formal Aspects Comput.},
volume = {26},
number = {1},
pages = {1--2},
year = {2014},
url = {https://doi.org/10.1007/s00165-013-0290-7},
doi = {10.1007/S00165-013-0290-7},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BoitenS14.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/Boiten14,
author = {Eerke A. Boiten},
title = {Introducing extra operations in refinement},
journal = {Formal Aspects Comput.},
volume = {26},
number = {2},
pages = {305--317},
year = {2014},
url = {https://doi.org/10.1007/s00165-012-0266-z},
doi = {10.1007/S00165-012-0266-Z},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Boiten14.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}
}
@inproceedings{DBLP:conf/asm/BoitenJ14,
author = {Eerke A. Boiten and
Jeremy Jacob},
editor = {Yamine A{\"{\i}}t Ameur and
Klaus{-}Dieter Schewe},
title = {Sealed Containers in {Z}},
booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 4th International
Conference, {ABZ} 2014, Toulouse, France, June 2-6, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8477},
pages = {136--141},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-43652-3\_12},
doi = {10.1007/978-3-662-43652-3\_12},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/asm/BoitenJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/GasparB14,
author = {Jaime Gaspar and
Eerke A. Boiten},
title = {Simple composition theorems of one-way functions - proofs and presentations},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {1006},
year = {2014},
url = {http://eprint.iacr.org/2014/1006},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/GasparB14.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}
}
@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/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 = {Mon, 15 Dec 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fac/BoitenDDR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Boiten12,
author = {Eerke A. Boiten},
title = {\emph{Modeling in Event-B - System and Software Engineering} Jean-Raymond
Abrial Cambridge University Press, May 2010 {ISBN-10:} 0521895561},
journal = {J. Funct. Program.},
volume = {22},
number = {2},
pages = {217--219},
year = {2012},
url = {https://doi.org/10.1017/S0956796812000081},
doi = {10.1017/S0956796812000081},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Boiten12.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 = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/BoitenDS11.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 = {Thu, 26 Sep 2024 16:29:51 +0200},
biburl = {https://dblp.org/rec/conf/forte/DerrickB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1106-4099,
author = {Eerke A. Boiten},
editor = {John Derrick and
Eerke A. Boiten and
Steve Reeves},
title = {Perspicuity and Granularity in Refinement},
booktitle = {Proceedings 15th International Refinement Workshop, Refine@FM 2011,
Limerick, Ireland, 20th June 2011},
series = {{EPTCS}},
volume = {55},
pages = {155--165},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.55.10},
doi = {10.4204/EPTCS.55.10},
timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-4099.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 = {Sun, 04 Aug 2024 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/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/mpc/BoitenG10,
author = {Eerke A. Boiten and
Dan Grundy},
editor = {Claude Bolduc and
Jos{\'{e}}e Desharnais and
B{\'{e}}chir Ktari},
title = {The Logic of Large Enough},
booktitle = {Mathematics of Program Construction, 10th International Conference,
{MPC} 2010, Qu{\'{e}}bec City, Canada, June 21-23, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6120},
pages = {42--57},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13321-3\_5},
doi = {10.1007/978-3-642-13321-3\_5},
timestamp = {Sat, 16 Oct 2021 20:00:44 +0200},
biburl = {https://dblp.org/rec/conf/mpc/BoitenG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Boiten09,
author = {Eerke A. Boiten},
title = {Editorial},
journal = {Formal Aspects Comput.},
volume = {21},
number = {1-2},
pages = {1},
year = {2009},
url = {https://doi.org/10.1007/s00165-008-0100-9},
doi = {10.1007/S00165-008-0100-9},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Boiten09.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/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 = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/BoitenD09.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 = {Sun, 04 Aug 2024 01:00:00 +0200},
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/Boiten08,
author = {Eerke A. Boiten},
editor = {Egon B{\"{o}}rger and
Michael J. Butler and
Jonathan P. Bowen and
Paul Boca},
title = {From {ABZ} to Cryptography},
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 = {353},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87603-8\_40},
doi = {10.1007/978-3-540-87603-8\_40},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/asm/Boiten08.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 = {Sun, 04 Aug 2024 01:00:00 +0200},
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 = {Sun, 04 Aug 2024 01:00:00 +0200},
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}
}
@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 = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BoitenDS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BoitenG08,
author = {Eerke A. Boiten and
Dan Grundy},
editor = {Eerke A. Boiten and
John Derrick and
Graeme Smith},
title = {Reduction and Refinement},
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 = {31--44},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.02.014},
doi = {10.1016/J.ENTCS.2008.02.014},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BoitenG08.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/BoitenB06,
author = {Eerke A. Boiten and
Michael J. Butler},
title = {Guest Editorial Editorial for the {FAC} Special Issue based on derivative
papers from "Refine '05"},
journal = {Formal Aspects Comput.},
volume = {18},
number = {3},
pages = {263},
year = {2006},
url = {https://doi.org/10.1007/s00165-006-0009-0},
doi = {10.1007/S00165-006-0009-0},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BoitenB06.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 = {Sun, 04 Aug 2024 01:00:00 +0200},
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 = {Sun, 04 Aug 2024 01:00:00 +0200},
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 = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BoitenDS05.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, 04 Aug 2024 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 = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/DerrickB05.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/scp/BoitenM04,
author = {Eerke A. Boiten and
Bernhard M{\"{o}}ller},
title = {Foreword},
journal = {Sci. Comput. Program.},
volume = {51},
number = {1-2},
pages = {1--2},
year = {2004},
url = {https://doi.org/10.1016/j.scico.2004.01.009},
doi = {10.1016/J.SCICO.2004.01.009},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BoitenM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/BujorianuB04,
author = {Marius C. Bujorianu and
Eerke A. Boiten},
editor = {Charles Rattray and
Savi Maharaj and
Carron Shankland},
title = {Towards Correspondence Carrying Specifications},
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 = {57--71},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27815-3\_9},
doi = {10.1007/978-3-540-27815-3\_9},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/BujorianuB04.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/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 = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/DerrickB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Boiten03,
author = {Eerke A. Boiten},
title = {"Concepts in Programming Languages" by John C. Mitchell,
Cambridge University Press, 2002, {ISBN} 0-521-78098-5},
journal = {J. Funct. Program.},
volume = {13},
number = {6},
pages = {1087--1088},
year = {2003},
url = {https://doi.org/10.1017/S0956796803004842},
doi = {10.1017/S0956796803004842},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Boiten03.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}
}
@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}
}
@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 = {Sun, 04 Aug 2024 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 = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iee/TaylorBD02.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/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 = {Fri, 04 Jul 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/zum/MiarkaDB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/Boiten02,
author = {Eerke A. Boiten},
editor = {Didier Bert and
Jonathan P. Bowen and
Martin C. Henson and
Ken Robinson},
title = {Loose Specification and Refinement in {Z}},
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 = {226--241},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45648-1\_12},
doi = {10.1007/3-540-45648-1\_12},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/zum/Boiten02.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 = {Sun, 04 Aug 2024 01:00:00 +0200},
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 = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BoitenD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mpc/2002,
editor = {Eerke A. Boiten and
Bernhard M{\"{o}}ller},
title = {Mathematics of Program Construction, 6th International Conference,
{MPC} 2002, Dagstuhl Castle, Germany, July 8-10, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2386},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45442-X},
doi = {10.1007/3-540-45442-X},
isbn = {3-540-43857-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/2002.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/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}
}
@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 = {Sun, 04 Aug 2024 01:00:00 +0200},
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/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 = {Fri, 04 Jul 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/zum/MiarkaBD00.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 = {Sun, 04 Aug 2024 01:00:00 +0200},
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 = {Sun, 04 Aug 2024 01:00:00 +0200},
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 = {Mon, 03 Mar 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stvr/DerrickB99.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/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}
}
@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}
}
@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/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/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}
}
@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}
}
@article{DBLP:journals/ipl/Group95,
author = {Chritiene Aarts and
Roland Carl Backhouse and
Eerke A. Boiten and
Henk Doornbos and
Netty van Gasteren and
Rik van Geldrop and
Paul F. Hoogendijk and
Ed Voermans and
Jaap van der Woude},
title = {Fixed-Point Calculus},
journal = {Inf. Process. Lett.},
volume = {53},
number = {3},
pages = {131--136},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(94)00195-5},
doi = {10.1016/0020-0190(94)00195-5},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Group95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Boiten93,
author = {Eerke A. Boiten},
editor = {Dines Bj{\o}rner and
Manfred Broy and
Igor V. Pottosin},
title = {Parsing in {ISBES}},
booktitle = {Formal Methods in Programming and Their Applications, International
Conference, Akademgorodok, Novosibirsk, Russia, June 28 - July 2,
1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {735},
pages = {423--433},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0039724},
doi = {10.1007/BFB0039724},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/ershov/Boiten93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Boiten92,
author = {Eerke Albert Boiten},
title = {Views of formal program development},
school = {Radboud University Nijmegen, Netherlands},
year = {1992},
url = {http://hdl.handle.net/2066/114048},
timestamp = {Fri, 20 Feb 2026 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/basesearch/Boiten92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/BoitenPTV92,
author = {Eerke A. Boiten and
Helmuth Partsch and
Daniel Tuijnman and
Norbert V{\"{o}}lker},
title = {How to Produce Correct Software - An Introduction to Formal Specification
and Program Development by Transformations},
journal = {Comput. J.},
volume = {35},
number = {6},
pages = {547--554},
year = {1992},
url = {https://doi.org/10.1093/comjnl/35.6.547},
doi = {10.1093/COMJNL/35.6.547},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/BoitenPTV92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Boiten92,
author = {Eerke A. Boiten},
title = {Improving Recursive Functions by Inverting the Order of Evaluation},
journal = {Sci. Comput. Program.},
volume = {18},
number = {2},
pages = {139--179},
year = {1992},
url = {https://doi.org/10.1016/0167-6423(92)90008-Y},
doi = {10.1016/0167-6423(92)90008-Y},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Boiten92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-02-21 23:45 CET 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:
