NASA Langley Formal Methods



quick page





  home > team > civil servants > ajn

Anthony J. Narkawicz

Telephone: +1 757 864 1544
MS 130, NASA Langley Research Center, Hampton VA 23681, USA



  1. Anthony Narkawicz and César Muñoz, Provably Correct Conflict Prevention Bands Algorithms, Science of Computer Programming, In Press, 2011 BibTeX Reference.
  2. Luis Crespo, César Muñoz, Anthony Narkawicz, Sean Kenny, and Daniel Giesy, Uncertainty Analysis via Failure Domain Characterization: Polynomial Requirement Functions, European Safety and Reliability Conference, September 2011. BibTeX Reference.
  3. Anthony Narkawicz, A Formal Proof Of The Riesz Representation Theorem, Journal of Formalized Reasoning, Vol 4, No. 1, 2011. BibTeX Reference.
  4. Anthony Narkawicz and César Muñoz, State-based implicit coordination and applications, Technical Publication, NASA/TP-2011-217067, March 2011. BibTeX Reference.
  5. 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.
  6. César Muñoz and Anthony Narkawicz, Time of Closest Approach in Three-Dimensional Airspace, Technical Memorandum, NASA/TM-2010-216857, October 2010. BibTeX Reference.
  7. Anthony Narkawicz, César Muñoz, and Gilles Dowek, Formal verification of air traffic prevention bands algorithms, Technical Memorandum, NASA/TM-2010-216706, June 2010. BibTeX Reference.
  8. Heber Herencia-Zapana, George Hagen, and Anthony Narkawicz, Formalizing Probabilistic Safety Claims, Third NASA Formal Methods Symposium, April 2011. BibTeX Reference.
  9. 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: Anthony Narkawicz
larc privacy statement
Last modified: June 2009