11 citations · 11 across the 2 of their papers we have counts for
2 papers
cs.SE2026
Defeater Cards: Characterizing and Managing Safety Assurance Case Defeaters
Usman Gohar, Michael C. Hunter, Salil Purandare +3
Safety assurance cases provide structured justifications that safety-critical systems meet their safety requirements. Recently, the notion of defeaters has emerged as a rigorous me…
cs.HC2023★ 11 cited
HIFuzz: Human Interaction Fuzzing for small Unmanned Aerial Vehicles
Theodore Chambers, Michael Vierhauser, Ankit Agrawal +5
Small Unmanned Aerial Systems (sUAS) must meet rigorous safety standards when deployed in high-stress emergency response scenarios; however many reported accidents have involved hu…