How Formal Methods Impels Discovery: A Short History of an Air Traffic Management Project. - Ricky W. Butler; George Hagen; Jeffrey Maddalon; César A. Muñoz; Anthony Narkawicz; Gilles Dowek (NASA Formal Methods, 2010)

Formalizing Probabilistic Safety Claims. - Heber Herencia-Zapana; George Hagen; Anthony Narkawicz (NASA Formal Methods, 2011)

A Formal Proof Of The Riesz Representation Theorem. - Anthony Narkawicz (J. Formaliz. Reason., 2011)

Bounding the Range of a Rational Function over a box. - Anthony Narkawicz; Jürgen Garloff; Andrew P. Smith 001; César A. Muñoz (Reliab. Comput., 2012)

Formal Verification of Conflict Detection Algorithms for Arbitrary Trajectories. - Anthony Narkawicz; César A. Muñoz (Reliab. Comput., 2012)

Provably correct conflict prevention bands algorithms. - Anthony Narkawicz; César A. Muñoz; Gilles Dowek (Sci. Comput. Program., 2012)

A Formally Verified Generic Branching Algorithm for Global Optimization. - Anthony Narkawicz; César A. Muñoz (VSTTE, 2013)

Formalization of Bernstein Polynomials and Applications to Global Optimization. - César A. Muñoz; Anthony Narkawicz (J. Autom. Reason., 2013)

A Rigorous Generic Branch and Bound Solver for Nonlinear Problems. - Andrew P. Smith 001; César A. Muñoz; Anthony J. Narkawicz; Mantas Markevicius (SYNASC, 2015)

Software Validation via Model Animation. - Aaron Dutle; César A. Muñoz; Anthony Narkawicz; Ricky W. Butler (TAP@STAF, 2015)

Formally-Verified Decision Procedures for Univariate Polynomial Computation Based on Sturm's and Tarski's Theorems. - Anthony Narkawicz; César A. Muñoz; Aaron Dutle (J. Autom. Reason., 2015)

Formal Analysis of Extended Well-Clear Boundaries for Unmanned Aircraft. - César A. Muñoz; Anthony Narkawicz (NFM, 2016)

Unmanned aircraft systems in the national airspace system: a formal methods perspective. - César A. Muñoz; Aaron Dutle; Anthony Narkawicz; Jason Upchurch (ACM SIGLOG News, 2016)

The MINERVA Software Development Process. - Anthony Narkawicz; César A. Muñoz; Aaron Dutle (AFM@NFM, 2017)

From Formal Requirements to Highly Assured Software for Unmanned Aircraft Systems. - César A. Muñoz; Anthony Narkawicz; Aaron Dutle (FM, 2018)

Formalization of the Undecidability of the Halting Problem for a Functional Language. - Thiago Mendonça Ferreira Ramos; César A. Muñoz; Mauricio Ayala-Rincón; Mariano M. Moscato; Aaron Dutle; Anthony Narkawicz (WoLLIC, 2018)

A Decision Procedure for Univariate Polynomial Systems Based on Root Counting and Interval Subdivision. - César A. Muñoz; Anthony J. Narkawicz; Aaron Dutle (J. Formaliz. Reason., 2018)

Selected extended papers of NFM 2018. - Aaron Dutle; César A. Muñoz; Anthony Narkawicz (Innov. Syst. Softw. Eng., 2019)

Formal Verification of Termination Criteria for First-Order Recursive Functions. - César A. Muñoz; Mauricio Ayala-Rincón; Mariano M. Moscato; Aaron Dutle; Anthony J. Narkawicz; Ariane Alves Almeida; Andréia B. Avelar da Silva; Thiago Mendonça Ferreira Ramos (J. Autom. Reason., 2023)