Eerke A. Boiten

101 papers B 7C 5Journal 41Unranked 37

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Multi-Agent Cooperative Learning for Robust Vision-Language Alignment under OOD Concepts. CoRR Philip Xu, Isabel Wagner, Eerke A. Boiten
2025	J	`jnl`	Privacy-Preserving Generative Models: A Comprehensive Survey. CoRR Debalina Padariya, Isabel Wagner, Aboozar Taherkhani, Eerke A. Boiten
2023	J	`jnl`	Changes in Conducting Data Protection Risk Assessment and After GDPR implementation. CoRR Fatemeh Zarrabi, Isabel Wagner, Eerke A. Boiten
2023	—	`conf`	Risks and benefits of smart toilets. BuildSys Isabel Wagner, Eerke A. Boiten
2023	J	`jnl`	Security and Privacy in Unified Communication. ACM Comput. Surv. Thomas Reisinger, Isabel Wagner, Eerke A. Boiten
2023	—	`conf`	Unified Communication: What do Digital Activists need? EuroS&P Workshops Thomas Reisinger, Isabel Wagner, Eerke A. Boiten
2023	J	`jnl`	What's going on at the back-end? Risks and benefits of smart toilets. CoRR Isabel Wagner, Eerke A. Boiten
2021	J	`jnl`	Complementing Privacy and Utility Trade-Off with Self-Organising Maps. Cryptogr. Kabiru Mohammed, Aladdin Ayesh, Eerke A. Boiten
2021	J	`jnl`	Editorial. Formal Aspects Comput. Jordi Cabot, Heike Wehrheim, Eerke A. Boiten
2020	J	`jnl`	Challenges in assessing privacy impact: Tales from the front lines. Secur. Priv. Fenia Ferra, Isabel Wagner, Eerke A. Boiten, Lee Hadlington, Ismini Psychoula, Richard Snape
2020	—	`conf`	Risk Assessment of Sharing Cyber Threat Intelligence. DETIPS/DeSECSys/MPS/SPOSE@ESORICS Adham Albakri, Eerke A. Boiten, Richard Smith
2020	—	`conf`	Utility Promises of Self-Organising Maps in Privacy Preserving Data Mining. DPM/CBT@ESORICS Kabiru Mohammed, Aladdin Ayesh, Eerke A. Boiten
2019	—	`conf`	Intrusion Detection System for Platooning Connected Autonomous Vehicles. SEEDA-CECNSM Dimitrios Kosmanos, Apostolos Pappas, Francisco J. Aparicio-Navarro, Leandros A. Maglaras, Helge Janicke, Eerke A. Boiten, Antonios Argyriou
2019	—	`conf`	Sharing Cyber Threat Intelligence Under the General Data Protection Regulation. APF Adham Albakri, Eerke A. Boiten, Rogério de Lemos
2018	—	`conf`	Privacy Risk Assessment: From Art to Science, by Metrics. DPM/CBT@ESORICS Isabel Wagner, Eerke A. Boiten
2018	B	`conf`	Risks of Sharing Cyber Incident Information. ARES Adham Albakri, Eerke A. Boiten, Rogério de Lemos
2017	J	`jnl`	Privacy Risk Assessment: From Art to Science, By Metrics. CoRR Isabel Wagner, Eerke A. Boiten
2016	J	`jnl`	Diversity and adjudication. J. Log. Algebraic Methods Program. Eerke A. Boiten
2016	—	`ed.`	Proceedings 17th International Workshop on Refinement, Refine@FM 2015, Oslo, Norway, 22nd June 2015. Refine@FM John Derrick, Eerke A. Boiten, Steve Reeves
2016	—	`ch.`	Relational Concurrent Refinement - Partial and Total Frameworks. From Action Systems to Distributed Systems John Derrick, Eerke A. Boiten
2015	—	`conf`	Big Data Refinement. Refine@FM Eerke A. Boiten
2015	J	`jnl`	Diversity and Adjudication. CoRR Eerke A. Boiten
2014	J	`jnl`	Editorial. Formal Aspects Comput. Eerke A. Boiten, John Derrick, Steve Reeves
2014	J	`jnl`	Editorial. Formal Aspects Comput. Eerke A. Boiten, Steve A. Schneider
2014	J	`jnl`	Introducing extra operations in refinement. Formal Aspects Comput. Eerke A. Boiten
2014	—	`book`	Refinement in Z and Object-Z - Foundations and Advanced Applications (2. ed.). John Derrick, Eerke A. Boiten
2014	J	`jnl`	Relational concurrent refinement part III: traces, partial relations and automata. Formal Aspects Comput. John Derrick, Eerke A. Boiten
2014	C	`conf`	Sealed Containers in Z. ABZ Eerke A. Boiten, Jeremy Jacob
2014	J	`jnl`	Simple composition theorems of one-way functions - proofs and presentations. IACR Cryptol. ePrint Arch. Jaime Gaspar, Eerke A. Boiten
2013	J	`jnl`	From ODP viewpoint consistency to Integrated Formal Methods. Comput. Stand. Interfaces Eerke A. Boiten, John Derrick
2013	—	`ed.`	Proceedings 16th International Refinement Workshop, Refine@IFM 2013, Turku, Finland, 11th June 2013. Refine@IFM John Derrick, Eerke A. Boiten, Steve Reeves
2012	J	`jnl`	Editorial. Formal Aspects Comput. Eerke A. Boiten, John Derrick, Jin Song Dong, Steve Reeves
2011	—	`conf`	Perspicuity and Granularity in Refinement Refine@FM Eerke A. Boiten
2011	—	`ed.`	Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011. Refine@FM John Derrick, Eerke A. Boiten, Steve Reeves
2011	—	`conf`	Relational Concurrent Refinement: Timed Refinement. FMOODS/FORTE John Derrick, Eerke A. Boiten
2011	J	`jnl`	Selected papers of the Refinement Workshop Turku (2008). Sci. Comput. Program. Eerke A. Boiten, John Derrick, Gerhard Schellhorn
2010	J	`jnl`	Editorial. Formal Aspects Comput. Eerke A. Boiten, Michael J. Butler, John Derrick, Graeme Smith
2010	J	`jnl`	Incompleteness of relational simulations in the blocking paradigm. Sci. Comput. Program. Eerke A. Boiten, John Derrick
2010	B	`conf`	The Logic of Large Enough. MPC Eerke A. Boiten, Dan Grundy
2009	J	`jnl`	Editorial. Formal Aspects Comput. Eerke A. Boiten
2009	B	`conf`	Modelling Divergence in Relational Concurrent Refinement. IFM Eerke A. Boiten, John Derrick
2009	—	`conf`	Preface. REFINE@FMWeek Eerke A. Boiten, John Derrick, Steve Reeves
2009	—	`ed.`	Proceedings of the 14th BCS-FACS Refinement Workshop, REFINE@FMWeek 2009, Eindhoven, The Netherlands, November 2009 REFINE@FMWeek Eerke A. Boiten, John Derrick, Steve Reeves
2009	—	`conf`	Relational Concurrent Refinement: Automata. REFINE@FMWeek John Derrick, Eerke A. Boiten
2009	J	`jnl`	Relational concurrent refinement part II: Internal operations and outputs. Formal Aspects Comput. Eerke A. Boiten, John Derrick, Gerhard Schellhorn
2008	C	`conf`	From ABZ to Cryptography. ABZ Eerke A. Boiten
2008	—	`conf`	More Relational Concurrent Refinement: Traces and Partial Relations. Refine@FM John Derrick, Eerke A. Boiten
2008	—	`conf`	Preface. Refine@FM Eerke A. Boiten, John Derrick, Gerhard Schellhorn
2008	—	`ed.`	Proceedings of the 13th BAC-FACS Refinement Workshop, Refine@FM 2008, Turku, Finland, May 27, 2008 Refine@FM Eerke A. Boiten, John Derrick, Gerhard Schellhorn
2008	—	`ed.`	Proceedings of the BCS-FACS Refinement Workshop, REFINE@IFM 2007, Oxford, UK, July 2007 REFINE@IFM Eerke A. Boiten, John Derrick, Graeme Smith
2007	—	`conf`	Preface. REFINE@IFM Eerke A. Boiten, John Derrick, Graeme Smith
2007	—	`ed.`	Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao, October 31, 2006 Refine@ICFEM Bernhard K. Aichernig, Eerke A. Boiten, John Derrick, Lindsay Groves
2007	—	`conf`	Reduction and Refinement. REFINE@IFM Eerke A. Boiten, Dan Grundy
2006	J	`jnl`	Guest Editorial Editorial for the FAC Special Issue based on derivative papers from "Refine '05". Formal Aspects Comput. Eerke A. Boiten, Michael J. Butler
2006	—	`conf`	Preface. Refine@ICFEM Bernhard K. Aichernig, Eerke A. Boiten, John Derrick, Lindsay Groves
2006	—	`conf`	Relational Concurrent Refinement with Internal Operations. Refine@ICFEM John Derrick, Eerke A. Boiten
2005	—	`conf`	Formal Program Development with Approximations. ZB Eerke A. Boiten, John Derrick
2005	J	`jnl`	Guest Editorial Integrated Formal Methods. Formal Aspects Comput. Eerke A. Boiten, John Derrick, Graeme Smith
2005	—	`conf`	Preface. REFINE John Derrick, Eerke A. Boiten
2005	—	`ed.`	Proceedings of the REFINE 2005 Workshop, REFINE 2005, Guildford, UK, April 2005 REFINE John Derrick, Eerke A. Boiten
2004	J	`jnl`	Foreword. Sci. Comput. Program. Eerke A. Boiten, Bernhard Möller
2004	B	`ed.`	Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings IFM Eerke A. Boiten, John Derrick, Graeme Smith
2004	—	`conf`	Towards Correspondence Carrying Specifications. AMAST Marius C. Bujorianu, Eerke A. Boiten
2003	J	`jnl`	"Concepts in Programming Languages" by John C. Mitchell, Cambridge University Press, 2002, ISBN 0-521-78098-5. J. Funct. Program. Eerke A. Boiten
2003	J	`jnl`	A Relational Framework for the Integration of Specifications. Trans. SDPS Eerke A. Boiten, John Derrick
2003	—	`conf`	Recent Advances in Refinement. Abstract State Machines John Derrick, Eerke A. Boiten
2003	J	`jnl`	Relational Concurrent Refinement. Formal Aspects Comput. John Derrick, Eerke A. Boiten
2002	J	`jnl`	A Formal Framework for Viewpoint Consistency. Formal Methods Syst. Des. Howard Bowman, Maarten Steen, Eerke A. Boiten, John Derrick
2002	—	`ed.`	BCS FACS Refinement Workshop 2002, Refine 2002, Satellite Event of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002 Refine John Derrick, Eerke A. Boiten, Jim Woodcock, Joakim von Wright
2002	J	`jnl`	Combining Component Specifications in Object-Z and CSP. Formal Aspects Comput. John Derrick, Eerke A. Boiten
2002	—	`conf`	Handling Inconsistencies in Z Using Quasi-Classical Logic. ZB Ralph Miarka, John Derrick, Eerke A. Boiten
2002	—	`conf`	Interpreting ODP Viewpoint Specification: Observations from a Case Study. FMOODS Chris Taylor, Eerke A. Boiten, John Derrick
2002	—	`conf`	Loose Specification and Refinement in Z. ZB Eerke A. Boiten
2002	B	`ed.`	Mathematics of Program Construction, 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002, Proceedings MPC Eerke A. Boiten, Bernhard Möller
2002	J	`jnl`	ODP computational-to-information viewpoint mappings: a translation of CORBA IDL to Z. IEE Proc. Softw. Chris Taylor, Eerke A. Boiten, John Derrick
2002	—	`conf`	Preface. Refine John Derrick, Eerke A. Boiten, Jim Woodcock, Joakim von Wright
2002	—	`conf`	Unifying concurrent and relational refinement. Refine Eerke A. Boiten, John Derrick
2000	C	`conf`	A Case Study in Partial Specification: Consistency and Refinement for Object-Z. ICFEM Chris Taylor, John Derrick, Eerke A. Boiten
2000	—	`conf`	Guards, Preconditions, and Refinement in Z. ZB Ralph Miarka, Eerke A. Boiten, John Derrick
2000	B	`conf`	Liberating Data Refinement. MPC Eerke A. Boiten, John Derrick
2000	—	`conf`	Refinement of objects and operations in Object-Z. FMOODS John Derrick, Eerke A. Boiten
2000	J	`jnl`	Viewpoint consistency in ODP. Comput. Networks Eerke A. Boiten, Howard Bowman, John Derrick, Peter F. Linington, Maarten Steen
1999	J	`jnl`	Calculating upward and downward simulations of state-based specifications. Inf. Softw. Technol. John Derrick, Eerke A. Boiten
1999	J	`jnl`	Constructive Consistency Checking for Partial Specification in Z. Sci. Comput. Program. Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen
1999	—	`conf`	Non-atomic Refinement in Z. World Congress on Formal Methods John Derrick, Eerke A. Boiten
1999	B	`conf`	Specifying Component and Context Specification Using Promotion. IFM John Derrick, Eerke A. Boiten
1999	J	`jnl`	Strategies for Consistency Checking Based on Unification. Sci. Comput. Program. Howard Bowman, Eerke A. Boiten, John Derrick, Maarten Steen
1999	J	`jnl`	Testing Refinements of State-based Formal Specifications. Softw. Test. Verification Reliab. John Derrick, Eerke A. Boiten
1998	—	`conf`	Consistency of Partial Process Specifications. AMAST Maarten Steen, John Derrick, Eerke A. Boiten, Howard Bowman
1998	J	`jnl`	Specifying and Refining Internal Operations in Z. Formal Aspects Comput. John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen
1998	—	`conf`	Testing Refinements by Refining Tests. ZUM John Derrick, Eerke A. Boiten
1997	C	`conf`	Disjunction of LOTOS Specifications. FORTE Maarten Steen, Howard Bowman, John Derrick, Eerke A. Boiten
1997	—	`conf`	Viewpoint Consistency in Z and LOTOS: A Case Study. FME Eerke A. Boiten, Howard Bowman, John Derrick, Maarten Steen
1997	—	`conf`	Weak Refinement in Z. ZUM John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen
1996	C	`conf`	Comparing LOTOS and Z Refinement Relations. FORTE John Derrick, Howard Bowman, Eerke A. Boiten, Maarten Steen
1996	—	`conf`	Consistency and Refinement for Partial Specification in Z. FME Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen
1996	—	`conf`	Issues in multiparadigm viewpoint specification. ISAW/Viewpoints@FSE Eerke A. Boiten, Howard Bowman, John Derrick, Maarten Steen
1995	J	`jnl`	Fixed-Point Calculus. Inf. Process. Lett. 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
1993	—	`conf`	Parsing in ISBES. Formal Methods in Programming and Their Applications Eerke A. Boiten
1992	J	`jnl`	How to Produce Correct Software - An Introduction to Formal Specification and Program Development by Transformations. Comput. J. Eerke A. Boiten, Helmuth Partsch, Daniel Tuijnman, Norbert Völker
1992	J	`jnl`	Improving Recursive Functions by Inverting the Order of Evaluation. Sci. Comput. Program. Eerke A. Boiten