Eerke Boiten

Citirano

	Sve	Od 2020.
Citati	2309	418
H-indeks	27	10
i10-indeks	55	10

140

105

199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202514 8 6 13 28 52 64 89 83 92 135 124 79 120 129 93 109 99 55 55 45 58 75 28 56 28 60 56 54 65 86 103 101 8

Javni pristup

Prikaži sve

31 članak

2 članka

dostupno

nije dostupno

Na temelju uvjeta financiranja

Suautori

John DerrickUniversity of SheffieldPotvrđena adresa e-pošte na sheffield.ac.uk
Howard BowmanSchool of Psychology, University of BirminghamPotvrđena adresa e-pošte na bham.ac.uk
MWA SteenBiZZdesignPotvrđena adresa e-pošte na bizzdesign.com
Isabel WagnerUniversity of BaselPotvrđena adresa e-pošte na unibas.ch
Leandros MaglarasProfessor of Cybersecurity, Edinburgh Napier UniversityPotvrđena adresa e-pošte na napier.ac.uk
Helge JanickeCyber Security Cooperative Research Centre, Edith Cowan UniversityPotvrđena adresa e-pošte na cybersecuritycrc.org.au
Iryna YevseyevaDe Montfort University, LeicesterPotvrđena adresa e-pošte na dmu.ac.uk
Julio Hernandez-CastroProfessor of Computer Security, University of KentPotvrđena adresa e-pošte na kent.ac.uk
Ying HeThe University of NottinghamPotvrđena adresa e-pošte na nottingham.ac.uk
Thomas ReisingerSchool of Computer Science and Informatics, De Montfort University, UKPotvrđena adresa e-pošte na my365.dmu.ac.uk
Rogério de LemosUniversity of Kent, UKPotvrđena adresa e-pošte na kent.ac.uk
Roland BackhouseProfessor of Computing Science, University of NottinghaPotvrđena adresa e-pošte na cs.nott.ac.uk
Steve ReevesUniversity of WaikatoPotvrđena adresa e-pošte na waikato.ac.nz
Ed VoermansProduct Owner, ABN AMRO Bank N.V.Potvrđena adresa e-pošte na nl.abnamro.com
Apostolos PappasTechnische Universiteit Delft, Microwave Sensing, Signals and Systems (MS3)Potvrđena adresa e-pošte na tudelft.nl
Francisco J. Aparicio-NavarroAssociate Professor in Cyber Security at De Montfort UniversityPotvrđena adresa e-pošte na dmu.ac.uk
Antonios ArgyriouProfessor, Electrical & Computer Engineering, University of ThessalyPotvrđena adresa e-pošte na uth.gr
Dimitrios KosmanosPhD, University of ThessalyPotvrđena adresa e-pošte na uth.gr
Aladdin AyeshProfessor of Artificial Intelligence, University of Aberdeen, UKPotvrđena adresa e-pošte na abdn.ac.uk
Joseph Richard SnapeLecturer and Research Fellow, Institute of Energy and Sustainable Development, De MontfortPotvrđena adresa e-pošte na dmu.ac.uk

Prati

Eerke Boiten

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

Potvrđena adresa e-pošte na dmu.ac.uk - Početna stranica

Cyber security Privacy Formal methods Refinement


Naslov Poredaj po navodima Poredaj po godini Poredaj po naslovu	Citirano Citirano	Godina
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

Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.

Članci 1–20

Godišnji broj citata

Dvostruki navodi

Spojeni navodi

Dodavanje suautoraSuautori

Prati

Citirano

Suautori