Anthony Narkawicz

According to our database, Anthony Narkawicz authored at least 19 papers between 2010 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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., December, 2023

2019

Selected extended papers of NFM 2018.

Aaron Dutle, César A. Muñoz, Anthony Narkawicz

Innov. Syst. Softw. Eng., 2019

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

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

Proceedings of the Logic, Language, Information, and Computation, 2018

From Formal Requirements to Highly Assured Software for Unmanned Aircraft Systems.

César A. Muñoz, Anthony Narkawicz, Aaron Dutle

Proceedings of the Formal Methods - 22nd International Symposium, 2018

2017

The MINERVA Software Development Process.

Anthony Narkawicz, César A. Muñoz, Aaron Dutle

Proceedings of the Automated Formal Methods, 2017

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

Formal Analysis of Extended Well-Clear Boundaries for Unmanned Aircraft.

César A. Muñoz, Anthony Narkawicz

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

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

Software Validation via Model Animation.

Aaron Dutle, César A. Muñoz, Anthony Narkawicz, Ricky W. Butler

Proceedings of the Tests and Proofs - 9th International Conference, 2015

A Rigorous Generic Branch and Bound Solver for Nonlinear Problems.

Andrew P. Smith, César A. Muñoz, Anthony J. Narkawicz, Mantas Markevicius

Proceedings of the 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2015

2013

Formalization of Bernstein Polynomials and Applications to Global Optimization.

César A. Muñoz, Anthony Narkawicz

J. Autom. Reason., 2013

A Formally Verified Generic Branching Algorithm for Global Optimization.

Anthony Narkawicz, César A. Muñoz

Proceedings of the Verified Software: Theories, Tools, Experiments, 2013

2012

Provably correct conflict prevention bands algorithms.

Anthony Narkawicz, César A. Muñoz, Gilles Dowek

Sci. Comput. Program., 2012

Formal Verification of Conflict Detection Algorithms for Arbitrary Trajectories.

Anthony Narkawicz, César A. Muñoz

Reliab. Comput., 2012

Bounding the Range of a Rational Function over a box.

Anthony Narkawicz, Jürgen Garloff, Andrew P. Smith, César A. Muñoz

Reliab. Comput., 2012

2011

A Formal Proof Of The Riesz Representation Theorem.

Anthony Narkawicz

J. Formaliz. Reason., 2011

Formalizing Probabilistic Safety Claims.

Heber Herencia-Zapana, George Hagen, Anthony Narkawicz

Proceedings of the NASA Formal Methods, 2011

2010

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

Proceedings of the Second NASA Formal Methods Symposium, 2010