Eerke A. Boiten

According to our database, Eerke A. Boiten authored at least 87 papers between 1992 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Security and Privacy in Unified Communication.

Thomas Reisinger, Isabel Wagner, Eerke A. Boiten

ACM Comput. Surv., 2023

What's going on at the back-end? Risks and benefits of smart toilets.

Isabel Wagner, Eerke A. Boiten

CoRR, 2023

Changes in Conducting Data Protection Risk Assessment and After GDPR implementation.

Fatemeh Zarrabi, Isabel Wagner, Eerke A. Boiten

CoRR, 2023

Risks and benefits of smart toilets.

Isabel Wagner, Eerke A. Boiten

Proceedings of the 10th ACM International Conference on Systems for Energy-Efficient Buildings, 2023

Unified Communication: What do Digital Activists need?

Thomas Reisinger, Isabel Wagner, Eerke A. Boiten

Proceedings of the IEEE European Symposium on Security and Privacy, 2023

2021

Editorial.

Jordi Cabot, Heike Wehrheim, Eerke A. Boiten

Formal Aspects Comput., 2021

Complementing Privacy and Utility Trade-Off with Self-Organising Maps.

Kabiru Mohammed, Aladdin Ayesh, Eerke A. Boiten

Cryptogr., 2021

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

Utility Promises of Self-Organising Maps in Privacy Preserving Data Mining.

Kabiru Mohammed, Aladdin Ayesh, Eerke A. Boiten

Proceedings of the Data Privacy Management, Cryptocurrencies and Blockchain Technology, 2020

Risk Assessment of Sharing Cyber Threat Intelligence.

Adham Albakri, Eerke A. Boiten, Richard Smith

Proceedings of the Computer Security - ESORICS 2020 International Workshops, 2020

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

Proceedings of the 4th South-East Europe Design Automation, 2019

Sharing Cyber Threat Intelligence Under the General Data Protection Regulation.

Adham Albakri, Eerke A. Boiten, Rogério de Lemos

Proceedings of the Privacy Technologies and Policy - 7th Annual Privacy Forum, 2019

2018

Privacy Risk Assessment: From Art to Science, by Metrics.

Isabel Wagner, Eerke A. Boiten

Proceedings of the Data Privacy Management, Cryptocurrencies and Blockchain Technology, 2018

Risks of Sharing Cyber Incident Information.

Adham Albakri, Eerke A. Boiten, Rogério de Lemos

Proceedings of the 13th International Conference on Availability, Reliability and Security, 2018

2016

Diversity and adjudication.

Eerke A. Boiten

J. Log. Algebraic Methods Program., 2016

Relational Concurrent Refinement - Partial and Total Frameworks.

John Derrick, Eerke A. Boiten

Proceedings of the From Action Systems to Distributed Systems - The Refinement Approach., 2016

2015

Big Data Refinement.

Eerke A. Boiten

Proceedings of the Proceedings 17th International Workshop on Refinement, 2015

2014

Simple composition theorems of one-way functions - proofs and presentations.

Jaime Gaspar, Eerke A. Boiten

IACR Cryptol. ePrint Arch., 2014

Relational concurrent refinement part III: traces, partial relations and automata.

John Derrick, Eerke A. Boiten

Formal Aspects Comput., 2014

Editorial.

Eerke A. Boiten, Steve A. Schneider

Formal Aspects Comput., 2014

Editorial.

Eerke A. Boiten, John Derrick, Steve Reeves

Formal Aspects Comput., 2014

Introducing extra operations in refinement.

Eerke A. Boiten

Formal Aspects Comput., 2014

Sealed Containers in Z.

Eerke A. Boiten, Jeremy Jacob

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014

Refinement in Z and Object-Z - Foundations and Advanced Applications (2. ed.).

John Derrick, Eerke A. Boiten

Springer, ISBN: 978-1-4471-5354-2, 2014

2013

From ODP viewpoint consistency to Integrated Formal Methods.

Eerke A. Boiten, John Derrick

Comput. Stand. Interfaces, 2013

2012

<i>Modeling in Event-B - System and Software Engineering</i> Jean-Raymond Abrial Cambridge University Press, May 2010 ISBN-10: 0521895561.

