Multi-Agent Cooperative Learning for Robust Vision-Language Alignment under OOD Concepts.

Eerke A. Boiten Eerke Albert Boiten University of Kent, UK http://www.cs.kent.ac.uk/people/staff/eab2/ https://dl.acm.org/profile/81100504720 https://zbmath.org/authors/?q=ai:boiten.eerke-a https://mathscinet.ams.org/mathscinet/MRAuthorID/322449 https://mathgenealogy.org/id.php?id=76349 https://orcid.org/0000-0002-9184-8968 https://www.wikidata.org/entity/Q102257050 https://id.loc.gov/authorities/names/n2001001217 https://d-nb.info/gnd/172542731

Philip Xu Isabel Wagner Eerke A. Boiten Multi-Agent Cooperative Learning for Robust Vision-Language Alignment under OOD Concepts. 2026 January abs/2601.09746 CoRR https://doi.org/10.48550/arXiv.2601.09746 db/journals/corr/corr2601.html#abs-2601-09746 streams/journals/corr

Debalina Padariya Isabel Wagner Aboozar Taherkhani Eerke A. Boiten Privacy-Preserving Generative Models: A Comprehensive Survey. 2025 February abs/2502.03668 CoRR https://doi.org/10.48550/arXiv.2502.03668 db/journals/corr/corr2502.html#abs-2502-03668 streams/journals/corr

Thomas Reisinger Eerke Albert Boiten Isabel Wagner SEPPI: Secure and Privacy-Preserving Invitation for Unified Communication Meetings. 730-736 2024 ICNC https://doi.org/10.1109/ICNC59896.2024.10556130 conf/iccnc/2024 db/conf/iccnc/icnc2024.html#ReisingerBW24

Thomas Reisinger Isabel Wagner Eerke A. Boiten Security and Privacy in Unified Communication. 55:1-55:36 2023 55 ACM Comput. Surv. 3 https://doi.org/10.1145/3498335 https://www.wikidata.org/entity/Q130860432 db/journals/csur/csur55.html#ReisingerWB23

Thomas Reisinger Isabel Wagner Eerke A. Boiten Unified Communication: What do Digital Activists need? 141-149 2023 EuroS&P Workshops https://doi.org/10.1109/EuroSPW59978.2023.00021 conf/eurosp/2023w db/conf/eurosp/eurosp2023w.html#ReisingerWB23 Isabel Wagner Eerke A. Boiten Risks and benefits of smart toilets. 340-346 2023 BuildSys https://doi.org/10.1145/3600100.3625377 conf/sensys/2023buildsys db/conf/sensys/buildsys2023.html#WagnerB23

Fatemeh Zarrabi Isabel Wagner Eerke A. Boiten Changes in Conducting Data Protection Risk Assessment and After GDPR implementation. 2023 abs/2304.11876 CoRR https://doi.org/10.48550/arXiv.2304.11876 db/journals/corr/corr2304.html#abs-2304-11876

Isabel Wagner Eerke A. Boiten What's going on at the back-end? Risks and benefits of smart toilets. 2023 abs/2308.15935 CoRR https://doi.org/10.48550/arXiv.2308.15935 db/journals/corr/corr2308.html#abs-2308-15935

Kabiru Mohammed Aladdin Ayesh Eerke A. Boiten Complementing Privacy and Utility Trade-Off with Self-Organising Maps. 20 2021 5 Cryptogr. 3 https://doi.org/10.3390/cryptography5030020 db/journals/cryptography/cryptography5.html#MohammedAB21

Jordi Cabot Heike Wehrheim Eerke A. Boiten Editorial. 1037 2021 33 Formal Aspects Comput. 6 https://doi.org/10.1007/s00165-021-00565-0 db/journals/fac/fac33.html#CabotWB21

Fenia Ferra Isabel Wagner Eerke A. Boiten Lee Hadlington Ismini Psychoula Richard Snape Challenges in assessing privacy impact: Tales from the front lines. 2020 3 Secur. Priv. 2 https://doi.org/10.1002/spy2.101 https://www.wikidata.org/entity/Q126589025 db/journals/sap/sap3.html#FerraWBHPS20

