4 citations · 6 across the 4 of their papers we have counts for
4 papers
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…
Different Horses for Different Courses: Comparing Bias Mitigation Algorithms in ML
Prakhar Ganesh, Usman Gohar, Lu Cheng +1
With fairness concerns gaining significant attention in Machine Learning (ML), several bias mitigation techniques have been proposed, often compared against each other to find the…
CoDefeater: Using LLMs To Find Defeaters in Assurance Cases
Usman Gohar, Michael C. Hunter, Robyn R. Lutz +1
Constructing assurance cases is a widely used, and sometimes required, process toward demonstrating that safety-critical systems will operate safely in their planned environment. T…
Towards Engineering Fair and Equitable Software Systems for Managing Low-Altitude Airspace Authorizations
Usman Gohar, Michael C. Hunter, Agnieszka Marczak-Czajka +3
Small Unmanned Aircraft Systems (sUAS) have gained widespread adoption across a diverse range of applications. This has introduced operational complexities within shared airspaces…