Eerke A. Boiten

J. Funct. Program., 2012

Editorial.

Eerke A. Boiten, John Derrick, Jin Song Dong, Steve Reeves

Formal Aspects Comput., 2012

2011

Selected papers of the Refinement Workshop Turku (2008).

Eerke A. Boiten, John Derrick, Gerhard Schellhorn

Sci. Comput. Program., 2011

Perspicuity and Granularity in Refinement

Eerke A. Boiten

Proceedings of the Proceedings 15th International Refinement Workshop, 2011

Relational Concurrent Refinement: Timed Refinement.

John Derrick, Eerke A. Boiten

Proceedings of the Formal Techniques for Distributed Systems, 2011

2010

Incompleteness of relational simulations in the blocking paradigm.

Eerke A. Boiten, John Derrick

Sci. Comput. Program., 2010

Editorial.

Eerke A. Boiten, Michael J. Butler, John Derrick, Graeme Smith

Formal Aspects Comput., 2010

The Logic of Large Enough.

Eerke A. Boiten, Dan Grundy

Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010

2009

Relational concurrent refinement part II: Internal operations and outputs.

Eerke A. Boiten, John Derrick, Gerhard Schellhorn

Formal Aspects Comput., 2009

Editorial.

Eerke A. Boiten

Formal Aspects Comput., 2009

Relational Concurrent Refinement: Automata.

John Derrick, Eerke A. Boiten

Proceedings of the 14th BCS-FACS Refinement Workshop, 2009

Preface.

Eerke A. Boiten, John Derrick, Steve Reeves

Proceedings of the 14th BCS-FACS Refinement Workshop, 2009

Modelling Divergence in Relational Concurrent Refinement.

Eerke A. Boiten, John Derrick

Proceedings of the Integrated Formal Methods, 7th International Conference, 2009

2008

More Relational Concurrent Refinement: Traces and Partial Relations.

John Derrick, Eerke A. Boiten

Proceedings of the 13th BAC-FACS Refinement Workshop, 2008

Preface.

Eerke A. Boiten, John Derrick, Gerhard Schellhorn

Proceedings of the 13th BAC-FACS Refinement Workshop, 2008

From ABZ to Cryptography.

Eerke A. Boiten

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

2007

Reduction and Refinement.

Eerke A. Boiten, Dan Grundy

Proceedings of the BCS-FACS Refinement Workshop, 2007

Preface.

Eerke A. Boiten, John Derrick, Graeme Smith

Proceedings of the BCS-FACS Refinement Workshop, 2007

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

Relational Concurrent Refinement with Internal Operations.

John Derrick, Eerke A. Boiten

Proceedings of the 11th Refinement Workshop, 2006

Preface.

Bernhard K. Aichernig, Eerke A. Boiten, John Derrick, Lindsay Groves

Proceedings of the 11th Refinement Workshop, 2006

2005

Guest Editorial Integrated Formal Methods.

Eerke A. Boiten, John Derrick, Graeme Smith

Formal Aspects Comput., 2005

Preface.

John Derrick, Eerke A. Boiten

Proceedings of the REFINE 2005 Workshop, 2005

Formal Program Development with Approximations.

Eerke A. Boiten, John Derrick

Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005

2004

Foreword.

Eerke A. Boiten, Bernhard Möller

Sci. Comput. Program., 2004

Towards Correspondence Carrying Specifications.

Marius C. Bujorianu, Eerke A. Boiten

Proceedings of the Algebraic Methodology and Software Technology, 2004

2003

A Relational Framework for the Integration of Specifications.

Eerke A. Boiten, John Derrick

Trans. SDPS, 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

Relational Concurrent Refinement.

John Derrick, Eerke A. Boiten

Formal Aspects Comput., 2003

Recent Advances in Refinement.

John Derrick, Eerke A. Boiten

Proceedings of the Abstract State Machines, 2003

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

A Formal Framework for Viewpoint Consistency.

Howard Bowman, Maarten Steen, Eerke A. Boiten, John Derrick

Formal Methods Syst. Des., 2002

Combining Component Specifications in Object-Z and CSP.