Kabiru Mohammed Aladdin Ayesh Eerke A. Boiten Utility Promises of Self-Organising Maps in Privacy Preserving Data Mining. 55-72 2020 DPM/CBT@ESORICS https://doi.org/10.1007/978-3-030-66172-4_4 conf/esorics/2020dpm db/conf/esorics/dpm2020.html#MohammedAB20 Adham Albakri Eerke A. Boiten Richard Smith 0002 Risk Assessment of Sharing Cyber Threat Intelligence. 92-113 2020 DETIPS/DeSECSys/MPS/SPOSE@ESORICS https://doi.org/10.1007/978-3-030-66504-3_6 conf/esorics/2020detips db/conf/esorics/detips2020.html#AlbakriBS20 Adham Albakri Eerke A. Boiten Rogério de Lemos Sharing Cyber Threat Intelligence Under the General Data Protection Regulation. 28-41 2019 APF https://doi.org/10.1007/978-3-030-21752-5_3 conf/apf/2019 db/conf/apf/apf2019.html#AlbakriBL19 Dimitrios Kosmanos Apostolos Pappas Francisco J. Aparicio-Navarro Leandros A. Maglaras Helge Janicke Eerke A. Boiten Antonios Argyriou Intrusion Detection System for Platooning Connected Autonomous Vehicles. 1-9 2019 SEEDA-CECNSM https://doi.org/10.1109/SEEDA-CECNSM.2019.8908528 conf/seeda/2019 db/conf/seeda/seeda2019.html#KosmanosPAMJBA19 Adham Albakri Eerke A. Boiten Rogério de Lemos Risks of Sharing Cyber Incident Information. 58:1-58:10 2018 ARES https://doi.org/10.1145/3230833.3233284 conf/IEEEares/2018 db/conf/IEEEares/ares2018.html#AlbakriBL18 Isabel Wagner Eerke A. Boiten Privacy Risk Assessment: From Art to Science, by Metrics. 225-241 2018 DPM/CBT@ESORICS https://doi.org/10.1007/978-3-030-00305-0_17 conf/esorics/2018dpm db/conf/esorics/dpm2018.html#WagnerB18

Isabel Wagner Eerke A. Boiten Privacy Risk Assessment: From Art to Science, By Metrics. 2017 abs/1709.03776 CoRR http://arxiv.org/abs/1709.03776 db/journals/corr/corr1709.html#abs-1709-03776

Eerke A. Boiten Diversity and adjudication. 860-866 2016 85 J. Log. Algebraic Methods Program. 5 https://doi.org/10.1016/j.jlamp.2015.10.007 db/journals/jlp/jlp85.html#Boiten16

John Derrick Eerke A. Boiten Relational Concurrent Refinement - Partial and Total Frameworks. 143-154 2016 From Action Systems to Distributed Systems https://doi.org/10.1201/b20053-15 books/crc/asds2016 db/books/collections/asds2016.html#DerrickB16 John Derrick Eerke A. Boiten Steve Reeves Proceedings 17th International Workshop on Refinement, Refine@FM 2015, Oslo, Norway, 22nd June 2015. Refine@FM 2016 EPTCS 209 db/series/eptcs/eptcs209.html https://doi.org/10.4204/EPTCS.209 http://arxiv.org/abs/1606.01344 Eerke A. Boiten Big Data Refinement. Refine@FM 2015 17-23 https://doi.org/10.4204/EPTCS.209.2 http://arxiv.org/abs/1606.02017 journals/corr/DerrickBR16 db/series/eptcs/eptcs209.html#Boiten16

Eerke A. Boiten Diversity and Adjudication. 2015 abs/1511.03124 CoRR http://arxiv.org/abs/1511.03124 db/journals/corr/corr1511.html#Boiten15

John Derrick Eerke A. Boiten Refinement in Z and Object-Z - Foundations and Advanced Applications (2. ed.). I-XVIII, 1-492 Springer 2014 978-1-4471-5354-2 https://doi.org/10.1007/978-1-4471-5355-9

