Michael C. Hunter

According to our database, Michael C. Hunter authored at least 4 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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, February, 2025

A Taxonomy of Real-World Defeaters in Safety Assurance Cases.

Usman Gohar, Michael C. Hunter, Myra B. Cohen, Robyn R. Lutz

CoRR, February, 2025

2024

CoDefeater: Using LLMs To Find Defeaters in Assurance Cases.

Usman Gohar, Michael C. Hunter, Robyn R. Lutz, Myra B. Cohen

Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, 2024

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

Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Society, 2024