Eerke Boiten

Cytowane przez

	Wszystkie	Od 2020
Cytowania	2319	427
h-indeks	27	10
i10-indeks	55	10

140

105

199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202514 8 6 13 28 53 65 88 83 92 135 124 79 120 129 93 109 100 54 55 45 58 75 28 56 28 60 56 54 65 86 104 105 11

Dostęp publiczny

Wyświetl wszystko

31 artykułów

2 artykuły

dostępne

niedostępne

Objęte finansowaniem

Współautorzy

John DerrickUniversity of SheffieldZweryfikowany adres z sheffield.ac.uk
Howard BowmanSchool of Psychology, University of BirminghamZweryfikowany adres z bham.ac.uk
MWA SteenBiZZdesignZweryfikowany adres z bizzdesign.com
Isabel WagnerUniversity of BaselZweryfikowany adres z unibas.ch
Leandros MaglarasProfessor of Cybersecurity, Edinburgh Napier UniversityZweryfikowany adres z napier.ac.uk
Helge JanickeCyber Security Cooperative Research Centre, Edith Cowan UniversityZweryfikowany adres z cybersecuritycrc.org.au
Iryna YevseyevaDe Montfort University, LeicesterZweryfikowany adres z dmu.ac.uk
Julio Hernandez-CastroProfessor of Computer Security, University of KentZweryfikowany adres z kent.ac.uk
Ying HeThe University of NottinghamZweryfikowany adres z nottingham.ac.uk
Thomas ReisingerSchool of Computer Science and Informatics, De Montfort University, UKZweryfikowany adres z my365.dmu.ac.uk
Rogério de LemosUniversity of Kent, UKZweryfikowany adres z kent.ac.uk
Roland BackhouseProfessor of Computing Science, University of NottinghaZweryfikowany adres z cs.nott.ac.uk
Steve ReevesUniversity of WaikatoZweryfikowany adres z waikato.ac.nz
Ed VoermansProduct Owner, ABN AMRO Bank N.V.Zweryfikowany adres z nl.abnamro.com
Apostolos PappasTechnische Universiteit Delft, Microwave Sensing, Signals and Systems (MS3)Zweryfikowany adres z tudelft.nl
Francisco J. Aparicio-NavarroAssociate Professor in Cyber Security at De Montfort UniversityZweryfikowany adres z dmu.ac.uk
Antonios ArgyriouProfessor, Electrical & Computer Engineering, University of ThessalyZweryfikowany adres z uth.gr
Dimitrios KosmanosPhD, University of ThessalyZweryfikowany adres z uth.gr
Aladdin AyeshProfessor of Artificial Intelligence, University of Aberdeen, UKZweryfikowany adres z abdn.ac.uk
Joseph Richard SnapeLecturer and Research Fellow, Institute of Energy and Sustainable Development, De MontfortZweryfikowany adres z dmu.ac.uk

Obserwuj

Eerke Boiten

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

Zweryfikowany adres z dmu.ac.uk - Strona główna

Cyber security Privacy Formal methods Refinement


Tytuł Sortuj wg cytatów Sortuj wg roku Sortuj wg tytułu	Cytowane przez Cytowane przez	Rok
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	92	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

Nie można teraz wykonać tej operacji. Spróbuj ponownie później.

Prace 1–20

Cytowania rocznie

Powielone cytowania

Scalone cytowania

Dodaj współautorówWspółautorzy

Obserwuj

Cytowane przez

Współautorzy