How to Produce Correct Software - An Introduction to Formal Specification and Program Development by Transformations. - Eerke A. Boiten; Helmuth Partsch; Daniel Tuijnman; Norbert Völker (Comput. J., 1992)

Improving Recursive Functions by Inverting the Order of Evaluation. - Eerke A. Boiten (Sci. Comput. Program., 1992)

Parsing in ISBES. - Eerke A. Boiten (Formal Methods in Programming and Their Applications, 1993)

Fixed-Point Calculus. - 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 (Inf. Process. Lett., 1995)

Consistency and Refinement for Partial Specification in Z. - Eerke A. Boiten; John Derrick; Howard Bowman; Maarten Steen (FME, 1996)

Comparing LOTOS and Z Refinement Relations. - John Derrick; Howard Bowman; Eerke A. Boiten; Maarten Steen (FORTE, 1996)

Issues in multiparadigm viewpoint specification. - Eerke A. Boiten; Howard Bowman; John Derrick; Maarten Steen (ISAW/Viewpoints@FSE, 1996)

Viewpoint Consistency in Z and LOTOS: A Case Study. - Eerke A. Boiten; Howard Bowman; John Derrick; Maarten Steen (FME, 1997)

Disjunction of LOTOS Specifications. - Maarten Steen; Howard Bowman; John Derrick; Eerke A. Boiten (FORTE, 1997)

Weak Refinement in Z. - John Derrick; Eerke A. Boiten; Howard Bowman; Maarten Steen (ZUM, 1997)

Consistency of Partial Process Specifications. - Maarten Steen; John Derrick; Eerke A. Boiten; Howard Bowman (AMAST, 1998)

Testing Refinements by Refining Tests. - John Derrick; Eerke A. Boiten (ZUM, 1998)

Specifying and Refining Internal Operations in Z. - John Derrick; Eerke A. Boiten; Howard Bowman; Maarten Steen (Formal Aspects Comput., 1998)

Non-atomic Refinement in Z. - John Derrick; Eerke A. Boiten (World Congress on Formal Methods, 1999)

Specifying Component and Context Specification Using Promotion. - John Derrick; Eerke A. Boiten (IFM, 1999)

Calculating upward and downward simulations of state-based specifications. - John Derrick; Eerke A. Boiten (Inf. Softw. Technol., 1999)

Constructive Consistency Checking for Partial Specification in Z. - Eerke A. Boiten; John Derrick; Howard Bowman; Maarten Steen (Sci. Comput. Program., 1999)

Strategies for Consistency Checking Based on Unification. - Howard Bowman; Eerke A. Boiten; John Derrick; Maarten Steen (Sci. Comput. Program., 1999)

Testing Refinements of State-based Formal Specifications. - John Derrick; Eerke A. Boiten (Softw. Test. Verification Reliab., 1999)

Refinement of objects and operations in Object-Z. - John Derrick; Eerke A. Boiten (FMOODS, 2000)

A Case Study in Partial Specification: Consistency and Refinement for Object-Z. - Chris Taylor; John Derrick; Eerke A. Boiten (ICFEM, 2000)

Liberating Data Refinement. - Eerke A. Boiten; John Derrick (MPC, 2000)

Guards, Preconditions, and Refinement in Z. - Ralph Miarka; Eerke A. Boiten; John Derrick (ZB, 2000)

Viewpoint consistency in ODP. - Eerke A. Boiten; Howard Bowman; John Derrick; Peter F. Linington; Maarten Steen (Comput. Networks, 2000)

Interpreting ODP Viewpoint Specification: Observations from a Case Study. - Chris Taylor; Eerke A. Boiten; John Derrick (FMOODS, 2002)

Loose Specification and Refinement in Z. - Eerke A. Boiten (ZB, 2002)

Handling Inconsistencies in Z Using Quasi-Classical Logic. - Ralph Miarka; John Derrick; Eerke A. Boiten (ZB, 2002)

Unifying concurrent and relational refinement. - Eerke A. Boiten; John Derrick (Refine, 2002)

Preface. - John Derrick; Eerke A. Boiten; Jim Woodcock 001; Joakim von Wright (Refine, 2002)

Combining Component Specifications in Object-Z and CSP. - John Derrick; Eerke A. Boiten (Formal Aspects Comput., 2002)

