Concepedia

George Hagen

GH

9

Publications

442

Citations

9

H-Index

2008

Active since

Affiliations

Langley Research Center(Current)

George Hagen is an author at Langley Research Center specializing in engineering, systems engineering, and computer science.

Top concepts

EngineeringComputer ScienceSystems EngineeringSpace EngineeringBusinessAutomationVerificationFormal MethodsFormal VerificationComputer Engineering

Publications per year

2008–2020

9

Publications

9

DAIDALUS: Detect and Avoid Alerting Logic for Unmanned Systems

César Muñoz, Anthony Narkawicz, George Hagen et al. · 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC) · 2015 · 102 citations · Full text

Daidalus Reference Implementation, Engineering, Aerospace Engineering +14

Scaling Up the Formal Verification of Lustre Programs with SMT-Based Techniques

George Hagen, Cesare Tinelli · 2008 · 86 citations

Program Checking, Engineering, Verification +18

DAIDALUS: Detect and avoid alerting logic for unmanned systems

César Muñoz, Anthony Narkawicz, George Hagen et al. · 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC) · 2015 · 68 citations

Performance Studies, Conference Presentation, Engineering +10

ICAROUS: Integrated configurable algorithms for reliable operations of unmanned systems

María Consiglio, César Muñoz, George Hagen et al. · 2016 · 54 citations · Full text

Engineering, Field Robotics, Autonomous Systems +20

Capacity and Throughput of Urban Air Mobility Vertiports with a First-Come, First-Served Vertiport Scheduling Algorithm

Nelson Guerreiro, George Hagen, Jeffrey M. Maddalon et al. · AIAA AVIATION 2020 FORUM · 2020 · 39 citations

Engineering, Aerospace Engineering, Air Traffic Management +14

Rows per page

1–5 of 9