9 citations · 31 across the 19 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.SE2015
On the Verification of SCOOP Programs
Georgiana Caltais, Bertrand Meyer
In this paper we focus on the development of a toolbox for the verification of programs in the context of SCOOP -- an elegant concurrency model, recently formalized based on Rewrit…