• Publications
  • Influence
Specifying Computer Systems with Probabilistic Sequence Diagrams
TLDR
We propose a specification language that allows probabilistic requirements to be expressed at the same level as other requirements. Expand
Cyber-Risk Management
This book provides a brief and general introduction to cybersecurity and cyber-risk assessment. Not limited to a specific approach or technique, its focus is highly pragmatic and is based onExpand
Employing Key Indicators to Provide a Dynamic Risk Picture with a Notion of Confidence
TLDR
A security risk analysis will only serve its purpose if we can trust that the risk levels obtained from the analysis are correct. Expand
A Conceptual Model for Service Availability
TLDR
This paper presents a conceptual model for availability designed to handle these challenges. Expand
Modular analysis and modelling of risk scenarios with dependencies
TLDR
We propose a modular approach to the modelling and analysis of risk scenarios with dependencies, including the analysis of mutual dependencies between risk scenarios expressed in the assumption-guarantee style. Expand
Underspecification, Inherent Nondeterminism and Probability in Sequence Diagrams
TLDR
This paper investigates the use of underspecification, inherent nondeterminism and probability in sequence diagrams, the relationships between these concepts, and how these are expressed inSTAIRS and probabilistic STAIRS. Expand
Cyber-Risk Management
TLDR
The first € price and the £ and $ price are net prices, subject to local VAT. Expand
Relating computer systems to sequence diagrams with underspecification, inherent nondeterminism and probabilistic choice : Part 2
TLDR
We present a procedure for answering this question for three variations of sequence diagrams. Expand
Semantics of UML Models for Dynamic Behavior - A Survey of Different Approaches
TLDR
This paper surveys different approaches to formally capturing the semantics of models expressed in UML sequence diagrams, state machines and similar notations. Expand
Towards Safety Risk Assessment of Socio-Technical Systems via Failure Logic Analysis
TLDR
A thorough understanding of the safety risks of a system requires an understanding of its human and organizational factors, as well as its technical components. Expand
...
1
2
3
4
5
...