6 papers
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…
Ontology-Grounded Capability Interaction Graphs: From Knowledge Graphs to Fault Trees
Manzi Aimé Ntagengerwa, Georgiana Caltais, Mariëlle Stoelinga
The development of Cyber-Physical Systems (CPSs) is inherently multidisciplinary, involving expertise from domains such as software engineering, electrical engineering, and mechatr…
Circular Induction
Dorel Lucanu, Grigore Rosu, Eugen Goriac +1
The Circularity Principle was successfully applied for developing a coinductive proving technique, known as circular coinduction. In this paper, we show that the same principle can…
Fault Tree Synthesis from Knowledge Graphs
Manzi Aimé Ntagengerwa, Georgiana Caltais, Mariëlle Stoelinga
A truly effective diagnostic system provides system engineers with valuable insights into the behavior of their machines, leveraging a rich body of (often tacit) expertise. Much of…
Proceedings Combined 31st International Workshop on Expressiveness in Concurrency and 21st Workshop on Structural Operational Semantics
Georgiana Caltais, Cinzia Di Giusto
This volume contains the proceedings of EXPRESS/SOS 2024: the Combined 31st International Workshop on Expressiveness in Concurrency and the 21st Workshop on Structural Operational…
Tracer: A Tool for Race Detection in Software Defined Network Models
Georgiana Caltais, Mahboobeh Zangiabady, Ervin Zvirbulis
Software Defined Networking (SDN) has become a new paradigm in computer networking, introducing a decoupled architecture that separates the network into the data plane and the cont…