Towards Engineering Fair and Equitable Software Systems for Managing Low-Altitude Airspace Authorizations. - Usman Gohar; Michael C. Hunter; Agnieszka Marczak-Czajka; Robyn R. Lutz; Myra B. Cohen; Jane Cleland-Huang (ICSE (SEIS), 2024)

CoDefeater: Using LLMs To Find Defeaters in Assurance Cases. - Usman Gohar; Michael C. Hunter; Robyn R. Lutz; Myra B. Cohen (ASE, 2024)

A Taxonomy of Real-World Defeaters in Safety Assurance Cases. - Usman Gohar; Michael C. Hunter; Myra B. Cohen; Robyn R. Lutz (MO2RE, 2025)

A Family-Based Approach to Safety Cases for Controlled Airspaces in Small Uncrewed Aerial Systems. - Michael C. Hunter; Usman Gohar; Myra B. Cohen; Robyn R. Lutz; Jane Cleland-Huang (CoRR, 2025)