Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Eerke A. Boiten
@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 = {Tue, 07 May 2024 01:00:00 +0200}, 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 = {Thu, 09 Nov 2023 00:00:00 +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 = {Wed, 03 May 2023 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 = {Mon, 04 Sep 2023 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 = {Mon, 03 Jan 2022 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, 10 Dec 2023 06:07:27 +0100}, 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 = {Sat, 05 Sep 2020 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 = {Fri, 27 Dec 2019 21:19:57 +0100}, 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 = {Tue, 25 Aug 2020 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 = {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/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 = {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} }
@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-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 = {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/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 = {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: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/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 = {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} }
@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/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 = {Thu, 09 Feb 2023 00:00:00 +0100}, 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 = {Mon, 09 May 2022 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 = {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} }
@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 = {Tue, 14 May 2019 10:00:53 +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} }
@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 = {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/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 = {Sat, 27 May 2017 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 = {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/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 = {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: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 = {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/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 = {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/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/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/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} }
@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.