Abigail Hammer

Publication Activity (10 Years)

Years Active: 2020-2022
Publications (10 Years): 2

Top Topics

Face Verification

Network Traffic

Decision Support System

Management System

Top Venues

Innov. Syst. Softw. Eng.

Publications

Abigail Hammer, Matthew Cauwels, Benjamin Hertz, Phillip H. Jones, Kristin Y. Rozier
Integrating runtime verification into an automated UAS traffic management system. Innov. Syst. Softw. Eng. 18 (4) (2022)
Matthew Cauwels, Abigail Hammer, Benjamin Hertz, Phillip H. Jones, Kristin Y. Rozier
Integrating Runtime Verification into an Automated UAS Traffic Management System. ECSA Companion (2020)