Anthony Narkawicz

Publication Activity (10 Years)

Years Active: 2010-2019
Publications (10 Years): 6

Top Topics

Provably Correct

Global Optimization

Formal Analysis

Top Venues

Reliab. Comput.

J. Autom. Reason.

ACM SIGLOG News

Publications

Aaron Dutle, César A. Muñoz, Anthony Narkawicz
Selected extended papers of NFM 2018. Innov. Syst. Softw. Eng. 15 (3-4) (2019)
Thiago Mendonça Ferreira Ramos, César A. Muñoz, Mauricio Ayala-Rincón, Mariano M. Moscato, Aaron Dutle, Anthony Narkawicz
Formalization of the Undecidability of the Halting Problem for a Functional Language. WoLLIC (2018)
César A. Muñoz, Anthony Narkawicz, Aaron Dutle
From Formal Requirements to Highly Assured Software for Unmanned Aircraft Systems. FM (2018)
Anthony Narkawicz, César A. Muñoz, Aaron Dutle
The MINERVA Software Development Process. AFM@NFM (2017)
César A. Muñoz, Aaron Dutle, Anthony Narkawicz, Jason Upchurch
Unmanned aircraft systems in the national airspace system: a formal methods perspective. ACM SIGLOG News 3 (3) (2016)
César A. Muñoz, Anthony Narkawicz
Formal Analysis of Extended Well-Clear Boundaries for Unmanned Aircraft. NFM (2016)
Aaron Dutle, César A. Muñoz, Anthony Narkawicz, Ricky W. Butler
Software Validation via Model Animation. TAP@STAF (2015)
Anthony Narkawicz, César A. Muñoz, Aaron Dutle
Formally-Verified Decision Procedures for Univariate Polynomial Computation Based on Sturm's and Tarski's Theorems. J. Autom. Reason. 54 (4) (2015)
César A. Muñoz, Anthony Narkawicz
Formalization of Bernstein Polynomials and Applications to Global Optimization. J. Autom. Reason. 51 (2) (2013)
Anthony Narkawicz, César A. Muñoz
A Formally Verified Generic Branching Algorithm for Global Optimization. VSTTE (2013)
Anthony Narkawicz, César A. Muñoz, Gilles Dowek
Provably correct conflict prevention bands algorithms. Sci. Comput. Program. 77 (10-11) (2012)
Anthony Narkawicz, Jürgen Garloff, Andrew P. Smith, César A. Muñoz
Bounding the Range of a Rational Function over a box. Reliab. Comput. 17 (2012)
Anthony Narkawicz, César A. Muñoz
Formal Verification of Conflict Detection Algorithms for Arbitrary Trajectories. Reliab. Comput. 17 (2012)
Heber Herencia-Zapana, George Hagen, Anthony Narkawicz
Formalizing Probabilistic Safety Claims. NASA Formal Methods (2011)
Anthony Narkawicz
A Formal Proof Of The Riesz Representation Theorem. J. Formaliz. Reason. 4 (1) (2011)
Ricky W. Butler, George Hagen, Jeffrey Maddalon, César A. Muñoz, Anthony Narkawicz, Gilles Dowek
How Formal Methods Impels Discovery: A Short History of an Air Traffic Management Project. NASA Formal Methods (2010)