4 citations · 8 across the 5 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.SE2024★ 1 cited
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…
cs.SE2024★ 4 cited
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…