25 citations · 82 across the 20 of their papers we have counts for
22 papers
Towards realistic large random models of labeled transition systems and their 0-1 laws
Milan Lopuhaä-Zwakenberg
Model checking is the automated verification of properties (specified in some modal logic) in labeled transition systems (LTSs); it is an essential tool in ensuring software system…
Actual causality in fault trees
Georgiana Caltais, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
Fault trees are a widely used as effective risk models for complex systems, answering the question "what can go wrong?", especially through minimal cut set analysis. We study fault…
Quantitative analysis of attack-fault trees via Markov decision processes
Milan Lopuhaä-Zwakenberg
Adequate risk assessment of safety critical systems needs to take both safety and security into account, as well as their interaction. A prominent methodology for modeling safety a…
Provable Privacy Advantages of Decentralized Federated Learning via Distributed Optimization
Wenrui Yu, Qiongxiu Li, Milan Lopuhaä-Zwakenberg +2
Federated learning (FL) emerged as a paradigm designed to improve data privacy by enabling data to reside at its source, thus embedding privacy as a core consideration in FL archit…
Fuzzy Fault Trees Formalized
Thi Kim Nhung Dang, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
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 me…
Querying Fault and Attack Trees: Property Specification on a Water Network
Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, E. Moritz Hahn +1
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). The…