Aaron Dutle - RankMe

34 papers B 7C 1Journal 13Unranked 9

Year	Rank	Type	Title / Venue / Authors
2025	—	`ed.`	NASA Formal Methods - 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings NFM Aaron Dutle, Laura R. Humphrey, Laura Titolo
2024	—	`conf`	A Formal Verification Framework for Runtime Assurance. NFM J. Tanner Slagel, Lauren M. White, Aaron Dutle, César A. Muñoz, Nicolas Crespo
2023	B	`conf`	Authoring, Analyzing, and Monitoring Requirements for a Lift-Plus-Cruise Aircraft. REFSQ Thomas Pressburger, Andreas Katis, Aaron Dutle, Anastasia Mavridou
2023	—	`conf`	Embedding Differential Dynamic Logic in PVS. LSFA/HCVS J. Tanner Slagel, Mariano M. Moscato, Lauren M. White, César A. Muñoz, Swee Balachandran, Aaron Dutle
2023	—	`ch.`	Floating-Point Round-off Error Analysis of Safety-Critical Avionics Software. Challenges of Software Verification Laura Titolo, Mariano M. Moscato, Marco A. Feliú, Aaron Dutle, César A. Muñoz
2023	J	`jnl`	Formal Verification of Termination Criteria for First-Order Recursive Functions. J. Autom. Reason. 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
2023	J	`jnl`	Selected extended papers of NFM 2021. Innov. Syst. Softw. Eng. Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez
2022	J	`jnl`	A Compositional Proof Framework for FRETish Requirements. CoRR Esther Conrad, Laura Titolo, Dimitra Giannakopoulou, Thomas Pressburger, Aaron Dutle
2022	B	`conf`	A compositional proof framework for FRETish requirements. CPP Esther Conrad, Laura Titolo, Dimitra Giannakopoulou, Thomas Pressburger, Aaron Dutle
2022	—	`conf`	Interpretation and Formalization of the Right-of-Way Rules. FACS Victor A. Carreño, Mariano M. Moscato, Paolo M. Masci, Aaron Dutle
2022	—	`conf`	Proof Mate: An Interactive Proof Helper for PVS (Tool Paper). NFM Paolo Masci, Aaron Dutle
2022	—	`conf`	Towards an implementation of differential dynamic logic in PVS. SOAP@PLDI J. Tanner Slagel, César A. Muñoz, Swee Balachandran, Mariano M. Moscato, Aaron Dutle, Paolo Masci, Lauren M. White
2021	B	`conf`	Formal Verification of Termination Criteria for First-Order Recursive Functions. ITP 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
2021	J	`jnl`	Formal analysis of the compact position reporting algorithm. Formal Aspects Comput. Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Gregory Anderson, François Bobot
2021	B	`conf`	Formal verification of semi-algebraic sets and real analytic functions. CPP J. Tanner Slagel, Lauren M. White, Aaron Dutle
2021	—	`ed.`	NASA Formal Methods - 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings NFM Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez
2020	—	`conf`	From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project. FMAS Aaron Dutle, César A. Muñoz, Esther Conrad, Alwyn Goodloe, Laura Titolo, Ivan Perez, Swee Balachandran, Dimitra Giannakopoulou, Anastasia Mavridou, Thomas Pressburger
2019	J	`jnl`	Selected extended papers of NFM 2018. Innov. Syst. Softw. Eng. Aaron Dutle, César A. Muñoz, Anthony Narkawicz
2018	J	`jnl`	A Decision Procedure for Univariate Polynomial Systems Based on Root Counting and Interval Subdivision. J. Formaliz. Reason. César A. Muñoz, Anthony J. Narkawicz, Aaron Dutle
2018	B	`conf`	A Formally Verified Floating-Point Implementation of the Compact Position Reporting Algorithm. FM Laura Titolo, Mariano M. Moscato, César A. Muñoz, Aaron Dutle, François Bobot
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`	A Formal Analysis of the Compact Position Reporting Algorithm. VSTTE Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz
2017	B	`conf`	Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis. SAFECOMP Mariano M. Moscato, Laura Titolo, Aaron Dutle, César A. Muñoz
2017	—	`conf`	The MINERVA Software Development Process. AFM@NFM Anthony Narkawicz, César A. Muñoz, Aaron Dutle
2016	J	`jnl`	Graph odometry. Discret. Appl. Math. Aaron Dutle, Bill Kay
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	J	`jnl`	On realizations of a joint degree matrix. Discret. Appl. Math. Éva Czabarka, Aaron Dutle, Péter L. Erdös, István Miklós
2015	—	`conf`	Software Validation via Model Animation. TAP@STAF Aaron Dutle, César A. Muñoz, Anthony Narkawicz, Ricky W. Butler
2013	J	`jnl`	Greedy Galois Games. Am. Math. Mon. Joshua N. Cooper, Aaron Dutle
2013	J	`jnl`	On Realizations of a Joint Degree Matrix CoRR Éva Czabarka, Aaron Dutle, Péter L. Erdös, István Miklós
2012	J	`jnl`	Graph Odometry CoRR Aaron Dutle, Bill Kay