Eerke A. Boiten

Publication Activity (10 Years)

Years Active: 1992-2023
Publications (10 Years): 18

Top Topics

Risk Assessment

Autonomous Vehicles

Data Protection

Intrusion Detection

Top Venues

Formal Aspects Comput.

DPM/CBT@ESORICS

J. Log. Algebraic Methods Program.

Publications

Fatemeh Zarrabi, Isabel Wagner, Eerke A. Boiten
Changes in Conducting Data Protection Risk Assessment and After GDPR implementation. CoRR (2023)
Thomas Reisinger, Isabel Wagner, Eerke A. Boiten
Unified Communication: What do Digital Activists need? EuroS&P Workshops (2023)
Isabel Wagner, Eerke A. Boiten
What's going on at the back-end? Risks and benefits of smart toilets. CoRR (2023)
Isabel Wagner, Eerke A. Boiten
Risks and benefits of smart toilets. BuildSys@SenSys (2023)
Thomas Reisinger, Isabel Wagner, Eerke A. Boiten
Security and Privacy in Unified Communication. ACM Comput. Surv. 55 (3) (2023)
Jordi Cabot, Heike Wehrheim, Eerke A. Boiten
Editorial. Formal Aspects Comput. 33 (6) (2021)
Kabiru Mohammed, Aladdin Ayesh, Eerke A. Boiten
Complementing Privacy and Utility Trade-Off with Self-Organising Maps. Cryptogr. 5 (3) (2021)
Fenia Ferra, Isabel Wagner, Eerke A. Boiten, Lee Hadlington, Ismini Psychoula, Richard Snape
Challenges in assessing privacy impact: Tales from the front lines. Secur. Priv. 3 (2) (2020)
Kabiru Mohammed, Aladdin Ayesh, Eerke A. Boiten
Utility Promises of Self-Organising Maps in Privacy Preserving Data Mining. DPM/CBT@ESORICS (2020)
Adham Albakri, Eerke A. Boiten, Richard Smith
Risk Assessment of Sharing Cyber Threat Intelligence. DETIPS/DeSECSys/MPS/SPOSE@ESORICS (2020)
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. SEEDA-CECNSM (2019)
Adham Albakri, Eerke A. Boiten, Rogério de Lemos
Sharing Cyber Threat Intelligence Under the General Data Protection Regulation. APF (2019)
Isabel Wagner, Eerke A. Boiten
Privacy Risk Assessment: From Art to Science, by Metrics. DPM/CBT@ESORICS (2018)
Adham Albakri, Eerke A. Boiten, Rogério de Lemos
Risks of Sharing Cyber Incident Information. ARES (2018)
Isabel Wagner, Eerke A. Boiten
Privacy Risk Assessment: From Art to Science, By Metrics. CoRR (2017)
Eerke A. Boiten
Diversity and adjudication. J. Log. Algebraic Methods Program. 85 (5) (2016)
Eerke A. Boiten
Diversity and Adjudication. CoRR (2015)
Eerke A. Boiten
Big Data Refinement. Refine@FM (2015)
Eerke A. Boiten, Steve A. Schneider
Editorial. Formal Aspects Comput. 26 (1) (2014)
Eerke A. Boiten, Jeremy Jacob
Sealed Containers in Z. ABZ (2014)
John Derrick, Eerke A. Boiten
Relational concurrent refinement part III: traces, partial relations and automata. Formal Aspects Comput. 26 (2) (2014)
Eerke A. Boiten
Introducing extra operations in refinement. Formal Aspects Comput. 26 (2) (2014)
Eerke A. Boiten, John Derrick, Steve Reeves
Editorial. Formal Aspects Comput. 26 (2) (2014)
Jaime Gaspar, Eerke A. Boiten
Simple composition theorems of one-way functions - proofs and presentations. IACR Cryptol. ePrint Arch. 2014 (2014)
Eerke A. Boiten, John Derrick
From ODP viewpoint consistency to Integrated Formal Methods. Comput. Stand. Interfaces 35 (3) (2013)
Eerke A. Boiten, John Derrick, Jin Song Dong, Steve Reeves
Editorial. Formal Aspects Comput. 24 (1) (2012)
Eerke A. Boiten
Jean-Raymond Abrial Cambridge University Press, May 2010 ISBN-10: 0521895561. J. Funct. Program. 22 (2) (2012)
John Derrick, Eerke A. Boiten
Relational Concurrent Refinement: Timed Refinement. FMOODS/FORTE (2011)
Eerke A. Boiten
Perspicuity and Granularity in Refinement Refine@FM (2011)
Eerke A. Boiten, John Derrick, Gerhard Schellhorn
Selected papers of the Refinement Workshop Turku (2008). Sci. Comput. Program. 76 (9) (2011)
Eerke A. Boiten, Michael J. Butler, John Derrick, Graeme Smith
Editorial. Formal Aspects Comput. 22 (1) (2010)
Eerke A. Boiten, Dan Grundy
The Logic of Large Enough. MPC (2010)
Eerke A. Boiten, John Derrick
Incompleteness of relational simulations in the blocking paradigm. Sci. Comput. Program. 75 (12) (2010)
Eerke A. Boiten, John Derrick, Steve Reeves
Preface. Electron. Notes Theor. Comput. Sci. 259 (2009)
Eerke A. Boiten, John Derrick, Gerhard Schellhorn
Relational concurrent refinement part II: Internal operations and outputs. Formal Aspects Comput. 21 (1-2) (2009)
Eerke A. Boiten
Editorial. Formal Aspects Comput. 21 (1-2) (2009)
Eerke A. Boiten, John Derrick
Modelling Divergence in Relational Concurrent Refinement. IFM (2009)
John Derrick, Eerke A. Boiten
Relational Concurrent Refinement: Automata. Electron. Notes Theor. Comput. Sci. 259 (2009)
Eerke A. Boiten
From ABZ to Cryptography. ABZ (2008)
Eerke A. Boiten, John Derrick, Gerhard Schellhorn
Preface. Electron. Notes Theor. Comput. Sci. 214 (2008)
John Derrick, Eerke A. Boiten
More Relational Concurrent Refinement: Traces and Partial Relations. Electron. Notes Theor. Comput. Sci. 214 (2008)
Eerke A. Boiten, John Derrick, Graeme Smith
Preface. Electron. Notes Theor. Comput. Sci. 201 (2008)
Eerke A. Boiten, Dan Grundy
Reduction and Refinement. Electron. Notes Theor. Comput. Sci. 201 (2008)
Bernhard K. Aichernig, Eerke A. Boiten, John Derrick, Lindsay Groves
Preface. Electron. Notes Theor. Comput. Sci. 187 (2007)
John Derrick, Eerke A. Boiten
Relational Concurrent Refinement with Internal Operations. Electron. Notes Theor. Comput. Sci. 187 (2007)
Eerke A. Boiten, Michael J. Butler
Guest Editorial Editorial for the FAC Special Issue based on derivative papers from "Refine '05". Formal Aspects Comput. 18 (3) (2006)
Eerke A. Boiten, John Derrick
Formal Program Development with Approximations. ZB (2005)
John Derrick, Eerke A. Boiten
Preface. Electron. Notes Theor. Comput. Sci. 137 (2) (2005)
Eerke A. Boiten, John Derrick, Graeme Smith
Guest Editorial Integrated Formal Methods. Formal Aspects Comput. 17 (4) (2005)
Marius C. Bujorianu, Eerke A. Boiten
Towards Correspondence Carrying Specifications. AMAST (2004)
Eerke A. Boiten, Bernhard Möller
Foreword. Sci. Comput. Program. 51 (1-2) (2004)
Eerke A. Boiten, John Derrick
A Relational Framework for the Integration of Specifications. Trans. SDPS 7 (3) (2003)
John Derrick, Eerke A. Boiten
Relational Concurrent Refinement. Formal Aspects Comput. 15 (2-3) (2003)
John Derrick, Eerke A. Boiten
Recent Advances in Refinement. Abstract State Machines (2003)
Eerke A. Boiten
"Concepts in Programming Languages" by John C. Mitchell, Cambridge University Press, 2002, ISBN 0-521-78098-5. J. Funct. Program. 13 (6) (2003)
Eerke A. Boiten, John Derrick
Unifying concurrent and relational refinement. Electron. Notes Theor. Comput. Sci. 70 (3) (2002)
John Derrick, Eerke A. Boiten, Jim Woodcock, Joakim von Wright
Preface. Electron. Notes Theor. Comput. Sci. 70 (3) (2002)
Ralph Miarka, John Derrick, Eerke A. Boiten
Handling Inconsistencies in Z Using Quasi-Classical Logic. ZB (2002)
John Derrick, Eerke A. Boiten
Combining Component Specifications in Object-Z and CSP. Formal Aspects Comput. 13 (2) (2002)
Chris Taylor, Eerke A. Boiten, John Derrick
Interpreting ODP Viewpoint Specification: Observations from a Case Study. FMOODS (2002)
Eerke A. Boiten
Loose Specification and Refinement in Z. ZB (2002)
Chris Taylor, Eerke A. Boiten, John Derrick
ODP computational-to-information viewpoint mappings: a translation of CORBA IDL to Z. IEE Proc. Softw. 149 (2) (2002)
Howard Bowman, Maarten Steen, Eerke A. Boiten, John Derrick
A Formal Framework for Viewpoint Consistency. Formal Methods Syst. Des. 21 (2) (2002)
Chris Taylor, John Derrick, Eerke A. Boiten
A Case Study in Partial Specification: Consistency and Refinement for Object-Z. ICFEM (2000)
Eerke A. Boiten, John Derrick
Liberating Data Refinement. MPC (2000)
Eerke A. Boiten, Howard Bowman, John Derrick, Peter F. Linington, Maarten Steen
Viewpoint consistency in ODP. Comput. Networks 34 (3) (2000)
John Derrick, Eerke A. Boiten
Refinement of objects and operations in Object-Z. FMOODS (2000)
Ralph Miarka, Eerke A. Boiten, John Derrick
Guards, Preconditions, and Refinement in Z. ZB (2000)
Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen
Constructive Consistency Checking for Partial Specification in Z. Sci. Comput. Program. 35 (1) (1999)
John Derrick, Eerke A. Boiten
Specifying Component and Context Specification Using Promotion. IFM (1999)
John Derrick, Eerke A. Boiten
Calculating upward and downward simulations of state-based specifications. Inf. Softw. Technol. 41 (13) (1999)
Howard Bowman, Eerke A. Boiten, John Derrick, Maarten Steen
Strategies for Consistency Checking Based on Unification. Sci. Comput. Program. 33 (3) (1999)
John Derrick, Eerke A. Boiten
Non-atomic Refinement in Z. World Congress on Formal Methods (1999)
John Derrick, Eerke A. Boiten
Testing Refinements of State-based Formal Specifications. Softw. Test. Verification Reliab. 9 (1) (1999)
John Derrick, Eerke A. Boiten
Testing Refinements by Refining Tests. ZUM (1998)
John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen
Specifying and Refining Internal Operations in Z. Formal Aspects Comput. 10 (2) (1998)
Maarten Steen, John Derrick, Eerke A. Boiten, Howard Bowman
Consistency of Partial Process Specifications. AMAST (1998)
John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen
Weak Refinement in Z. ZUM (1997)
Eerke A. Boiten, Howard Bowman, John Derrick, Maarten Steen
Viewpoint Consistency in Z and LOTOS: A Case Study. FME (1997)
Maarten Steen, Howard Bowman, John Derrick, Eerke A. Boiten
Disjunction of LOTOS Specifications. FORTE (1997)
Eerke A. Boiten, Howard Bowman, John Derrick, Maarten Steen
Issues in multiparadigm viewpoint specification. ISAW/Viewpoints@FSE (1996)
Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen
Consistency and Refinement for Partial Specification in Z. FME (1996)
John Derrick, Howard Bowman, Eerke A. Boiten, Maarten Steen
Comparing LOTOS and Z Refinement Relations. FORTE (1996)
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. Inf. Process. Lett. 53 (3) (1995)
Eerke A. Boiten
Parsing in ISBES. Formal Methods in Programming and Their Applications (1993)
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. Comput. J. 35 (6) (1992)
Eerke A. Boiten
Improving Recursive Functions by Inverting the Order of Evaluation. Sci. Comput. Program. 18 (2) (1992)