Login / Signup
Michael C. Hunter
ORCID
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 3
Top Topics
Software Systems
High Altitude
Security Policies
Metamodel
Top Venues
CoRR
ICSE (SEIS)
</>
Publications
</>
Usman Gohar
,
Michael C. Hunter
,
Robyn R. Lutz
,
Myra B. Cohen
CoDefeater: Using LLMs To Find Defeaters in Assurance Cases.
CoRR
(2024)
Usman Gohar
,
Michael C. Hunter
,
Agnieszka Marczak-Czajka
,
Robyn R. Lutz
,
Myra B. Cohen
,
Jane Cleland-Huang
Towards Engineering Fair and Equitable Software Systems for Managing Low-Altitude Airspace Authorizations.
ICSE (SEIS)
(2024)
Usman Gohar
,
Michael C. Hunter
,
Agnieszka Marczak-Czajka
,
Robyn R. Lutz
,
Myra B. Cohen
,
Jane Cleland-Huang
Towards Engineering Fair and Equitable Software Systems for Managing Low-Altitude Airspace Authorizations.
CoRR
(2024)