Greedy Galois Games. - Joshua N. Cooper; Aaron Dutle (Am. Math. Mon., 2013)

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

On realizations of a joint degree matrix. - Éva Czabarka; Aaron Dutle; Péter L. Erdös; István Miklós (Discret. Appl. Math., 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)

Graph odometry. - Aaron Dutle; Bill Kay (Discret. Appl. Math., 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)

Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis. - Mariano M. Moscato; Laura Titolo; Aaron Dutle; César A. Muñoz (SAFECOMP, 2017)

A Formal Analysis of the Compact Position Reporting Algorithm. - Aaron Dutle; Mariano M. Moscato; Laura Titolo; César A. Muñoz (VSTTE, 2017)

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

A Formally Verified Floating-Point Implementation of the Compact Position Reporting Algorithm. - Laura Titolo; Mariano M. Moscato; César A. Muñoz; Aaron Dutle; François Bobot (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)

From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project. - Aaron Dutle; César A. Muñoz; Esther Conrad; Alwyn Goodloe; Laura Titolo; Ivan Perez 001; Swee Balachandran; Dimitra Giannakopoulou; Anastasia Mavridou; Thomas Pressburger (FMAS, 2020)

Formal verification of semi-algebraic sets and real analytic functions. - J. Tanner Slagel; Lauren M. White; Aaron Dutle (CPP, 2021)

Formal analysis of the compact position reporting algorithm. - Aaron Dutle; Mariano M. Moscato; Laura Titolo; César A. Muñoz; Gregory Anderson 003; François Bobot (Formal Aspects Comput., 2021)

A compositional proof framework for FRETish requirements. - Esther Conrad; Laura Titolo; Dimitra Giannakopoulou; Thomas Pressburger; Aaron Dutle (CPP, 2022)

Interpretation and Formalization of the Right-of-Way Rules. - Victor A. Carreño; Mariano M. Moscato; Paolo M. Masci; Aaron Dutle (FACS, 2022)

Proof Mate: An Interactive Proof Helper for PVS (Tool Paper). - Paolo Masci 001; Aaron Dutle (NFM, 2022)

Towards an implementation of differential dynamic logic in PVS. - J. Tanner Slagel; César A. Muñoz; Swee Balachandran; Mariano M. Moscato; Aaron Dutle; Paolo Masci 001; Lauren M. White (SOAP@PLDI, 2022)

Authoring, Analyzing, and Monitoring Requirements for a Lift-Plus-Cruise Aircraft. - Thomas Pressburger; Andreas Katis; Aaron Dutle; Anastasia Mavridou (REFSQ, 2023)

Embedding Differential Dynamic Logic in PVS. - J. Tanner Slagel; Mariano M. Moscato; Lauren M. White; César A. Muñoz; Swee Balachandran; Aaron Dutle (LSFA/HCVS, 2023)

Floating-Point Round-off Error Analysis of Safety-Critical Avionics Software. - Laura Titolo; Mariano M. Moscato; Marco A. Feliú; Aaron Dutle; César A. Muñoz (Challenges of Software Verification, 2023)

Selected extended papers of NFM 2021. - Aaron Dutle; Mariano M. Moscato; Laura Titolo; César A. Muñoz; Ivan Perez 001 (Innov. Syst. Softw. Eng., 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., 2023)

A Formal Verification Framework for Runtime Assurance. - J. Tanner Slagel; Lauren M. White; Aaron Dutle; César A. Muñoz; Nicolas Crespo (NFM, 2024)