Journal Papers (Alphabetized by Last Name of First Author)

Munoz, C. A.; and Narkawicz, A. J.:   Formalization of Bernstein Polynomials and Applications to Global Optimization.  Journal of Automated Reasoning,  Volume 51, No. 2, August 2013,  p. 151-196.

Google Scholar Citations for Above Paper: 72

Narkawicz, A. J.; Munoz, C. A.; and Dowek, G.:   Provably Correct Conflict Prevention Bands Algorithms.  Science of Computer Programming,  Volume 77, No. 10-11, September 2012,  p. 1039-1057.

Narkawicz, A. J.; Munoz, C. A.; Herencia-Zapana, H.; and Hagen, G. E.:   Formal Verification of Lateral and Temporal Safety Buffers for State-Based Conflict Detection.  Journal of Aerospace Engineering,  Volume 227, No. 9, September 2013,  p. 1412-1424.

Narkawicz, A. J.; and Munoz, C. A.:   Formal Verification of Conflict Detection Algorithms for Arbitrary Trajectories.  Reliable Computing,  Volume 17, December 2012,  p. 209-237.

Narkawicz, A. J.:   A Formal Proof Of The Riesz Representation Theorem.  Journal of Formalized Reasoning,  Volume 4, No. 1, October 2011,  p. 1-24.

Narkawicz, A. J.; Munoz, C. A.; and Dutle, A. M.:   Formally-verified Decision Procedures for Univariate Polynomial Computation Based on Sturm's and Tarski's Theorems.  Journal of Automated Reasoning,  Volume 54, No. 4, February 2015,  p. 285-326.

Narkawicz, A. J.; Garloff, J.; Smith, A.; and Munoz, C. A.:   Bounding the Range of a Rational Function Over a Box.  Reliable Computing,  Volume 17, December 2012,  p. 34-39.

Upchurch, J. M.; Munoz, C. A.; Narkawicz, A. J.; Consiglio, M. C.; and Chamberlain, J.:   Characterizing the Effects of a Vertical Time Threshold for a Class of Well-Clear Definitions.  Air Traffic Control Quarterly,  Volume 23, No. 4, October 2015,  p. 275-299.

 

Conference Papers (Alphabetized by Last Name of First Author)

Balachandran, S.; Narkawicz, A. J.; Munoz, C. A.; and Consiglio, M. C.:   A Path Planning Algorithm to Enable Well-Clear Low Altitude UAS Operation Beyond Visual Line of Sight.  2017 ATM R&D Seminar, May 26-30, 2017, Seattle, Washington.   

Butler, R. W.; Hagen, G. E.; Maddalon, J. M.; Munoz, C. A.; Narkawicz, A. J.; and Dowek, G.:   How Formal Methods Impels Discovery: A Short History of an Air Traffic Management Project.  Second NASA Formal Methods Symposium, April 13-15, 2010, Washington, District of Columbia. 

Butler, R. W.; Hagen, G. E.; Maddalon, J. M.; Munoz, C. A.; and Narkawicz, A. J.:   The Search For Effective Algorithms For Recovery From Loss of Separation.  31st Digital Avionics Systems Conference, October 14-18, 2012, Williamsburg, Virginia.

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.  2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC), September 25-30, 2016, Sacramento, California. 

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.  DIGITAL AVIONICS SYSTEMS CONFERENCE, September 13-17, 2015, Prague, Czech Republic.

Crespo, L. G.; Munoz, C. A.; Narkawicz, A. J.; Kenny, S. P.; and Giesy, D. P.:   Uncertainty Analysis via Failure Domain Characterization: Polynomial Requirement Functions.  ESREL 2011 Annual Conference, September 18-22, 2011, Troyes, France.

Dutle, A. M.; Munoz, C. A.; Narkawicz, A. J.; and Butler, R. W.:   Software Validation Via Model Animation.  9th International Conference on Tests & Proofs, July 6-10, 2015, L'Aquila, Italy.