Eerke A. Boiten Steve A. Schneider Editorial. 1-2 2014 26 Formal Aspects Comput. 1 https://doi.org/10.1007/s00165-013-0290-7 https://www.wikidata.org/entity/Q60173557 db/journals/fac/fac26.html#BoitenS14

Eerke A. Boiten John Derrick Steve Reeves Editorial. 195 2014 26 Formal Aspects Comput. 2 https://doi.org/10.1007/s00165-014-0293-z https://www.wikidata.org/entity/Q59651664 db/journals/fac/fac26.html#BoitenDR14

Eerke A. Boiten Introducing extra operations in refinement. 305-317 2014 26 Formal Aspects Comput. 2 https://doi.org/10.1007/s00165-012-0266-z db/journals/fac/fac26.html#Boiten14

John Derrick Eerke A. Boiten Relational concurrent refinement part III: traces, partial relations and automata. 407-432 2014 26 Formal Aspects Comput. 2 https://doi.org/10.1007/s00165-012-0262-3 db/journals/fac/fac26.html#DerrickB14

Eerke A. Boiten Jeremy Jacob Sealed Containers in Z. 136-141 2014 ABZ https://doi.org/10.1007/978-3-662-43652-3_12 conf/asm/2014 db/conf/asm/abz2014.html#BoitenJ14

Jaime Gaspar Eerke A. Boiten Simple composition theorems of one-way functions - proofs and presentations. 1006 2014 2014 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2014/1006 db/journals/iacr/iacr2014.html#GasparB14

Eerke A. Boiten John Derrick From ODP viewpoint consistency to Integrated Formal Methods. 269-276 2013 35 Comput. Stand. Interfaces 3 https://doi.org/10.1016/j.csi.2011.10.015 db/journals/csi/csi35.html#BoitenD13

John Derrick Eerke A. Boiten Steve Reeves Proceedings 16th International Refinement Workshop, Refine@IFM 2013, Turku, Finland, 11th June 2013. Refine@IFM https://doi.org/10.4204/EPTCS.115 http://arxiv.org/abs/1305.5634 2013 EPTCS 115 db/series/eptcs/eptcs115.html

Eerke A. Boiten John Derrick Jin Song Dong 0001 Steve Reeves Editorial. 1 2012 24 Formal Aspects Comput. 1 https://doi.org/10.1007/s00165-011-0220-5 https://www.wikidata.org/entity/Q59651669 db/journals/fac/fac24.html#BoitenDDR12

Eerke A. Boiten <i>Modeling in Event-B - System and Software Engineering</i> Jean-Raymond Abrial Cambridge University Press, May 2010 ISBN-10: 0521895561. 217-219 2012 22 J. Funct. Program. 2 https://doi.org/10.1017/S0956796812000081 db/journals/jfp/jfp22.html#Boiten12

Eerke A. Boiten John Derrick Gerhard Schellhorn Selected papers of the Refinement Workshop Turku (2008). 737-738 2011 76 Sci. Comput. Program. 9 https://doi.org/10.1016/j.scico.2011.03.003 db/journals/scp/scp76.html#BoitenDS11

John Derrick Eerke A. Boiten Relational Concurrent Refinement: Timed Refinement. 121-137 2011 FMOODS/FORTE https://doi.org/10.1007/978-3-642-21461-5_8 conf/forte/2011 db/conf/forte/forte2011.html#DerrickB11 Eerke A. Boiten Perspicuity and Granularity in Refinement Refine@FM 2011 155-165 https://doi.org/10.4204/EPTCS.55.10 http://arxiv.org/abs/1106.4099 journals/corr/abs-1106-3488 db/series/eptcs/eptcs55.html#abs-1106-4099 John Derrick Eerke A. Boiten Steve Reeves Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011. Refine@FM https://doi.org/10.4204/EPTCS.55 http://arxiv.org/abs/1106.3488 2011 EPTCS 55 db/series/eptcs/eptcs55.html

