Eerke Boiten
Eerke Boiten
School of Computer Science and Informatics, De Montfort University, UK
Verified email at - Homepage
Cited by
Cited by
Refinement in Z and Object-Z
J Derrick, E Boiten
Springer, 2001
A formal framework for viewpoint consistency
H Bowman, MWA Steen, EA Boiten, J Derrick
Formal Methods in System Design 21, 111-166, 2002
Viewpoint consistency in ODP
E Boiten, H Bowman, J Derrick, P Linington, M Steen
Computer Networks 34 (3), 503-537, 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
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
IO-refinement in Z
EA Boiten, J Derrick
Springer Verlag, 1998
Relational concurrent refinement
J Derrick, E Boiten
Formal Aspects of Computing 15, 182-214, 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
Fixed-point calculus
C Aarts, R Backhouse, E Boiten, H Doornbos, N van Gasteren, ...
Information Processing Letters 53 (3), 131-136, 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
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
Privacy risk assessment: from art to science, by metrics
I Wagner, E Boiten
Data Privacy Management, Cryptocurrencies and Blockchain Technology: ESORICS …, 2018
Testing refinements of state‐based formal specifications
J Derrick, E Boiten
Software Testing, Verification and Reliability 9 (1), 27-50, 1999
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
Improving recursive functions by inverting the order of evaluation
EA Boiten
Science of Computer Programming 18 (2), 139-179, 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
Strategies for consistency checking based on unification
H Bowman, EA Boiten, J Derrick, MWA Steen
Science of Computer Programming 33 (3), 261-298, 1999
Integrated Formal Methods: 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings
E Boiten, J Derrick, G Smith
Springer, 2004
Weak refinement in Z
J Derrick, E Boiten, H Bowman, M Steen
ZUM'97: The Z Formal Specification Notation: 10th International Conference …, 1997
Non-atomic Refinement
J Derrick, EA Boiten, J Derrick, EA Boiten
Refinement in Z and Object-Z: Foundations and Advanced Applications, 303-339, 2014
The system can't perform the operation now. Try again later.
Articles 1–20