3 citations · 4 across the 7 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.SE2024★ 3 cited
Abstraction Engineering
Nelly Bencomo, Jordi Cabot, Marsha Chechik +4
Modern software-based systems operate under rapidly changing conditions and face ever-increasing uncertainty. In response, systems are increasingly adaptive and reliant on artifici…
cs.SE2024
PLACIDUS: Engineering Product Lines of Rigorous Assurance Cases
Logan Murphy, Torin Viger, Alessio Di Sandro +1
In critical software engineering, structured assurance cases (ACs) are used to demonstrate how key properties (e.g., safety, security) are supported by evidence artifacts (e.g., te…