Eerke A. Boiten Michael J. Butler John Derrick Graeme Smith 0001 Editorial. 1 2010 22 Formal Aspects Comput. 1 https://doi.org/10.1007/s00165-009-0147-2 https://www.wikidata.org/entity/Q59625910 db/journals/fac/fac22.html#BoitenBDS10

Eerke A. Boiten John Derrick Incompleteness of relational simulations in the blocking paradigm. 1262-1269 2010 75 Sci. Comput. Program. 12 https://doi.org/10.1016/j.scico.2010.07.003 db/journals/scp/scp75.html#BoitenD10

Eerke A. Boiten Dan Grundy The Logic of Large Enough. 42-57 2010 MPC https://doi.org/10.1007/978-3-642-13321-3_5 conf/mpc/2010 db/conf/mpc/mpc2010.html#BoitenG10

Eerke A. Boiten Editorial. 1 2009 21 Formal Aspects Comput. 1-2 https://doi.org/10.1007/s00165-008-0100-9 https://www.wikidata.org/entity/Q59625941 db/journals/fac/fac21.html#Boiten09

Eerke A. Boiten John Derrick Gerhard Schellhorn Relational concurrent refinement part II: Internal operations and outputs. 65-102 2009 21 Formal Aspects Comput. 1-2 https://doi.org/10.1007/s00165-007-0066-z db/journals/fac/fac21.html#BoitenDS09

Eerke A. Boiten John Derrick Modelling Divergence in Relational Concurrent Refinement. 183-199 2009 IFM https://doi.org/10.1007/978-3-642-00255-7_13 conf/ifm/2009 db/conf/ifm/ifm2009.html#BoitenD09 Eerke A. Boiten John Derrick Steve Reeves Preface. 1 2009 conf/refine/2009 REFINE@FMWeek https://doi.org/10.1016/j.entcs.2009.12.013 https://www.wikidata.org/entity/Q59651681 db/journals/entcs/entcs259.html#BoitenDR09 John Derrick Eerke A. Boiten Relational Concurrent Refinement: Automata. 21-34 2009 conf/refine/2009 REFINE@FMWeek https://doi.org/10.1016/j.entcs.2009.12.015 db/journals/entcs/entcs259.html#DerrickB09 Eerke A. Boiten John Derrick Steve Reeves Proceedings of the 14th BCS-FACS Refinement Workshop, REFINE@FMWeek 2009, Eindhoven, The Netherlands, November 2009 REFINE@FMWeek Electronic Notes in Theoretical Computer Science 259 Elsevier 2009 https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/259/suppl/C db/journals/entcs/entcs259.html Eerke A. Boiten From ABZ to Cryptography. 353 2008 ABZ https://doi.org/10.1007/978-3-540-87603-8_40 conf/asm/2008 db/conf/asm/abz2008.html#Boiten08 Eerke A. Boiten John Derrick Gerhard Schellhorn Preface. 1 2008 conf/refine/2008 Refine@FM https://doi.org/10.1016/j.entcs.2008.06.001 db/journals/entcs/entcs214.html#BoitenDS08a John Derrick Eerke A. Boiten More Relational Concurrent Refinement: Traces and Partial Relations. 255-276 2008 conf/refine/2008 Refine@FM https://doi.org/10.1016/j.entcs.2008.06.012 db/journals/entcs/entcs214.html#DerrickB08 Eerke A. Boiten John Derrick Graeme Smith 0001 Proceedings of the BCS-FACS Refinement Workshop, REFINE@IFM 2007, Oxford, UK, July 2007 REFINE@IFM Electronic Notes in Theoretical Computer Science 201 Elsevier 2008 https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/201/suppl/C db/journals/entcs/entcs201.html Eerke A. Boiten John Derrick Gerhard Schellhorn Proceedings of the 13th BAC-FACS Refinement Workshop, Refine@FM 2008, Turku, Finland, May 27, 2008 Refine@FM Electronic Notes in Theoretical Computer Science 214 Elsevier 2008 https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/214/suppl/C db/journals/entcs/entcs214.html Eerke A. Boiten John Derrick Graeme Smith 0001 Preface. 1 2007 conf/refine/2007 REFINE@IFM https://doi.org/10.1016/j.entcs.2008.02.012 db/journals/entcs/entcs201.html#BoitenDS08 Eerke A. Boiten Dan Grundy Reduction and Refinement. 31-44 2007 conf/refine/2007 REFINE@IFM https://doi.org/10.1016/j.entcs.2008.02.014 db/journals/entcs/entcs201.html#BoitenG08 Bernhard K. Aichernig Eerke A. Boiten John Derrick Lindsay Groves Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao, October 31, 2006 2007 Refine@ICFEM Electronic Notes in Theoretical Computer Science 187 Elsevier https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/187/suppl/C db/journals/entcs/entcs187.html

