George Hagen

george(DOT)hagen(AT)nasa(DOT)gov

+1 757 864 6195

Publications

• 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 tag identifies links that are outside of the NASA domain.