Eerke Boiten

Cited by

	All	Since 2019
Citations	2254	414
h-index	27	11
i10-index	55	11

140

105

19921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202414 8 7 16 28 45 64 89 83 91 131 122 79 119 129 91 121 97 56 55 41 55 75 31 59 30 60 40 71 66 88 102 46

Public access

View all

31 articles

2 articles

available

not available

Based on funding mandates

Co-authors

John DerrickUniversity of SheffieldVerified email at sheffield.ac.uk
Howard BowmanSchool of Psychology, University of BirminghamVerified email at bham.ac.uk
MWA SteenBiZZdesignVerified email at bizzdesign.com
Isabel WagnerUniversity of BaselVerified email at unibas.ch
Leandros MaglarasProfessor of Cybersecurity, Edinburgh Napier UniversityVerified email at napier.ac.uk
Julio Hernandez-CastroProfessor of Computer Security, University of KentVerified email at kent.ac.uk
Helge JanickeCyber Security Cooperative Research Centre, Edith Cowan UniversityVerified email at cybersecuritycrc.org.au
Iryna YevseyevaDe Montfort University, LeicesterVerified email at dmu.ac.uk
Rogério de LemosUniversity of Kent, UKVerified email at kent.ac.uk
Thomas ReisingerSchool of Computer Science and Informatics, De Montfort University, UKVerified email at my365.dmu.ac.uk
Ying HeThe University of NottinghamVerified email at nottingham.ac.uk
Roland BackhouseProfessor of Computing Science, University of NottinghaVerified email at cs.nott.ac.uk
Steve ReevesUniversity of WaikatoVerified email at waikato.ac.nz
Ed VoermansProduct Owner, ABN AMRO Bank N.V.Verified email at nl.abnamro.com
Apostolos PappasTechnische Universiteit Delft, Microwave Sensing, Signals and Systems (MS3)Verified email at tudelft.nl
Francisco J. Aparicio-NavarroAssociate Professor in Cyber Security at De Montfort UniversityVerified email at dmu.ac.uk
Antonios ArgyriouAssociate Professor, Electrical & Computer Engineering, University of ThessalyVerified email at uth.gr
Dimitrios KosmanosPhD, University of ThessalyVerified email at uth.gr
Aladdin AyeshProfessor of Artificial Intelligence, University of Aberdeen, UKVerified email at abdn.ac.uk
Daniël TuijnmanVerified email at velotype.nl

Eerke Boiten

School of Computer Science and Informatics, De Montfort University, UK

Verified email at dmu.ac.uk - Homepage

Cyber security Privacy Formal methods Refinement


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Refinement in Z and Object-Z J Derrick, E Boiten Springer, 2001	427	2001
A formal framework for viewpoint consistency H Bowman, MWA Steen, EA Boiten, J Derrick Formal Methods in System Design 21, 111-166, 2002	77	2002
Viewpoint consistency in ODP E Boiten, H Bowman, J Derrick, P Linington, M Steen Computer Networks 34 (3), 503-537, 2000	73	2000
A holistic cybersecurity maturity assessment framework for higher education institutions in the United Kingdom A Aliyu, L Maglaras, Y He, I Yevseyeva, E Boiten, A Cook, H Janicke Applied Sciences 10 (10), 3660, 2020	71	2020
Viewpoint consistency in ODP, a general interpretation H Bowman, EA Boiten, J Derrick, MWA Steen Formal methods for open object-based distributed systems, 189-204, 1996	65	1996
IO-refinement in Z EA Boiten, J Derrick Springer Verlag, 1998	58	1998
Relational concurrent refinement J Derrick, E Boiten Formal Aspects of Computing 15, 182-214, 2003	56	2003
Constructive consistency checking for partial specification in Z E Boiten, J Derrick, H Bowman, M Steen Science of Computer Programming 35 (1), 29-75, 1999	56	1999
Fixed-point calculus C Aarts, R Backhouse, E Boiten, H Doornbos, N van Gasteren, ... Information Processing Letters 53 (3), 131-136, 1995	47	1995
Privacy risk assessment: from art to science, by metrics I Wagner, E Boiten Data Privacy Management, Cryptocurrencies and Blockchain Technology: ESORICS …, 2018	46	2018
Testing refinements of state‐based formal specifications J Derrick, E Boiten Software Testing, Verification and Reliability 9 (1), 27-50, 1999	46	1999
Viewpoint consistency in Z and LOTOS: A case study E Boiten, H Bowman, J Derrick, M Steen FME'97: Industrial Applications and Strengthened Foundations of Formal …, 1997	46	1997
Supporting ODP-Translating LOTOS to Z J Derrick, EA Boiten, H Bowman, MWA Steen Formal Methods for Open Object-based Distributed Systems, 399-406, 1996	46	1996
Integrated Formal Methods: 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings E Boiten, J Derrick, G Smith Springer, 2004	44*	2004
Consistency and refinement for partial specification in Z E Boiten, J Derrick, H Bowman, M Steen FME'96: Industrial Benefit and Advances in Formal Methods: Third …, 1996	44	1996
Improving recursive functions by inverting the order of evaluation EA Boiten Science of Computer Programming 18 (2), 139-179, 1992	43	1992
Intrusion detection system for platooning connected autonomous vehicles D Kosmanos, A Pappas, FJ Aparicio-Navarro, L Maglaras, H Janicke, ... 2019 4th South-East Europe Design Automation, Computer Engineering, Computer …, 2019	36	2019
Strategies for consistency checking based on unification H Bowman, EA Boiten, J Derrick, MWA Steen Science of Computer Programming 33 (3), 261-298, 1999	35*	1999
Weak refinement in Z J Derrick, E Boiten, H Bowman, M Steen ZUM'97: The Z Formal Specification Notation: 10th International Conference …, 1997	34	1997
Exploring UML refinement through unification EA Boiten, MC Bujorianu Proceedings of the UML 3, 2003	33	2003

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors