2 citations · 3 across the 2 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2025★ 2 cited
A Family-Based Approach to Safety Cases for Controlled Airspaces in Small Uncrewed Aerial Systems
Michael C. Hunter, Usman Gohar, Myra B. Cohen +2
As small Uncrewed Aircraft Systems (sUAS) increasingly operate in the national airspace, safety concerns arise due to a corresponding rise in reported airspace violations and incid…
cs.SE2025★ 1 cited
A Taxonomy of Real-World Defeaters in Safety Assurance Cases
Usman Gohar, Michael C. Hunter, Myra B. Cohen +1
The rise of cyber-physical systems in safety-critical domains calls for robust risk-evaluation frameworks. Assurance cases, often required by regulatory bodies, are a structured ap…