Eerke A. Boiten Michael J. Butler Guest Editorial Editorial for the FAC Special Issue based on derivative papers from "Refine '05". 263 2006 18 Formal Aspects Comput. 3 https://doi.org/10.1007/s00165-006-0009-0 https://www.wikidata.org/entity/Q59625994 db/journals/fac/fac18.html#BoitenB06

Bernhard K. Aichernig Eerke A. Boiten John Derrick Lindsay Groves Preface. 1 2006 conf/refine/2006 Refine@ICFEM https://doi.org/10.1016/j.entcs.2006.08.040 db/journals/entcs/entcs187.html#AichernigBDG07 John Derrick Eerke A. Boiten Relational Concurrent Refinement with Internal Operations. 35-53 2006 conf/refine/2006 Refine@ICFEM https://doi.org/10.1016/j.entcs.2006.08.043 db/journals/entcs/entcs187.html#DerrickB07

Eerke A. Boiten John Derrick Graeme Smith 0001 Guest Editorial Integrated Formal Methods. 389-389 2005 17 Formal Aspects Comput. 4 https://doi.org/10.1007/s00165-005-0078-5 db/journals/fac/fac17.html#BoitenDS05

Eerke A. Boiten John Derrick Formal Program Development with Approximations. 374-392 2005 conf/zum/2005 ZB https://doi.org/10.1007/11415787_22 db/conf/zum/zb2005.html#BoitenD05 John Derrick Eerke A. Boiten Preface. 1-3 2005 conf/refine/2005 REFINE https://doi.org/10.1016/j.entcs.2005.04.021 db/conf/refine/refine2005.html#DerrickB05 John Derrick Eerke A. Boiten Proceedings of the REFINE 2005 Workshop, REFINE 2005, Guildford, UK, April 2005 REFINE Electronic Notes in Theoretical Computer Science 137 2 Elsevier 2005 https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/137/issue/2 db/conf/refine/refine2005.html

Eerke A. Boiten Bernhard Möller Foreword. 1-2 2004 51 Sci. Comput. Program. 1-2 https://doi.org/10.1016/j.scico.2004.01.009 db/journals/scp/scp51.html#BoitenM04

Marius C. Bujorianu Eerke A. Boiten Towards Correspondence Carrying Specifications. 57-71 https://doi.org/10.1007/978-3-540-27815-3_9 2004 conf/amast/2004 AMAST db/conf/amast/amast2004.html#BujorianuB04 Eerke A. Boiten John Derrick Graeme Smith 0001 Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings IFM Lecture Notes in Computer Science 2999 Springer 2004 3-540-21377-5 https://doi.org/10.1007/b96106 db/conf/ifm/ifm2004.html

John Derrick Eerke A. Boiten Relational Concurrent Refinement. 182-214 2003 15 Formal Aspects Comput. 2-3 https://doi.org/10.1007/s00165-003-0007-4 db/journals/fac/fac15.html#DerrickB03

Eerke A. Boiten "Concepts in Programming Languages" by John C. Mitchell, Cambridge University Press, 2002, ISBN 0-521-78098-5. 1087-1088 2003 13 J. Funct. Program. 6 https://doi.org/10.1017/S0956796803004842 db/journals/jfp/jfp13.html#Boiten03

