Aaron Dutle

According to our database, Aaron Dutle authored at least 27 papers between 2013 and 2024.

Collaborative distances:

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

2024

A Formal Verification Framework for Runtime Assurance.

J. Tanner Slagel, Lauren M. White, Aaron Dutle, César A. Muñoz, Nicolas Crespo

Proceedings of the NASA Formal Methods - 16th International Symposium, 2024

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

Selected extended papers of NFM 2021.

Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez

Innov. Syst. Softw. Eng., December, 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

Proceedings of the Challenges of Software Verification, 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

Proceedings of the Proceedings 18th International Workshop on Logical and Semantic Frameworks, 2023

Authoring, Analyzing, and Monitoring Requirements for a Lift-Plus-Cruise Aircraft.

Thomas Pressburger, Andreas Katis, Aaron Dutle, Anastasia Mavridou

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2023

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, Lauren M. White

Proceedings of the SOAP '22: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2022

Proof Mate: An Interactive Proof Helper for PVS (Tool Paper).

Paolo Masci, Aaron Dutle

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

Interpretation and Formalization of the Right-of-Way Rules.

Victor A. Carreño, Mariano M. Moscato, Paolo M. Masci, Aaron Dutle

Proceedings of the Formal Aspects of Component Software - 18th International Conference, 2022

A compositional proof framework for FRETish requirements.

Esther Conrad, Laura Titolo, Dimitra Giannakopoulou, Thomas Pressburger, Aaron Dutle

Proceedings of the CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17, 2022

2021

Formal analysis of the compact position reporting algorithm.

Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Gregory Anderson, François Bobot

Formal Aspects Comput., 2021

Formal verification of semi-algebraic sets and real analytic functions.

J. Tanner Slagel, Lauren M. White, Aaron Dutle

Proceedings of the CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021

2020

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, Swee Balachandran, Dimitra Giannakopoulou, Anastasia Mavridou, Thomas Pressburger

Proceedings of the Proceedings Second Workshop on Formal Methods for Autonomous Systems, 2020

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

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

Proceedings of the Formal Methods - 22nd International Symposium, 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

A Formal Analysis of the Compact Position Reporting Algorithm.

Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz

Proceedings of the Verified Software. Theories, Tools, and Experiments, 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

Proceedings of the Computer Safety, Reliability, and Security, 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

Graph odometry.

Aaron Dutle, Bill Kay

Discret. Appl. Math., 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

On realizations of a joint degree matrix.

Éva Czabarka, Aaron Dutle, Péter L. Erdös, István Miklós

Discret. Appl. Math., 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

2013

Greedy Galois Games.

Joshua N. Cooper, Aaron Dutle

Am. Math. Mon., 2013