Eerke Boiten

Geciteerd door

	Alles	Sinds 2020
Citaties	2310	419
h-index	27	10
i10-index	55	10

140

105

199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202514 8 6 13 28 52 64 89 83 92 135 124 79 120 129 93 109 100 54 55 45 58 75 28 56 28 60 56 54 65 85 104 101 9

Openbare toegang

Alles bekijken

31 artikelen

2 artikelen

beschikbaar

niet beschikbaar

Op basis van financieringsmachtigingen

Medeauteurs

John DerrickUniversity of SheffieldGeverifieerd e-mailadres voor sheffield.ac.uk
Howard BowmanSchool of Psychology, University of BirminghamGeverifieerd e-mailadres voor bham.ac.uk
MWA SteenBiZZdesignGeverifieerd e-mailadres voor bizzdesign.com
Isabel WagnerUniversity of BaselGeverifieerd e-mailadres voor unibas.ch
Leandros MaglarasProfessor of Cybersecurity, Edinburgh Napier UniversityGeverifieerd e-mailadres voor napier.ac.uk
Helge JanickeCyber Security Cooperative Research Centre, Edith Cowan UniversityGeverifieerd e-mailadres voor cybersecuritycrc.org.au
Iryna YevseyevaDe Montfort University, LeicesterGeverifieerd e-mailadres voor dmu.ac.uk
Julio Hernandez-CastroProfessor of Computer Security, University of KentGeverifieerd e-mailadres voor kent.ac.uk
Ying HeThe University of NottinghamGeverifieerd e-mailadres voor nottingham.ac.uk
Thomas ReisingerSchool of Computer Science and Informatics, De Montfort University, UKGeverifieerd e-mailadres voor my365.dmu.ac.uk
Rogério de LemosUniversity of Kent, UKGeverifieerd e-mailadres voor kent.ac.uk
Roland BackhouseProfessor of Computing Science, University of NottinghaGeverifieerd e-mailadres voor cs.nott.ac.uk
Steve ReevesUniversity of WaikatoGeverifieerd e-mailadres voor waikato.ac.nz
Ed VoermansProduct Owner, ABN AMRO Bank N.V.Geverifieerd e-mailadres voor nl.abnamro.com
Apostolos PappasTechnische Universiteit Delft, Microwave Sensing, Signals and Systems (MS3)Geverifieerd e-mailadres voor tudelft.nl
Francisco J. Aparicio-NavarroAssociate Professor in Cyber Security at De Montfort UniversityGeverifieerd e-mailadres voor dmu.ac.uk
Antonios ArgyriouProfessor, Electrical & Computer Engineering, University of ThessalyGeverifieerd e-mailadres voor uth.gr
Dimitrios KosmanosPhD, University of ThessalyGeverifieerd e-mailadres voor uth.gr
Aladdin AyeshProfessor of Artificial Intelligence, University of Aberdeen, UKGeverifieerd e-mailadres voor abdn.ac.uk
Joseph Richard SnapeLecturer and Research Fellow, Institute of Energy and Sustainable Development, De MontfortGeverifieerd e-mailadres voor dmu.ac.uk

Volgen

Eerke Boiten

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

Geverifieerd e-mailadres voor dmu.ac.uk - Homepage

Cyber security Privacy Formal methods Refinement


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
Refinement in Z and Object-Z J Derrick, E Boiten Springer, 2001	431	2001
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	89	2020
A formal framework for viewpoint consistency H Bowman, MWA Steen, EA Boiten, J Derrick Formal Methods in System Design 21, 111-166, 2002	79	2002
Viewpoint consistency in ODP E Boiten, H Bowman, J Derrick, P Linington, M Steen Computer Networks 34 (3), 503-537, 2000	76	2000
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	66	1996
IO-refinement in Z EA Boiten, J Derrick Springer Verlag, 1998	59	1998
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	57	1999
Relational concurrent refinement J Derrick, E Boiten Formal Aspects of Computing 15, 182-214, 2003	56	2003
Privacy risk assessment: from art to science, by metrics I Wagner, E Boiten Data Privacy Management, Cryptocurrencies and Blockchain Technology: ESORICS …, 2018	49	2018
Testing refinements of state‐based formal specifications J Derrick, E Boiten Software Testing, Verification and Reliability 9 (1), 27-50, 1999	47	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
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	45	1996
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	43	2019
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	43	1996
Improving recursive functions by inverting the order of evaluation EA Boiten Science of Computer Programming 18 (2), 139-179, 1992	42	1992
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
Non-atomic Refinement J Derrick, EA Boiten, J Derrick, EA Boiten Refinement in Z and Object-Z: Foundations and Advanced Applications, 303-339, 2014	34	2014
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

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–20

Citaties per jaar

Dubbele citaties

Samengevoegde citaties

Medeauteurs toevoegenMedeauteurs

Volgen

Geciteerd door

Medeauteurs