A Formal Framework for Viewpoint Consistency. - Howard Bowman; Maarten Steen; Eerke A. Boiten; John Derrick (Formal Methods Syst. Des., 2002)

ODP computational-to-information viewpoint mappings: a translation of CORBA IDL to Z. - Chris Taylor; Eerke A. Boiten; John Derrick (IEE Proc. Softw., 2002)

Recent Advances in Refinement. - John Derrick; Eerke A. Boiten (Abstract State Machines, 2003)

Relational Concurrent Refinement. - John Derrick; Eerke A. Boiten (Formal Aspects Comput., 2003)

"Concepts in Programming Languages" by John C. Mitchell, Cambridge University Press, 2002, ISBN 0-521-78098-5. - Eerke A. Boiten (J. Funct. Program., 2003)

A Relational Framework for the Integration of Specifications. - Eerke A. Boiten; John Derrick (Trans. SDPS, 2003)

Towards Correspondence Carrying Specifications. - Marius C. Bujorianu; Eerke A. Boiten (AMAST, 2004)

Foreword. - Eerke A. Boiten; Bernhard Möller (Sci. Comput. Program., 2004)

Formal Program Development with Approximations. - Eerke A. Boiten; John Derrick (ZB, 2005)

Preface. - John Derrick; Eerke A. Boiten (REFINE, 2005)

Guest Editorial Integrated Formal Methods. - Eerke A. Boiten; John Derrick; Graeme Smith 001 (Formal Aspects Comput., 2005)

Preface. - Bernhard K. Aichernig; Eerke A. Boiten; John Derrick; Lindsay Groves (Refine@ICFEM, 2006)

Relational Concurrent Refinement with Internal Operations. - John Derrick; Eerke A. Boiten (Refine@ICFEM, 2006)

Guest Editorial Editorial for the FAC Special Issue based on derivative papers from "Refine '05". - Eerke A. Boiten; Michael J. Butler (Formal Aspects Comput., 2006)

Preface. - Eerke A. Boiten; John Derrick; Graeme Smith 001 (REFINE@IFM, 2007)

Reduction and Refinement. - Eerke A. Boiten; Dan Grundy (REFINE@IFM, 2007)

From ABZ to Cryptography. - Eerke A. Boiten (ABZ, 2008)

Preface. - Eerke A. Boiten; John Derrick; Gerhard Schellhorn (Refine@FM, 2008)

More Relational Concurrent Refinement: Traces and Partial Relations. - John Derrick; Eerke A. Boiten (Refine@FM, 2008)

Modelling Divergence in Relational Concurrent Refinement. - Eerke A. Boiten; John Derrick (IFM, 2009)

Preface. - Eerke A. Boiten; John Derrick; Steve Reeves (REFINE@FMWeek, 2009)

Relational Concurrent Refinement: Automata. - John Derrick; Eerke A. Boiten (REFINE@FMWeek, 2009)

Editorial. - Eerke A. Boiten (Formal Aspects Comput., 2009)

Relational concurrent refinement part II: Internal operations and outputs. - Eerke A. Boiten; John Derrick; Gerhard Schellhorn (Formal Aspects Comput., 2009)

The Logic of Large Enough. - Eerke A. Boiten; Dan Grundy (MPC, 2010)

Editorial. - Eerke A. Boiten; Michael J. Butler; John Derrick; Graeme Smith 001 (Formal Aspects Comput., 2010)

Incompleteness of relational simulations in the blocking paradigm. - Eerke A. Boiten; John Derrick (Sci. Comput. Program., 2010)

Relational Concurrent Refinement: Timed Refinement. - John Derrick; Eerke A. Boiten (FMOODS/FORTE, 2011)

Perspicuity and Granularity in Refinement - Eerke A. Boiten (Refine@FM, 2011)

Selected papers of the Refinement Workshop Turku (2008). - Eerke A. Boiten; John Derrick; Gerhard Schellhorn (Sci. Comput. Program., 2011)

Editorial. - Eerke A. Boiten; John Derrick; Jin Song Dong; Steve Reeves (Formal Aspects Comput., 2012)

Modeling in Event-B - System and Software Engineering Jean-Raymond Abrial Cambridge University Press, May 2010 ISBN-10: 0521895561. - Eerke A. Boiten (J. Funct. Program., 2012)

From ODP viewpoint consistency to Integrated Formal Methods. - Eerke A. Boiten; John Derrick (Comput. Stand. Interfaces, 2013)

Refinement in Z and Object-Z - Foundations and Advanced Applications (2. ed.). - John Derrick; Eerke A. Boiten (Springer, 2014)

Sealed Containers in Z. - Eerke A. Boiten; Jeremy Jacob (ABZ, 2014)

Introducing extra operations in refinement. - Eerke A. Boiten (Formal Aspects Comput., 2014)

Editorial. - Eerke A. Boiten; John Derrick; Steve Reeves (Formal Aspects Comput., 2014)

Editorial. - Eerke A. Boiten; Steve A. Schneider (Formal Aspects Comput., 2014)

Relational concurrent refinement part III: traces, partial relations and automata. - John Derrick; Eerke A. Boiten (Formal Aspects Comput., 2014)

Simple composition theorems of one-way functions - proofs and presentations. - Jaime Gaspar; Eerke A. Boiten (IACR Cryptol. ePrint Arch., 2014)

Big Data Refinement. - Eerke A. Boiten (Refine@FM, 2015)

Relational Concurrent Refinement - Partial and Total Frameworks. - John Derrick; Eerke A. Boiten (From Action Systems to Distributed Systems, 2016)

Diversity and adjudication. - Eerke A. Boiten (J. Log. Algebraic Methods Program., 2016)

Risks of Sharing Cyber Incident Information. - Adham Albakri; Eerke A. Boiten; Rogério de Lemos (ARES, 2018)

Privacy Risk Assessment: From Art to Science, by Metrics. - Isabel Wagner; Eerke A. Boiten (DPM/CBT@ESORICS, 2018)

Sharing Cyber Threat Intelligence Under the General Data Protection Regulation. - Adham Albakri; Eerke A. Boiten; Rogério de Lemos (APF, 2019)

Intrusion Detection System for Platooning Connected Autonomous Vehicles. - Dimitrios Kosmanos; Apostolos Pappas; Francisco J. Aparicio-Navarro; Leandros A. Maglaras; Helge Janicke; Eerke A. Boiten; Antonios Argyriou (SEEDA-CECNSM, 2019)

Risk Assessment of Sharing Cyber Threat Intelligence. - Adham Albakri; Eerke A. Boiten; Richard Smith 002 (DETIPS/DeSECSys/MPS/SPOSE@ESORICS, 2020)

Utility Promises of Self-Organising Maps in Privacy Preserving Data Mining. - Kabiru Mohammed; Aladdin Ayesh; Eerke A. Boiten (DPM/CBT@ESORICS, 2020)

Challenges in assessing privacy impact: Tales from the front lines. - Fenia Ferra; Isabel Wagner; Eerke A. Boiten; Lee Hadlington; Ismini Psychoula; Richard Snape (Secur. Priv., 2020)

Complementing Privacy and Utility Trade-Off with Self-Organising Maps. - Kabiru Mohammed; Aladdin Ayesh; Eerke A. Boiten (Cryptogr., 2021)

Editorial. - Jordi Cabot; Heike Wehrheim; Eerke A. Boiten (Formal Aspects Comput., 2021)

Unified Communication: What do Digital Activists need? - Thomas Reisinger; Isabel Wagner; Eerke A. Boiten (EuroS&P Workshops, 2023)

Risks and benefits of smart toilets. - Isabel Wagner; Eerke A. Boiten (BuildSys, 2023)

Changes in Conducting Data Protection Risk Assessment and After GDPR implementation. - Fatemeh Zarrabi; Isabel Wagner; Eerke A. Boiten (CoRR, 2023)

What's going on at the back-end? Risks and benefits of smart toilets. - Isabel Wagner; Eerke A. Boiten (CoRR, 2023)

Security and Privacy in Unified Communication. - Thomas Reisinger; Isabel Wagner; Eerke A. Boiten (ACM Comput. Surv., 2023)

SEPPI: Secure and Privacy-Preserving Invitation for Unified Communication Meetings. - Thomas Reisinger; Eerke Albert Boiten; Isabel Wagner (ICNC, 2024)

Privacy-Preserving Generative Models: A Comprehensive Survey. - Debalina Padariya; Isabel Wagner; Aboozar Taherkhani; Eerke A. Boiten (CoRR, 2025)