3 citations · 4 across the 7 of their papers we have counts for
8 papers · 1 filter
Safety Analysis of CPSs Over-the-air Updates: Test Case Prioritization and Selection
Andrea Bombarda, Luca Carminati, Nunzio Marco Bisceglia +5
Over-the-air (OTA) updates for Cyber-Physical Systems (CPS) allow engineers to modify their software wirelessly. In the automotive domain, they enable manufacturers to update softw…
Property-Driven Synthetic Data Engineering for Data-Scarce Software Systems: Reflections from the Breast Cancer Domain
Aurora Francesca Zanenga, Andrea Bombarda, Marsha Chechik +4
Modern software systems increasingly depend on data for analysis, prediction, testing, and decision-making. Yet many important domains, including medicine, safety-critical systems,…
Automated Repair of Requirements for Cyber-Physical Systems in Simulink Requirements Tables
Aren A. Babikian, Alessio Di Sandro, Federico Formica +2
The development of complex software systems, e.g., cyber-physical systems (CPSs), involves continuous evolution of both system implementations and their requirements. These two art…
Abductive Vibe Coding (Extended Abstract)
Logan Murphy, Aren A. Babikian, Marsha Chechik
When software artifacts are generated by AI models ("vibe coding"), human engineers assume responsibility for validating them. Ideally, this validation would be done through the cr…
Assurance Case Development for Evolving Software Product Lines: A Formal Approach
Logan Murphy, Torin Viger, Alessio Di Sandro +2
In critical software engineering, structured assurance cases (ACs) are used to demonstrate how key system properties are supported by evidence (e.g., test results, proofs). Creatin…
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…
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…
The Last Decade in Review: Tracing the Evolution of Safety Assurance Cases through a Comprehensive Bibliometric Analysis
Mithila Sivakumar, Alvine Boaye Belle, Jinjun Shan +6
Safety assurance is of paramount importance across various domains, including automotive, aerospace, and nuclear energy, where the reliability and acceptability of mission-critical…