NASA Langley Formal Methods


home

welcome

quick page

philosophy

team

research

links

new?
  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

Publications

  • Guerreiro, Nelson M., Jones, Denise R., Barmore, Bryan E., Butler, Ricky W., Hagen, George E., Maddalon, Jeffrey M., Ahmad, Nash'at N. Prototype Tool and Focus Group Evaluation for an Advanced Trajectory-Based Operations Concept, 17th AIAA Aviation Technology, Integration, and Operations Conference, AIAA AVIATION Forum, (AIAA 2017-4096)
  • Consiglio, M. C., Munoz, C. A., Hagen, G. E., Narkawicz, A. J., and Balachandran, S. ICAROUS - Integrated Configurable Algorithms for Reliable Operations of Unmanned Systems. Presented at 2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC), September 25-30, 2016, Sacramento, California.
  • Narkawicz, A. J., and Hagen, G. E. Algorithms for Collision Detection Between a Point and a Moving Polygon, With Applications to Aircraft Weather Avoidance. Presented at AIAA Aviation 2016, June 13-17, 2016, Washington, District of Columbia.
  • Hagen, George E., Butler, Ricky W., Maddalon, Jeffrey M. The Stratway Program for Strategic Conflict Resolution: User's Guide, NASA/TM-2016-219196, May 2016.
  • Nelson M. Guerreiro, Ricky W. Butler, George E. Hagen, Jeffrey M. Maddalon, and Timothy A. Lewis, Parametric Analysis of Surveillance Quality and Level and Quality of Intent Information and their Impact on Conflict Detection Performance, NASA/TM-2016-219177, March 2016.
  • Munoz, C. A., Narkawicz, A. J., Hagen, G. E., Upchurch, J. M., Dutle, A. M., Consiglio, M. C., and Chamberlain, J. DAIDALUS: Detect and Avoid Alerting Logic for Unmanned Systems. Presented at DIGITAL AVIONICS SYSTEMS CONFERENCE, September 13-17, 2015, Prague, Czech Republic.
  • Consiglio, M. C., Munoz, C. A., Hagen, G. E., Narkawicz, A. J., Upchurch, J. M., Comstock, J. R., Ghatas, R. W., Vincent, M. J., and Chamberlain, J. Human-in-the-Loop Experimental Research for Detect and Avoid. Presented at DIGITAL AVIONICS SYSTEMS CONFERENCE, September 13-17, 2015, Prague, Czech Republic.
  • Nelson M. Guerreiro, Ricky W. Butler , Jeffrey M. Maddalon , George E. Hagen , and Timothy A. Lewis, Conflict Detection Performance Analysis For Function Allocation Using Time-Shifted Recorded Traffic Data, June 22-26, 2015 in Dallas, Texas.
  • George E. Hagen and Ricky W. Butler. Towards a Formal Semantics of Flight Plans and Trajectories. NASA/TM-2014-218662.
  • Anthony Narkawicz, César Muñoz, and George Hagen, An Independent and Coordinated Criterion for Kinematic Aircraft Maneuvers, Proceedings of the 14th AIAA Aviation Technology, Integration, and Operations (ATIO) Conference, AIAA-2014-2859, Atlanta, Georgia, 2014. BibTeX Reference.
  • 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