Herencia-Zapana, H.; Hagen, G. E.; and Narkawicz, A. J.:   Formalizing Probabilistic Safety Claims.  Third NASA Formal Methods Symposium, April 18-20, 2011, Pasadena, California.

Munoz, C. A.; Narkawicz, A. J.; Chamberlain, J. P.; Consiglio, M. C.; and Upchurch, J. M.:   A Family of Well-Clear Boundary Models for the Integration of UAS in the NAS.  14th AIAA Aviation Technology, Integration and Operations (ATIO) Conference, June 16-20, 2014, Atlanta, Georgia.

Munoz, C. A.; Narkawicz, A. J.; and Chamberlain, J. P.:   A TCAS-II Resolution Advisory Detection Algorithm.  AIAA Guidance, Navigation, and Control Conference, August 19-22, 2013, Boston, Massachusetts.

Google Scholar Citations for Above Paper: 26

Munoz, C. A.; and Narkawicz, A. J.:   Formal Analysis of Extended Well-Clear Boundaries for Unmanned Aircraft.  8th NASA Formal Methods Symposium, June 7-9, 2016, Minneapolis, Minnesota.

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.  DIGITAL AVIONICS SYSTEMS CONFERENCE, September 13-17, 2015, Prague, Czech Republic.

Narkawicz, A. J.; and Munoz, C. A.:   A Formally Verified Generic Branching Algorithm for Global Optimization.  Conference on Verified Software: Theories, Tools, and Experiments, May 17-19, 2013, Atherton, California.

Google Scholar Citations for Above Paper: 17

Narkawicz, A. J.; and Hagen, G. E.:   Algorithms for Collision Detection Between a Point and a Moving Polygon, With Applications to Aircraft Weather Avoidance.  AIAA Aviation 2016, June 13-17, 2016, Washington, District of Columbia.

Narkawicz, A. J.; Munoz, C. A.; and Dutle, A. M.:   Coordination Logic for Repulsive Resolution Maneuvers.  2016 AIAA Aviation, June 13-17, 2016, Washington, District of Columbia.

Narkawicz, A. J.; Munoz, C. A.; and Dutle, A. M.:   The MINERVA Software Development Process.  Automated Formal Methods (AFM) 2017, May 19-20, 2017, Menlo Park, California.

Narkawicz, A. J.; and Munoz, C. A.:   A Formally Verified Conflict Detection Algorithm for Polynomial Trajectories.  SCITECH 2015, January 5-9, 2015, Kissimmee, Florida.

Narkawicz, A. J.; Munoz, C. A.; and Hagen, G. E.:   An Independent and Coordinated Criterion for Kinematic Aircraft Maneuvers.  14th AIAA Aviation Technology, Integration and Operations (ATIO) Conference, June 16-20, 2014, Atlanta, Georgia.

Narkawicz, A. J.; Munoz, C. A.; and Maddalon, J. M.:   A Mathematical Analysis of Air Traffic Priority Rules.  Presented at 12th AIAA Aviation Technology, Integration, and Operations (ATIO) Conference, September 17-19, 2012, Indianapolis, Indiana.

Smith, A.; Munoz, C. A.; Narkawicz, A. J.; and Markevicius, M.:   A Rigorous Generic Branch and Bound Solver for Nonlinear Problems.  17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, September 21-24, 2015, Timisoara, Romania.

Upchurch, J. M.; Munoz, C. A.; Narkawicz, A. J.; Consiglio, M. C.; and Chamberlain, J. P.:   Characterizing the Effects of a Vertical Time Threshold for a Class of Well-Clear Definitions.  Eleventh USA/Europe Air Traffic Management Research and Development Seminar (ATM2015), June 23-26, 2015, Lisbon, Portugal.

 

NASA Technical Publications

Narkawicz, A. J.; and Munoz, C. A.:   State-Based Implicit Coordination and Applications.  NASA/TP-2011-217067,  March 2011,  60 p.

 

NASA Technical Memorandums

