1 citations · 1 across the 5 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2026
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…
cs.SE2024
BFL: a Logic to Reason about Fault Trees
Stefano M. Nicoletti, E. Moritz Hahn, Marielle Stoelinga
Safety-critical infrastructures must operate safely and reliably. Fault tree analysis is a widespread method used to assess risks in these systems: fault trees (FTs) are required -…