Eerke Boiten - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Eerke Boiten' as author, editor, or advisor:

Proceedings of the BCS-FACS Refinement Workshop, REFINE@IFM 2007, Oxford, UK, July 2007Eerke A. Boiten, John Derrick, Graeme Smith 0001, editors, Volume 201 of Electronic Notes in Theoretical Computer Science, Elsevier, 2008. [doi]
Risks and benefits of smart toiletsIsabel Wagner, Eerke A. Boiten. sensys 2023: 340-346 [doi]
Risks of Sharing Cyber Incident InformationAdham Albakri, Eerke A. Boiten, Rogério de Lemos. IEEEares 2018: [doi]
Security and Privacy in Unified CommunicationThomas Reisinger, Isabel Wagner, Eerke A. Boiten. ACM Comput. Surv., 55(3), 2023. [doi]
Refinement in Z and Object-Z - Foundations and Advanced Applications (2. ed.)John Derrick, Eerke A. Boiten. Springer, 2014. [doi]
BCS FACS Refinement Workshop 2002, Refine 2002, Satellite Event of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002John Derrick, Eerke A. Boiten, Jim Woodcock, Joakim von Wright, editors, Volume 70 of Electronic Notes in Theoretical Computer Science, Elsevier, 2002. [doi]
Unified Communication: What do Digital Activists need?Thomas Reisinger, Isabel Wagner, Eerke A. Boiten. eurosp 2023: 141-149 [doi]
Diversity and adjudicationEerke A. Boiten. jlp, 85(5):860-866, 2016. [doi]
EditorialEerke A. Boiten, John Derrick, Steve Reeves. fac, 26(2):195, 2014. [doi]
Proceedings of the 14th BCS-FACS Refinement Workshop, REFINE@FMWeek 2009, Eindhoven, The Netherlands, November 2009Eerke A. Boiten, John Derrick, Steve Reeves, editors, Volume 259 of Electronic Notes in Theoretical Computer Science, Elsevier, 2009. [doi]
Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao, October 31, 2006Bernhard K. Aichernig, Eerke A. Boiten, John Derrick, Lindsay Groves, editors, Volume 187 of Electronic Notes in Theoretical Computer Science, Elsevier, 2007. [doi]
EditorialJordi Cabot, Heike Wehrheim, Eerke A. Boiten. fac, 33(6):1037, 2021. [doi]
Introducing extra operations in refinementEerke A. Boiten. fac, 26(2):305-317, 2014. [doi]
Simple composition theorems of one-way functions - proofs and presentationsJaime Gaspar, Eerke A. Boiten. iacr, 2014:1006, 2014. [doi]
Modeling in Event-B - System and Software Engineering Jean-Raymond Abrial Cambridge University Press, May 2010 ISBN-10: 0521895561Eerke A. Boiten. JFP, 22(2):217-219, 2012. [doi]
A Relational Framework for the Integration of SpecificationsEerke A. Boiten, John Derrick. jid, 7(3):39-48, 2003. [doi]
Utility Promises of Self-Organising Maps in Privacy Preserving Data MiningKabiru Mohammed, Aladdin Ayesh, Eerke A. Boiten. esorics 2020: 55-72 [doi]
Relational Concurrent Refinement - Partial and Total FrameworksJohn Derrick, Eerke A. Boiten. In Luigia Petre, Emil Sekerinski, editors, From Action Systems to Distributed Systems - The Refinement Approach. pages 143-154, Chapman and Hall/CRC, 2016. [doi]
EditorialEerke A. Boiten, Steve Schneider. fac, 26(1):1-2, 2014. [doi]
From ODP viewpoint consistency to Integrated Formal MethodsEerke A. Boiten, John Derrick. csi, 35(3):269-276, 2013. [doi]
Intrusion Detection System for Platooning Connected Autonomous VehiclesDimitrios Kosmanos, Apostolos Pappas, Francisco J. Aparicio-Navarro, Leandros A. Maglaras, Helge Janicke, Eerke A. Boiten, Antonios Argyriou. seeda 2019: 1-9 [doi]
Complementing Privacy and Utility Trade-Off with Self-Organising MapsKabiru Mohammed, Aladdin Ayesh, Eerke A. Boiten. cryptography, 5(3):20, 2021. [doi]
Incompleteness of relational simulations in the blocking paradigmEerke A. Boiten, John Derrick. SCP, 75(12):1262-1269, 2010. [doi]
EditorialEerke A. Boiten, John Derrick, Jin Song Dong, Steve Reeves. fac, 24(1):1, 2012. [doi]
Sealed Containers in ZEerke A. Boiten, Jeremy Jacob. asm 2014: 136-141 [doi]
Relational concurrent refinement part III: traces, partial relations and automataJohn Derrick, Eerke A. Boiten. fac, 26(2):407-432, 2014. [doi]
Risk Assessment of Sharing Cyber Threat IntelligenceAdham Albakri, Eerke A. Boiten, Richard Smith. esorics 2020: 92-113 [doi]
Relational Concurrent Refinement: Timed RefinementJohn Derrick, Eerke A. Boiten. forte 2011: 121-137 [doi]
Proceedings of the 13th BAC-FACS Refinement Workshop, Refine@FM 2008, Turku, Finland, May 27, 2008Eerke A. Boiten, John Derrick, Gerhard Schellhorn, editors, Volume 214 of Electronic Notes in Theoretical Computer Science, Elsevier, 2008. [doi]
Challenges in assessing privacy impact: Tales from the front linesFenia Ferra, Isabel Wagner, Eerke A. Boiten, Lee Hadlington, Ismini Psychoula, Richard Snape. sap, 3(2), 2020. [doi]
Privacy Risk Assessment: From Art to Science, by MetricsIsabel Wagner, Eerke A. Boiten. esorics 2018: 225-241 [doi]
The Logic of Large EnoughEerke A. Boiten, Dan Grundy. mpc 2010: 42-57 [doi]
Selected papers of the Refinement Workshop Turku (2008)Eerke A. Boiten, John Derrick, Gerhard Schellhorn. SCP, 76(9):737-738, 2011. [doi]
Issues in multiparadigm viewpoint specificationEerke A. Boiten, Howard Bowman, John Derrick, Maarten Steen. FSE 1996: 162-166 [doi]
Proceedings of the REFINE 2005 Workshop, REFINE 2005, Guildford, UK, April 2005John Derrick, Eerke A. Boiten, editors, Volume 137 of Electronic Notes in Theoretical Computer Science, Elsevier, 2005. [doi]
Sharing Cyber Threat Intelligence Under the General Data Protection RegulationAdham Albakri, Eerke A. Boiten, Rogério de Lemos. apf 2019: 28-41 [doi]

runs on WebDSL