Anthony Narkawicz

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