Aaron Dutle

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 24

Top Topics

Formal Verification

Theorem Proving

Recursive Functions

Top Venues

Innov. Syst. Softw. Eng.

J. Autom. Reason.

Publications

J. Tanner Slagel, Lauren M. White, Aaron Dutle, César A. Muñoz, Nicolas Crespo
A Formal Verification Framework for Runtime Assurance. NFM (2024)
J. Tanner Slagel, Mariano M. Moscato, Lauren M. White, César A. Muñoz, Swee Balachandran, Aaron Dutle
Embedding Differential Dynamic Logic in PVS. CoRR (2024)
Thomas Pressburger, Andreas Katis, Aaron Dutle, Anastasia Mavridou
Authoring, Analyzing, and Monitoring Requirements for a Lift-Plus-Cruise Aircraft. REFSQ (2023)
Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez
Selected extended papers of NFM 2021. Innov. Syst. Softw. Eng. 19 (4) (2023)
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
Formal Verification of Termination Criteria for First-Order Recursive Functions. J. Autom. Reason. 67 (4) (2023)
Esther Conrad, Laura Titolo, Dimitra Giannakopoulou, Thomas Pressburger, Aaron Dutle
A compositional proof framework for FRETish requirements. CPP (2022)
Esther Conrad, Laura Titolo, Dimitra Giannakopoulou, Thomas Pressburger, Aaron Dutle
A Compositional Proof Framework for FRETish Requirements. CoRR (2022)
Victor A. Carreño, Mariano M. Moscato, Paolo M. Masci, Aaron Dutle
Interpretation and Formalization of the Right-of-Way Rules. FACS (2022)
J. Tanner Slagel, César Muñoz, Swee Balachandran, Mariano M. Moscato, Aaron Dutle, Paolo Masci, Lauren White
Towards an implementation of differential dynamic logic in PVS. SOAP@PLDI (2022)
Paolo Masci, Aaron Dutle
Proof Mate: An Interactive Proof Helper for PVS (Tool Paper). NFM (2022)
Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Gregory Anderson, François Bobot
Formal analysis of the compact position reporting algorithm. Formal Aspects Comput. 33 (1) (2021)
J. Tanner Slagel, Lauren White, Aaron Dutle
Formal verification of semi-algebraic sets and real analytic functions. CPP (2021)
César A. Muñoz, Mauricio Ayala-Rincón, Mariano M. Moscato, Aaron Dutle, Anthony J. Narkawicz, Ariane Alves Almeida, Andréia B. Avelar, Thiago Mendonça Ferreira Ramos
Formal Verification of Termination Criteria for First-Order Recursive Functions. ITP (2021)
Aaron Dutle, César A. Muñoz, Esther Conrad, Alwyn Goodloe, Laura Titolo, Ivan Perez, Swee Balachandran, Dimitra Giannakopoulou, Anastasia Mavridou, Thomas Pressburger
From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project. FMAS (2020)
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)
Laura Titolo, Mariano M. Moscato, César A. Muñoz, Aaron Dutle, François Bobot
A Formally Verified Floating-Point Implementation of the Compact Position Reporting Algorithm. FM (2018)
César A. Muñoz, Anthony J. Narkawicz, Aaron Dutle
A Decision Procedure for Univariate Polynomial Systems Based on Root Counting and Interval Subdivision. J. Formaliz. Reason. 11 (1) (2018)
César A. Muñoz, Anthony Narkawicz, Aaron Dutle
From Formal Requirements to Highly Assured Software for Unmanned Aircraft Systems. FM (2018)
Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz
A Formal Analysis of the Compact Position Reporting Algorithm. VSTTE (2017)
Anthony Narkawicz, César A. Muñoz, Aaron Dutle
The MINERVA Software Development Process. AFM@NFM (2017)
Mariano M. Moscato, Laura Titolo, Aaron Dutle, César A. Muñoz
Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis. SAFECOMP (2017)
Aaron Dutle, Bill Kay
Graph odometry. Discret. Appl. Math. 214 (2016)
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)
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)
Éva Czabarka, Aaron Dutle, Péter L. Erdös, István Miklós
On realizations of a joint degree matrix. Discret. Appl. Math. 181 (2015)
Éva Czabarka, Aaron Dutle, Péter L. Erdös, István Miklós
On Realizations of a Joint Degree Matrix CoRR (2013)
Joshua N. Cooper, Aaron Dutle
Greedy Galois Games. Am. Math. Mon. 120 (5) (2013)
Aaron Dutle, Bill Kay
Graph Odometry CoRR (2012)