Munoz, C. A.; and Narkawicz, A. J.:   Time of Closest Approach in Three-Dimensional Airspace.  NASA/TM-2010-216857,  October 2010,  19 p.

Munoz, C. A.; Butler, R. W.; Narkawicz, A. J.; Maddalon, J. M.; and Hagen, G. E.:   A Criteria Standard for Conflict Resolution: A Vision for Guaranteeing the Safety of Self-Separation in NextGen.  NASA/TM-2010-216862,  October 2010,  40 p.

Narkawicz, A. J.; Munoz, C. A.; Upchurch, J. M.; Chamberlain, J. P.; and Consiglio, M. C.:   A Well-Clear Volume Based on Time to Entry Point.  NASA/TM-2014-218155,  January 2014,  11 p.

Narkawicz, A. J.; and Munoz, C. A.:   A Formally-Verified Decision Procedure for Univariate Polynomial Computation Based on Sturm's Theorem.  NASA/TM-2014-218548,  November 2014,  32 p.

Narkawicz, A. J.; Munoz, C. A.; and Dowek, G.:   Formal Verification of Air Traffic Confict Prevention Bands Algorithms.  NASA/TM-2010-216706,  June 2010,  50 p.

Neeley, P.; and Narkawicz, A. J.:   Map Projection Induced Variations in Locations of Polygon Geofence Edges.  NASA/TM-2017-219675,  October 2017.

Smith, A.; Munoz, C. A.; Narkawicz, A. J.; and Markevicius, M.:   Kodiak: An Implementation Framework for Branch and Bound Algorithms.  NASA/TM-2015-218776,  July 2015,  24 p.

Upchurch, J. M.; Munoz, C. A.; Narkawicz, A. J.; Chamberlain, J. P.; and Consiglio, M. C.:   Analysis of Well-Clear Boundary Models for the Integration of UAS in the NAS.  NASA/TM-2014-218280,  June 2014,  25 p.

 

Technical Committee Work

Participation in UAS Sense and Avoid (SAA) Science and Research Panel (SARP)

 

Erdős Number

3

 

PVS Libraries

Contributor to NASA PVS library of formal proofs (http://shemesh.larc.nasa.gov/fm/ftp/larc/PVS-library/) and PVS utilities. This includes 27,372 formally proved results.

 

Open-Source Invention Disclosures

Dr. Narkawicz is a contributor to multiple Open-Source NASA invention disclosures:

Well-Clear Violation Volumes for Concept of Integration of UAS in the NAS (DAIDALUS) ﾐ Open Source - https://github.com/nasa/WellClear

Kodiak: A Software Library for Verifying Nonlinear Arithmetic Statements ﾐ Open Source - https://github.com/nasa/Kodiak

NASA PVS Library of Formal Developments ﾐ Open Source - https://github.com/nasa/pvslib

PolyCarp: Algorithms and Software for Computations with Polygons ﾐ Open Source - https://github.com/nasa/PolyCARP

ICAROUS: Integrated Configurable Algorithms for Reliable Operations of Unmanned Systems ﾐ Open Source - https://github.com/nasa/icarous

 

Other Invention Disclosures

Dr. Narkawicz is a contributor to the following (patent pending) NASA invention disclosure:

Assured Geo-Containment System for Unmanned Aircraft (Safeguard)

 

Current Conference Work

Dr. Anthony Narkawicz, along with Dr. Aaron Dutle, Ms. Maria Consiglio, Dr. Cesar Munoz, and Yamira Santiago-Espada is organizing the 10th NASA formal Methods Symposium (NFM), which will be held in 2018. The NASA Formal Methods Symposium is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and the industry, with the goal of identifying challenges and providing solutions towards achieving assurance for such critical systems. NFM is a leading forum for presenting and publishing current research in formal methods. https://shemesh.larc.nasa.gov/NFM/

 

Education

PhD in Mathematics at Duke University in 2007 (Topology)
BS in Mathematics at Virginia Tech in 2004