Laura Humphrey

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 5

Top Topics

Formal Verification

Situation Awareness

Autonomous Systems

Top Venues

Publications

Laura Humphrey
Example Applications of Formal Methods to Aerospace and Autonomous Systems. ICAA (2023)
Brian Wheelhouse, Kenneth M. Hopkinson, Laura Humphrey
Formal Verification of Prim's Algorithm in SPARK. HICSS (2023)
Bryce Bible, Bruce Tonn, Kristina W. Kintziger, Kelsey Ellis, Jennifer First, Laura Humphrey, Erin Rose, Xiaopeng Zhao
POSTER: Affordable Automatic Air Quality Monitoring System for At-risk Homes. CHASE (2023)
Matthew L. Bolton, Elliot Biltekoff, Laura Humphrey
The Level of Measurement of Subjective Situation Awareness and Its Dimensions in the Situation Awareness Rating Technique (SART). IEEE Trans. Hum. Mach. Syst. 52 (6) (2022)
Patricia Alves-Oliveira, Richard G. Freedman, Dan Grollman, Laura Herlant, Laura Humphrey, Fei Liu, Ross Mead, Frank Stein, Tom Williams, Shomir Wilson
Reports on the 2016 AAAI Fall Symposium Series. AI Mag. 38 (2) (2017)
Laura Humphrey
Verification of a Leader Election Protocol for Autonomous Intruder Detection. Infotech@Aerospace (2012)
Laura Humphrey, Hooshang Hemami, Kamran Barin, Ashok Krishnamurthy
Simulated Responses to Support Surface Disturbances in a Humanoid Biped Model With a Vestibular-Like Apparatus. IEEE Trans. Syst. Man Cybern. Part C 40 (1) (2010)