default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDEerke A. Boiten
Eerke Albert Boiten
Person information
- affiliation: University of Kent, UK
Other persons with a similar name
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c48]Thomas Reisinger, Eerke Albert Boiten, Isabel Wagner
:
SEPPI: Secure and Privacy-Preserving Invitation for Unified Communication Meetings. ICNC 2024: 730-736- 2023
- [j35]Thomas Reisinger, Isabel Wagner, Eerke A. Boiten:
Security and Privacy in Unified Communication. ACM Comput. Surv. 55(3): 55:1-55:36 (2023) - [c47]Thomas Reisinger, Isabel Wagner, Eerke A. Boiten:
Unified Communication: What do Digital Activists need? EuroS&P Workshops 2023: 141-149 - [c46]Isabel Wagner, Eerke A. Boiten:
Risks and benefits of smart toilets. BuildSys 2023: 340-346 - [i5]Fatemeh Zarrabi, Isabel Wagner, Eerke A. Boiten:
Changes in Conducting Data Protection Risk Assessment and After GDPR implementation. CoRR abs/2304.11876 (2023) - [i4]Isabel Wagner, Eerke A. Boiten:
What's going on at the back-end? Risks and benefits of smart toilets. CoRR abs/2308.15935 (2023) - 2021
- [j34]Kabiru Mohammed, Aladdin Ayesh, Eerke A. Boiten:
Complementing Privacy and Utility Trade-Off with Self-Organising Maps. Cryptogr. 5(3): 20 (2021) - [j33]Jordi Cabot, Heike Wehrheim, Eerke A. Boiten:
Editorial. Formal Aspects Comput. 33(6): 1037 (2021) - 2020
- [j32]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) - [c45]Kabiru Mohammed, Aladdin Ayesh, Eerke A. Boiten:
Utility Promises of Self-Organising Maps in Privacy Preserving Data Mining. DPM/CBT@ESORICS 2020: 55-72 - [c44]Adham Albakri, Eerke A. Boiten, Richard Smith:
Risk Assessment of Sharing Cyber Threat Intelligence. DETIPS/DeSECSys/MPS/SPOSE@ESORICS 2020: 92-113
2010 – 2019
- 2019
- [c43]Adham Albakri, Eerke A. Boiten, Rogério de Lemos:
Sharing Cyber Threat Intelligence Under the General Data Protection Regulation. APF 2019: 28-41 - [c42]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: 1-9 - 2018
- [c41]Adham Albakri, Eerke A. Boiten, Rogério de Lemos:
Risks of Sharing Cyber Incident Information. ARES 2018: 58:1-58:10 - [c40]Isabel Wagner, Eerke A. Boiten:
Privacy Risk Assessment: From Art to Science, by Metrics. DPM/CBT@ESORICS 2018: 225-241 - 2017
- [i3]Isabel Wagner, Eerke A. Boiten:
Privacy Risk Assessment: From Art to Science, By Metrics. CoRR abs/1709.03776 (2017) - 2016
- [j31]Eerke A. Boiten:
Diversity and adjudication. J. Log. Algebraic Methods Program. 85(5): 860-866 (2016) - [p1]John Derrick, Eerke A. Boiten:
Relational Concurrent Refinement - Partial and Total Frameworks. From Action Systems to Distributed Systems 2016: 143-154 - [e11]John Derrick, Eerke A. Boiten, Steve Reeves:
Proceedings 17th International Workshop on Refinement, Refine@FM 2015, Oslo, Norway, 22nd June 2015. EPTCS 209, 2016 [contents] - 2015
- [c39]Eerke A. Boiten:
Big Data Refinement. Refine@FM 2015: 17-23 - [i2]Eerke A. Boiten:
Diversity and Adjudication. CoRR abs/1511.03124 (2015) - 2014
- [b1]John Derrick, Eerke A. Boiten:
Refinement in Z and Object-Z - Foundations and Advanced Applications (2. ed.). Springer 2014, ISBN 978-1-4471-5354-2, pp. I-XVIII, 1-492 - [j30]Eerke A. Boiten, Steve A. Schneider:
Editorial. Formal Aspects Comput. 26(1): 1-2 (2014) - [j29]Eerke A. Boiten, John Derrick, Steve Reeves:
Editorial. Formal Aspects Comput. 26(2): 195 (2014) - [j28]Eerke A. Boiten:
Introducing extra operations in refinement. Formal Aspects Comput. 26(2): 305-317 (2014) - [j27]John Derrick, Eerke A. Boiten:
Relational concurrent refinement part III: traces, partial relations and automata. Formal Aspects Comput. 26(2): 407-432 (2014) - [c38]Eerke A. Boiten, Jeremy Jacob:
Sealed Containers in Z. ABZ 2014: 136-141 - [i1]Jaime Gaspar, Eerke A. Boiten:
Simple composition theorems of one-way functions - proofs and presentations. IACR Cryptol. ePrint Arch. 2014: 1006 (2014) - 2013
- [j26]Eerke A. Boiten, John Derrick:
From ODP viewpoint consistency to Integrated Formal Methods. Comput. Stand. Interfaces 35(3): 269-276 (2013) - [e10]John Derrick, Eerke A. Boiten, Steve Reeves:
Proceedings 16th International Refinement Workshop, Refine@IFM 2013, Turku, Finland, 11th June 2013. EPTCS 115, 2013 [contents] - 2012
- [j25]Eerke A. Boiten, John Derrick, Jin Song Dong, Steve Reeves:
Editorial. Formal Aspects Comput. 24(1): 1 (2012) - [j24]Eerke A. Boiten:
Modeling in Event-B - System and Software Engineering Jean-Raymond Abrial Cambridge University Press, May 2010 ISBN-10: 0521895561. J. Funct. Program. 22(2): 217-219 (2012) - 2011
- [j23]Eerke A. Boiten, John Derrick, Gerhard Schellhorn:
Selected papers of the Refinement Workshop Turku (2008). Sci. Comput. Program. 76(9): 737-738 (2011) - [c37]John Derrick, Eerke A. Boiten:
Relational Concurrent Refinement: Timed Refinement. FMOODS/FORTE 2011: 121-137 - [c36]Eerke A. Boiten:
Perspicuity and Granularity in Refinement. Refine@FM 2011: 155-165 - [e9]John Derrick, Eerke A. Boiten, Steve Reeves:
Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011. EPTCS 55, 2011 [contents] - 2010
- [j22]Eerke A. Boiten, Michael J. Butler, John Derrick, Graeme Smith:
Editorial. Formal Aspects Comput. 22(1): 1 (2010) - [j21]Eerke A. Boiten, John Derrick:
Incompleteness of relational simulations in the blocking paradigm. Sci. Comput. Program. 75(12): 1262-1269 (2010) - [c35]Eerke A. Boiten, Dan Grundy:
The Logic of Large Enough. MPC 2010: 42-57
2000 – 2009
- 2009
- [j20]Eerke A. Boiten:
Editorial. Formal Aspects Comput. 21(1-2): 1 (2009) - [j19]Eerke A. Boiten, John Derrick, Gerhard Schellhorn:
Relational concurrent refinement part II: Internal operations and outputs. Formal Aspects Comput. 21(1-2): 65-102 (2009) - [c34]Eerke A. Boiten, John Derrick:
Modelling Divergence in Relational Concurrent Refinement. IFM 2009: 183-199 - [c33]Eerke A. Boiten, John Derrick, Steve Reeves:
Preface. REFINE@FMWeek 2009: 1 - [c32]John Derrick, Eerke A. Boiten:
Relational Concurrent Refinement: Automata. REFINE@FMWeek 2009: 21-34 - [e8]Eerke A. Boiten, John Derrick, Steve Reeves:
Proceedings of the 14th BCS-FACS Refinement Workshop, REFINE@FMWeek 2009, Eindhoven, The Netherlands, November 2009. Electronic Notes in Theoretical Computer Science 259, Elsevier 2009 [contents] - 2008
- [c31]Eerke A. Boiten:
From ABZ to Cryptography. ABZ 2008: 353 - [c30]Eerke A. Boiten, John Derrick, Gerhard Schellhorn:
Preface. Refine@FM 2008: 1 - [c29]John Derrick, Eerke A. Boiten:
More Relational Concurrent Refinement: Traces and Partial Relations. Refine@FM 2008: 255-276 - [e7]Eerke A. Boiten, John Derrick, Graeme Smith:
Proceedings of the BCS-FACS Refinement Workshop, REFINE@IFM 2007, Oxford, UK, July 2007. Electronic Notes in Theoretical Computer Science 201, Elsevier 2008 [contents] - [e6]Eerke A. Boiten, John Derrick, Gerhard Schellhorn:
Proceedings of the 13th BAC-FACS Refinement Workshop, Refine@FM 2008, Turku, Finland, May 27, 2008. Electronic Notes in Theoretical Computer Science 214, Elsevier 2008 [contents] - 2007
- [c28]Eerke A. Boiten, John Derrick, Graeme Smith:
Preface. REFINE@IFM 2007: 1 - [c27]Eerke A. Boiten, Dan Grundy:
Reduction and Refinement. REFINE@IFM 2007: 31-44 - [e5]Bernhard K. Aichernig, Eerke A. Boiten, John Derrick, Lindsay Groves:
Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao, October 31, 2006. Electronic Notes in Theoretical Computer Science 187, Elsevier 2007 [contents] - 2006
- [j18]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): 263 (2006) - [c26]Bernhard K. Aichernig, Eerke A. Boiten, John Derrick, Lindsay Groves:
Preface. Refine@ICFEM 2006: 1 - [c25]John Derrick, Eerke A. Boiten:
Relational Concurrent Refinement with Internal Operations. Refine@ICFEM 2006: 35-53 - 2005
- [j17]Eerke A. Boiten, John Derrick, Graeme Smith:
Guest Editorial Integrated Formal Methods. Formal Aspects Comput. 17(4): 389-389 (2005) - [c24]Eerke A. Boiten, John Derrick:
Formal Program Development with Approximations. ZB 2005: 374-392 - [c23]John Derrick, Eerke A. Boiten:
Preface. REFINE 2005: 1-3 - [e4]John Derrick, Eerke A. Boiten:
Proceedings of the REFINE 2005 Workshop, REFINE 2005, Guildford, UK, April 2005. Electronic Notes in Theoretical Computer Science 137(2), Elsevier 2005 [contents] - 2004
- [j16]Eerke A. Boiten, Bernhard Möller:
Foreword. Sci. Comput. Program. 51(1-2): 1-2 (2004) - [c22]Marius C. Bujorianu, Eerke A. Boiten:
Towards Correspondence Carrying Specifications. AMAST 2004: 57-71 - [e3]Eerke A. Boiten, John Derrick, Graeme Smith:
Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings. Lecture Notes in Computer Science 2999, Springer 2004, ISBN 3-540-21377-5 [contents] - 2003
- [j15]John Derrick, Eerke A. Boiten:
Relational Concurrent Refinement. Formal Aspects Comput. 15(2-3): 182-214 (2003) - [j14]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): 1087-1088 (2003) - [j13]Eerke A. Boiten, John Derrick:
A Relational Framework for the Integration of Specifications. Trans. SDPS 7(3): 39-48 (2003) - [c21]John Derrick, Eerke A. Boiten:
Recent Advances in Refinement. Abstract State Machines 2003: 33-56 - 2002
- [j12]John Derrick, Eerke A. Boiten:
Combining Component Specifications in Object-Z and CSP. Formal Aspects Comput. 13(2): 111-127 (2002) - [j11]Howard Bowman, Maarten Steen, Eerke A. Boiten, John Derrick:
A Formal Framework for Viewpoint Consistency. Formal Methods Syst. Des. 21(2): 111-166 (2002) - [j10]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): 57-63 (2002) - [c20]Chris Taylor, Eerke A. Boiten, John Derrick:
Interpreting ODP Viewpoint Specification: Observations from a Case Study. FMOODS 2002: 61-76 - [c19]Ralph Miarka, John Derrick, Eerke A. Boiten:
Handling Inconsistencies in Z Using Quasi-Classical Logic. ZB 2002: 204-225 - [c18]Eerke A. Boiten:
Loose Specification and Refinement in Z. ZB 2002: 226-241 - [c17]John Derrick, Eerke A. Boiten, Jim Woodcock, Joakim von Wright:
Preface. Refine 2002: 1-2 - [c16]Eerke A. Boiten, John Derrick:
Unifying concurrent and relational refinement. Refine 2002: 94-131 - [e2]Eerke A. Boiten, Bernhard Möller:
Mathematics of Program Construction, 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002, Proceedings. Lecture Notes in Computer Science 2386, Springer 2002, ISBN 3-540-43857-2 [contents] - [e1]John Derrick, Eerke A. Boiten, Jim Woodcock, Joakim von Wright:
BCS FACS Refinement Workshop 2002, Refine 2002, Satellite Event of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002. Electronic Notes in Theoretical Computer Science 70(3), Elsevier 2002 [contents] - 2000
- [j9]Eerke A. Boiten, Howard Bowman, John Derrick, Peter F. Linington, Maarten Steen:
Viewpoint consistency in ODP. Comput. Networks 34(3): 503-537 (2000) - [c15]John Derrick, Eerke A. Boiten:
Refinement of objects and operations in Object-Z. FMOODS 2000: 257-277 - [c14]Chris Taylor, John Derrick, Eerke A. Boiten:
A Case Study in Partial Specification: Consistency and Refinement for Object-Z. ICFEM 2000: 177-188 - [c13]Eerke A. Boiten, John Derrick:
Liberating Data Refinement. MPC 2000: 144-166 - [c12]Ralph Miarka, Eerke A. Boiten, John Derrick:
Guards, Preconditions, and Refinement in Z. ZB 2000: 286-303
1990 – 1999
- 1999
- [j8]John Derrick, Eerke A. Boiten:
Calculating upward and downward simulations of state-based specifications. Inf. Softw. Technol. 41(13): 917-923 (1999) - [j7]Howard Bowman, Eerke A. Boiten, John Derrick, Maarten Steen:
Strategies for Consistency Checking Based on Unification. Sci. Comput. Program. 33(3): 261-298 (1999) - [j6]Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen:
Constructive Consistency Checking for Partial Specification in Z. Sci. Comput. Program. 35(1): 29-75 (1999) - [j5]John Derrick, Eerke A. Boiten:
Testing Refinements of State-based Formal Specifications. Softw. Test. Verification Reliab. 9(1): 27-50 (1999) - [c11]John Derrick, Eerke A. Boiten:
Non-atomic Refinement in Z. World Congress on Formal Methods 1999: 1477-1496 - [c10]John Derrick, Eerke A. Boiten:
Specifying Component and Context Specification Using Promotion. IFM 1999: 293-312 - 1998
- [j4]John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen:
Specifying and Refining Internal Operations in Z. Formal Aspects Comput. 10(2): 125-159 (1998) - [c9]Maarten Steen, John Derrick, Eerke A. Boiten, Howard Bowman:
Consistency of Partial Process Specifications. AMAST 1998: 248-262 - [c8]John Derrick, Eerke A. Boiten:
Testing Refinements by Refining Tests. ZUM 1998: 265-283 - 1997
- [c7]Eerke A. Boiten, Howard Bowman, John Derrick, Maarten Steen:
Viewpoint Consistency in Z and LOTOS: A Case Study. FME 1997: 644-664 - [c6]Maarten Steen, Howard Bowman, John Derrick, Eerke A. Boiten:
Disjunction of LOTOS Specifications. FORTE 1997: 177-192 - [c5]John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen:
Weak Refinement in Z. ZUM 1997: 369-388 - 1996
- [c4]Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen:
Consistency and Refinement for Partial Specification in Z. FME 1996: 287-306 - [c3]John Derrick, Howard Bowman, Eerke A. Boiten, Maarten Steen:
Comparing LOTOS and Z Refinement Relations. FORTE 1996: 501-516 - [c2]Eerke A. Boiten, Howard Bowman, John Derrick, Maarten Steen:
Issues in multiparadigm viewpoint specification. ISAW/Viewpoints@FSE 1996: 162-166 - 1995
- [j3]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): 131-136 (1995) - 1993
- [c1]Eerke A. Boiten:
Parsing in ISBES. Formal Methods in Programming and Their Applications 1993: 423-433 - 1992
- [j2]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): 547-554 (1992) - [j1]Eerke A. Boiten:
Improving Recursive Functions by Inverting the Order of Evaluation. Sci. Comput. Program. 18(2): 139-179 (1992)
Coauthor Index
[p1] [e11] [b1] [j29] [j27] [j26] [e10] [j25] [j23] [c37] [e9] [j22] [j21] [j19] [c34] [c33] [c32] [e8] [c30] [c29] [e7] [e6] [c28] [e5] [c26] [c25] [j17] [c24] [c23] [e4] [e3] [j15] [j13] [c21] [j12] [j11] [j10] [c20] [c19] [c17] [c16] [e1] [j9] [c15] [c14] [c13] [c12] [j8] [j7] [j6] [j5] [c11] [c10] [j4] [c9] [c8] [c7] [c6] [c5] [c4] [c3] [c2]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-05 20:44 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