Eerke A. Boiten John Derrick A Relational Framework for the Integration of Specifications. 39-48 2003 7 Trans. SDPS 3 http://content.iospress.com/articles/journal-of-integrated-design-and-process-science/jid7-3-03 db/journals/jid/jid7.html#BoitenD03

John Derrick Eerke A. Boiten Recent Advances in Refinement. 33-56 2003 conf/asm/2003 Abstract State Machines https://doi.org/10.1007/3-540-36498-6_3 db/conf/asm/asm2003.html#DerrickB03

John Derrick Eerke A. Boiten Combining Component Specifications in Object-Z and CSP. 111-127 2002 13 Formal Aspects Comput. 2 https://doi.org/10.1007/s001650200002 db/journals/fac/fac13.html#DerrickB02

Howard Bowman Maarten Steen Eerke A. Boiten John Derrick A Formal Framework for Viewpoint Consistency. 111-166 2002 21 Formal Methods Syst. Des. 2 db/journals/fmsd/fmsd21.html#BowmanSBD02 https://doi.org/10.1023/A:1016000201864

Chris Taylor Eerke A. Boiten John Derrick ODP computational-to-information viewpoint mappings: a translation of CORBA IDL to Z. 57-63 2002 149 IEE Proc. Softw. 2 db/journals/iee/iee-s149.html#TaylorBD02 https://doi.org/10.1049/ip-sen:20020318

Chris Taylor Eerke A. Boiten John Derrick Interpreting ODP Viewpoint Specification: Observations from a Case Study. 61-76 2002 conf/fmoods/2002 FMOODS db/conf/fmoods/fmoods2002.html#TaylorBD02 Ralph Miarka John Derrick Eerke A. Boiten Handling Inconsistencies in Z Using Quasi-Classical Logic. 204-225 2002 conf/zum/2002 ZB https://doi.org/10.1007/3-540-45648-1_11 db/conf/zum/zb2002.html#MiarkaDB02 Eerke A. Boiten Loose Specification and Refinement in Z. 226-241 2002 conf/zum/2002 ZB https://doi.org/10.1007/3-540-45648-1_12 db/conf/zum/zb2002.html#Boiten02 John Derrick Eerke A. Boiten Jim Woodcock 0001 Joakim von Wright Preface. 2002 conf/refine/2002 Refine 1-2 https://doi.org/10.1016/S1571-0661(05)80478-5 db/conf/refine/refine2002.html#DerrickBWW02 Eerke A. Boiten John Derrick Unifying concurrent and relational refinement. 2002 conf/refine/2002 Refine https://doi.org/10.1016/S1571-0661(05)80488-8 db/conf/refine/refine2002.html#BoitenD02 94-131 Eerke A. Boiten Bernhard Möller Mathematics of Program Construction, 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002, Proceedings MPC Lecture Notes in Computer Science 2386 Springer 2002 3-540-43857-2 https://doi.org/10.1007/3-540-45442-X db/conf/mpc/mpc2002.html John Derrick Eerke A. Boiten Jim Woodcock 0001 Joakim von Wright BCS FACS Refinement Workshop 2002, Refine 2002, Satellite Event of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002 Refine Electronic Notes in Theoretical Computer Science 70 3 Elsevier 2002 https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/70/issue/3 db/conf/refine/refine2002.html

Eerke A. Boiten Howard Bowman John Derrick Peter F. Linington Maarten Steen Viewpoint consistency in ODP. 503-537 2000 34 Comput. Networks 3 db/journals/cn/cn34.html#BoitenBDLS00 https://doi.org/10.1016/S1389-1286(00)00114-6

