4 citations · 5 across the 2 of their papers we have counts for
2 papers
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…