Zobrazeno 1 - 10
of 702
pro vyhledávání: '"Stoelinga, P."'
Autor:
Nicoletti, Stefano M., Lopuhaä-Zwakenberg, Milan, Stoelinga, Mariëlle, Massacci, Fabio, Budde, Carlos E.
The landscape of cyber threats grows more complex by the day. Advanced Persistent Threats carry out systematic attack campaigns against which cybersecurity practitioners must defend. Examples of such organized attacks are operations Dream Job, Wocao,
Externí odkaz:
http://arxiv.org/abs/2410.06692
Publikováno v:
Proceedings of the 34th European Safety and Reliability Conference (ESREL) 2024
Sewer pipe systems are essential for social and economic welfare. Managing these systems requires robust predictive models for degradation behaviour. This study focuses on probability-based approaches, particularly Markov chains, for their ability to
Externí odkaz:
http://arxiv.org/abs/2407.12557
Autor:
Jimenez-Roa, Lisandro A., Simão, Thiago D., Bukhsh, Zaharah, Tinga, Tiedo, Molegraaf, Hajo, Jansen, Nils, Stoelinga, Marielle
Publikováno v:
Proceedings of the 8th European Conference of The Prognostics and Health Management Society 2024
Large-scale infrastructure systems are crucial for societal welfare, and their effective management requires strategic forecasting and intervention methods that account for various complexities. Our study addresses two challenges within the Prognosti
Externí odkaz:
http://arxiv.org/abs/2407.12894
Fault tree analysis is a vital method of assessing safety risks. It helps to identify potential causes of accidents, assess their likelihood and severity, and suggest preventive measures. Quantitative analysis of fault trees is often done via the dep
Externí odkaz:
http://arxiv.org/abs/2403.08843
We provide an overview of three different query languages whose objective is to specify properties on the highly popular formalisms of fault trees (FTs) and attack trees (ATs). These are BFL, a Boolean Logic for FTs, PFL, a probabilistic extension of
Externí odkaz:
http://arxiv.org/abs/2401.16015
Attack trees are important for security, as they help to identify weaknesses and vulnerabilities in a system. Quantitative attack tree analysis supports a number security metrics, which formulate important KPIs such as the shortest, most likely and c
Externí odkaz:
http://arxiv.org/abs/2401.12346
Labeled continuous-time Markov chains (CTMCs) describe processes subject to random timing and partial observability. In applications such as runtime monitoring, we must incorporate past observations. The timing of these observations matters but may b
Externí odkaz:
http://arxiv.org/abs/2401.06574
In reliability engineering, we need to understand system dependencies, cause-effect relations, identify critical components, and analyze how they trigger failures. Three prominent graph models commonly used for these purposes are fault trees (FTs), d
Externí odkaz:
http://arxiv.org/abs/2310.04448
Sewer pipe network systems are an important part of civil infrastructure, and in order to find a good trade-off between maintenance costs and system performance, reliable sewer pipe degradation models are essential. In this paper, we present a large-
Externí odkaz:
http://arxiv.org/abs/2310.01888
Critical infrastructure systems - for which high reliability and availability are paramount - must operate securely. Attack trees (ATs) are hierarchical diagrams that offer a flexible modelling language used to assess how systems can be attacked. ATs
Externí odkaz:
http://arxiv.org/abs/2309.09231