John Derrick, Eerke A. Boiten

Formal Aspects Comput., 2002

Preface.

John Derrick, Eerke A. Boiten, Jim Woodcock, Joakim von Wright

Proceedings of the BCS FACS Refinement Workshop 2002, 2002

Unifying concurrent and relational refinement.

Eerke A. Boiten, John Derrick

Proceedings of the BCS FACS Refinement Workshop 2002, 2002

Handling Inconsistencies in Z Using Quasi-Classical Logic.

Ralph Miarka, John Derrick, Eerke A. Boiten

Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002

Loose Specification and Refinement in Z.

Eerke A. Boiten

Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002

Interpreting ODP Viewpoint Specification: Observations from a Case Study.

Chris Taylor, Eerke A. Boiten, John Derrick

Proceedings of the Formal Methods for Open Object-Based Distributed Systems V, 2002

2000

Viewpoint consistency in ODP.

Eerke A. Boiten, Howard Bowman, John Derrick, Peter F. Linington, Maarten Steen

Comput. Networks, 2000

Guards, Preconditions, and Refinement in Z.

Ralph Miarka, Eerke A. Boiten, John Derrick

Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000

Liberating Data Refinement.

Eerke A. Boiten, John Derrick

Proceedings of the Mathematics of Program Construction, 5th International Conference, 2000

A Case Study in Partial Specification: Consistency and Refinement for Object-Z.

Chris Taylor, John Derrick, Eerke A. Boiten

Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods, 2000

Refinement of objects and operations in Object-Z.

John Derrick, Eerke A. Boiten

Proceedings of the Formal Methods for Open Object-Based Distributed Systems IV, 2000

1999

Testing Refinements of State-based Formal Specifications.

John Derrick, Eerke A. Boiten

Softw. Test. Verification Reliab., 1999

Strategies for Consistency Checking Based on Unification.

Howard Bowman, Eerke A. Boiten, John Derrick, Maarten Steen

Sci. Comput. Program., 1999

Constructive Consistency Checking for Partial Specification in Z.

Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen

Sci. Comput. Program., 1999

Calculating upward and downward simulations of state-based specifications.

John Derrick, Eerke A. Boiten

Inf. Softw. Technol., 1999

Specifying Component and Context Specification Using Promotion.

John Derrick, Eerke A. Boiten

Proceedings of the Integrated Formal Methods, 1999

Non-atomic Refinement in Z.

John Derrick, Eerke A. Boiten

Proceedings of the FM'99 - Formal Methods, 1999

1998

Specifying and Refining Internal Operations in Z.

John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen

Formal Aspects Comput., 1998

Testing Refinements by Refining Tests.

John Derrick, Eerke A. Boiten

Proceedings of the ZUM '98: The Z Formal Specification Notation, 1998

Consistency of Partial Process Specifications.

Maarten Steen, John Derrick, Eerke A. Boiten, Howard Bowman

Proceedings of the Algebraic Methodology and Software Technology, 1998

1997

Weak Refinement in Z.

John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen

Proceedings of the ZUM '97: The Z Formal Specification Notation, 1997

Disjunction of LOTOS Specifications.

Maarten Steen, Howard Bowman, John Derrick, Eerke A. Boiten

Proceedings of the Formal Description Techniques and Protocol Specification, 1997

Viewpoint Consistency in Z and LOTOS: A Case Study.

Eerke A. Boiten, Howard Bowman, John Derrick, Maarten Steen

Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

1996

Issues in multiparadigm viewpoint specification.

Eerke A. Boiten, Howard Bowman, John Derrick, Maarten Steen

Proceedings of the 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, 1996

Comparing LOTOS and Z Refinement Relations.

John Derrick, Howard Bowman, Eerke A. Boiten, Maarten Steen

Proceedings of the Formal Description Techniques IX: Theory, 1996

Consistency and Refinement for Partial Specification in Z.

Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

1995

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

1993

Parsing in ISBES.

Eerke A. Boiten

Proceedings of the Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28, 1993

1992

Improving Recursive Functions by Inverting the Order of Evaluation.

Eerke A. Boiten

Sci. Comput. Program., 1992

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