Aaron Dutle
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
8
Active years
2015–2023
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | REFSQ | Authoring, Analyzing, and Monitoring Requirements for a Lift-Plus-Cruise Aircraft. | Thomas Pressburger, Andreas Katis, Aaron Dutle, Anastasia Mavridou |
| 2022 | CPP | A compositional proof framework for FRETish requirements. | Esther Conrad, Laura Titolo, Dimitra Giannakopoulou, Thomas Pressburger, Aaron Dutle |
| 2022 | PLDI | Towards an implementation of differential dynamic logic in PVS. | J. Tanner Slagel, Csar A. Muoz, Swee Balachandran, Mariano M. Moscato, Aaron Dutle, Paolo Masci, Lauren M. White |
| 2021 | CPP | Formal verification of semi-algebraic sets and real analytic functions. | J. Tanner Slagel, Lauren M. White, Aaron Dutle |
| 2021 | ITP | Formal Verification of Termination Criteria for First-Order Recursive Functions. | Csar A. Muoz, Mauricio Ayala-Rincn, Mariano M. Moscato, Aaron Dutle, Anthony J. Narkawicz, Ariane Alves Almeida, Andria B. Avelar, Thiago Mendona Ferreira Ramos |
| 2018 | FM | From Formal Requirements to Highly Assured Software for Unmanned Aircraft Systems. | Csar A. Muoz, Anthony Narkawicz, Aaron Dutle |
| 2018 | FM | A Formally Verified Floating-Point Implementation of the Compact Position Reporting Algorithm. | Laura Titolo, Mariano M. Moscato, Csar A. Muoz, Aaron Dutle, Franois Bobot |
| 2018 | WoLLIC | Formalization of the Undecidability of the Halting Problem for a Functional Language. | Thiago Mendona Ferreira Ramos, Csar A. Muoz, Mauricio Ayala-Rincn, Mariano M. Moscato, Aaron Dutle, Anthony Narkawicz |
| 2017 | SAFECOMP | Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis. | Mariano M. Moscato, Laura Titolo, Aaron Dutle, Csar A. Muoz |
| 2015 | TAP | Software Validation via Model Animation. | Aaron Dutle, Csar A. Muoz, Anthony Narkawicz, Ricky W. Butler |