John Derrick Eerke A. Boiten Refinement of objects and operations in Object-Z. 257-277 2000 conf/fmoods/2000 FMOODS db/conf/fmoods/fmoods2000.html#DerrickB00 https://doi.org/10.1007/978-0-387-35520-7_13 Chris Taylor John Derrick Eerke A. Boiten A Case Study in Partial Specification: Consistency and Refinement for Object-Z. 177-188 2000 conf/icfem/2000 ICFEM https://doi.org/10.1109/ICFEM.2000.873818 https://doi.ieeecomputersociety.org/10.1109/ICFEM.2000.873818 db/conf/icfem/icfem2000.html#TaylorDB00 Eerke A. Boiten John Derrick Liberating Data Refinement. 144-166 2000 conf/mpc/2000 MPC db/conf/mpc/mpc2000.html#BoitenD00 https://doi.org/10.1007/10722010_11 Ralph Miarka Eerke A. Boiten John Derrick Guards, Preconditions, and Refinement in Z. 286-303 2000 conf/zum/2000 ZB https://doi.org/10.1007/3-540-44525-0_17 db/conf/zum/zb2000.html#MiarkaBD00

John Derrick Eerke A. Boiten Calculating upward and downward simulations of state-based specifications. 917-923 1999 41 Inf. Softw. Technol. 13 https://doi.org/10.1016/S0950-5849(99)00044-0 db/journals/infsof/infsof41.html#DerrickB99

Howard Bowman Eerke A. Boiten John Derrick Maarten Steen Strategies for Consistency Checking Based on Unification. 261-298 1999 33 Sci. Comput. Program. 3 db/journals/scp/scp33.html#BowmanBDS99 https://doi.org/10.1016/S0167-6423(98)00017-3

Eerke A. Boiten John Derrick Howard Bowman Maarten Steen Constructive Consistency Checking for Partial Specification in Z. 29-75 1999 35 Sci. Comput. Program. 1 db/journals/scp/scp35.html#BoitenDBS99 https://doi.org/10.1016/S0167-6423(99)00006-4

John Derrick Eerke A. Boiten Testing Refinements of State-based Formal Specifications. 27-50 1999 9 Softw. Test. Verification Reliab. 1 db/journals/stvr/stvr9.html#DerrickB99 https://doi.org/10.1002/(SICI)1099-1689(199903)9:1<27::AID-STVR172>3.0.CO;2-B

John Derrick Eerke A. Boiten Non-atomic Refinement in Z. 1477-1496 1999 conf/fm/1999-2 World Congress on Formal Methods https://doi.org/10.1007/3-540-48118-4_28 db/conf/fm/fm1999-2.html#DerrickB99 John Derrick Eerke A. Boiten Specifying Component and Context Specification Using Promotion. 293-312 1999 conf/ifm/1999 IFM db/conf/ifm/ifm1999.html#DerrickB99 https://doi.org/10.1007/978-1-4471-0851-1_16

John Derrick Eerke A. Boiten Howard Bowman Maarten Steen Specifying and Refining Internal Operations in Z. 125-159 1998 10 Formal Aspects Comput. 2 db/journals/fac/fac10.html#DerrickBBS98 https://doi.org/10.1007/s001650050007

Maarten Steen John Derrick Eerke A. Boiten Howard Bowman Consistency of Partial Process Specifications. 248-262 1998 conf/amast/1998 AMAST https://doi.org/10.1007/3-540-49253-4_19 db/conf/amast/amast98.html#SteenDBB98 John Derrick Eerke A. Boiten Testing Refinements by Refining Tests. 265-283 1998 conf/zum/1998 ZUM db/conf/zum/zum1998.html#DerrickB98 https://doi.org/10.1007/978-3-540-49676-2_19 Eerke A. Boiten Howard Bowman John Derrick Maarten Steen Viewpoint Consistency in Z and LOTOS: A Case Study. 644-664 1997 conf/fm/1997 FME db/conf/fm/fme1997.html#BoitenBDS97 https://doi.org/10.1007/3-540-63533-5_34 Maarten Steen Howard Bowman John Derrick Eerke A. Boiten Disjunction of LOTOS Specifications. 177-192 1997 conf/forte/1997 FORTE db/conf/forte/forte1997.html#SteenBDB97 John Derrick Eerke A. Boiten Howard Bowman Maarten Steen Weak Refinement in Z. 369-388 1997 conf/zum/1997 ZUM db/conf/zum/zum1997.html#DerrickBBS97 https://doi.org/10.1007/BFb0027298 Eerke A. Boiten John Derrick Howard Bowman Maarten Steen Consistency and Refinement for Partial Specification in Z. 287-306 1996 conf/fm/1996 FME db/conf/fm/fme1996.html#BoitenDBS96 https://doi.org/10.1007/3-540-60973-3_93 John Derrick Howard Bowman Eerke A. Boiten Maarten Steen Comparing LOTOS and Z Refinement Relations. 501-516 1996 conf/forte/1996 FORTE db/conf/forte/forte1996.html#DerrickBBS96 Eerke A. Boiten Howard Bowman John Derrick Maarten Steen Issues in multiparadigm viewpoint specification. 162-166 1996 ISAW/Viewpoints@FSE https://doi.org/10.1145/243327.243639 conf/sigsoft/1996isaw db/conf/sigsoft/isaw1996.html#BoitenBDS96

