NASA Langley Formal Methods



quick page





  home > team > civil servants > geh

George Hagen

Email: george(DOT)hagen(AT)nasa(DOT)gov
Telephone: +1 757 864 6195
MS 130, NASA Langley Research Center, Hampton VA 23681, USA


  • Ricky W. Butler, George E. Hagen, and Jeffrey M. Maddalon. The Chorus Conflict and Loss of Separation Resolution Algorithms. NASA/TM–2013-218030.
  • Anthony Narkawicz, César Muñoz, Heber Herencia-Zapana, and George Hagen, Formal Verification of Lateral and Temporal Safety Buffers for State-Based Conflict Detection, Proceedings of the Institution of Mechanical Engineers, Part G: Journal of Aerospace Engineering, Vol. 227, No. 9, pp. 1412-1424, September 2013. BibTeX Reference.
  • Ricky W. Butler, George Hagen, Jeffrey M. Maddalon, Cesar Munoz, Anthony Narakawicz. The Search For Effective Algorithms For Recovery From Loss of Separation. DASC, 2012.
  • Natsha Neogi, George Hagen, Heber Herencia-Zapana. Comparison of Aircraft Models and Velocity Control Algorithms for Interval Management in the Terminal Radar Approach Control Area. DASC, 2012.
  • Heber Herencia-Zapana, George Hagen, Natasha Neogi. A Framework for Probabilistic Evaluation of Interval Management Tolerance in the Terminal Radar Control (TRACON) Area. DASC 2012.
  • George Hagen, Ricky Butler, and Jeffrey Maddalon, Stratway: A Modular Approach to Strategic Conflict Resolution, 11th AIAA Aviation Technology, Integration, and Operations (ATIO) Conference, September 2011. AIAA-2011-6892. BibTeX Reference.
  • Heber Herencia-Zapana, George Hagen, and Anthony Narkawicz, Formalizing Probabilistic Safety Claims, Third NASA Formal Methods Symposium, April 2011. BibTeX Reference.
  • César Muñoz, Ricky Butler, Anthony Narkawicz, Jeffrey Maddalon, and George Hagen, A Criteria Standard for Conflict Resolution: A Vision for Guaranteeing the Safety of Self-Separation in NextGen, Technical Memorandum, NASA/TM-2010-216862, October 2010. BibTeX Reference.
  • Ricky Butler, George Hagen, Jeffrey Maddalon, César Muñoz, Anthony Narkawicz, and Gilles Dowek, How Formal Methods Impels Discovery: A Short History of an Air Traffic Management Project, Technical Memorandum, NASA/CP-2010-216215, April 2010. BibTeX Reference.

Note: The [ext] tag identifies links that are outside of the NASA domain.

home | welcome | quick page | philosophy | team | research | links | new?
Curator and Responsible NASA Official: {YOUR NAME HERE}
larc privacy statement
Last modified: June 2009