Chritiene Aarts Roland Carl Backhouse Eerke A. Boiten Henk Doornbos Netty van Gasteren Rik van Geldrop Paul F. Hoogendijk Ed Voermans Jaap van der Woude Fixed-Point Calculus. 131-136 1995 53 Inf. Process. Lett. 3 db/journals/ipl/ipl53.html#Group95 https://doi.org/10.1016/0020-0190(94)00195-5

Eerke A. Boiten Parsing in ISBES. 423-433 1993 conf/ershov/1993 Formal Methods in Programming and Their Applications db/conf/ershov/ershov1993.html#Boiten93 https://doi.org/10.1007/BFb0039724 Eerke Albert Boiten Views of formal program development. 1992 Radboud University Nijmegen, Netherlands http://hdl.handle.net/2066/114048 https://repository.ubn.ru.nl/bitstream/handle/2066/114048/mmubn000001_135482607.pdf https://www.base-search.net/Record/2ea2123b8a6dde7a5d69ecd090b601818bf636f55be86bb9c56c11b48e589642 base-search.net (ftunivnijmegen:oai:repository.ubn.ru.nl:2066/114048)

Eerke A. Boiten Helmuth Partsch Daniel Tuijnman Norbert Völker How to Produce Correct Software - An Introduction to Formal Specification and Program Development by Transformations. 547-554 1992 35 Comput. J. 6 db/journals/cj/cj35.html#BoitenPTV92 https://doi.org/10.1093/comjnl/35.6.547

Eerke A. Boiten Improving Recursive Functions by Inverting the Order of Evaluation. 139-179 1992 18 Sci. Comput. Program. 2 db/journals/scp/scp18.html#Boiten92 https://doi.org/10.1016/0167-6423(92)90008-Y

Chritiene Aarts Bernhard K. Aichernig Adham Albakri Francisco J. Aparicio-Navarro Antonios Argyriou Aladdin Ayesh Roland Carl Backhouse Howard Bowman Marius C. Bujorianu Michael J. Butler Jordi Cabot John Derrick Jin Song Dong 0001 Henk Doornbos Fenia Ferra Jaime Gaspar Netty van Gasteren Rik van Geldrop Lindsay Groves Dan Grundy Lee Hadlington Paul F. Hoogendijk Jeremy L. JacobJeremy Jacob Helge Janicke Fatemeh Zarrabi JorshariFatemeh Zarrabi Dimitrios Kosmanos Rogério de Lemos Peter F. Linington Leandros MaglarasLeandros A. Maglaras Ralph Miarka Kabiru Mohammed Bernhard Möller Debalina Padariya Apostolos Pappas Helmuth Partsch Ismini Psychoula Steve Reeves Thomas Reisinger Gerhard Schellhorn Steve A. Schneider Graeme Smith 0001 Richard Smith 0002 Richard Snape Maarten W. A. SteenMaarten Steen Aboozar Taherkhani Chris Taylor Daniel Tuijnman Ed Voermans Norbert Völker Isabel Wagner Heike Wehrheim Jim Woodcock 0001 Jaap van der Woude Joakim von Wright Philip Xu