Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Dutle, Aaron
37  Ergebnisse:
Personensuche X
?
1

A Formal Verification Framework for Runtime Assurance:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
Slagel, J. Tanner ; White, Lauren M. ; Dutle, Aaron.. - p. 322-328 , 2024
Link: https://doi.org/10.1007/..
 
?
2

Floating-Point Round-off Error Analysis of Safety-Critical ..:

, In: Intelligent Systems Reference Library; Challenges of Software Verification,
Titolo, Laura ; Moscato, Mariano ; Feliú, Marco A... - p. 197-220 , 2023
Link: https://doi.org/10.1007/..
 
?
3

Selected extended papers of NFM 2021: Preface:

Dutle, Aaron ; Moscato, Mariano M. ; Titolo, Laura..
Innovations in Systems and Software Engineering.  19 (2023)  4 - p. 337-338 , 2023
Link: https://doi.org/10.1007/..
 
?
4

Authoring, Analyzing, and Monitoring Requirements for a Lif..:

, In: Requirements Engineering: Foundation for Software Quality; Lecture Notes in Computer Science,
Pressburger, Tom ; Katis, Andreas ; Dutle, Aaron. - p. 295-308 , 2023
Link: https://doi.org/10.1007/..
 
?
5

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

, In: Lecture Notes in Computer Science; NASA Formal Methods,
Masci, Paolo ; Dutle, Aaron - p. 809-815 , 2022
Link: https://doi.org/10.1007/..
 
?
6

Towards an implementation of differential dynamic logic in ..:

, In: Proceedings of the 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis,
Slagel, J. Tanner ; Muñoz, César ; Balachandran, Swee... - p. 44-50 , 2022
Link: https://dl.acm.org/doi/1..
 
?
7

A compositional proof framework for FRETish requirements:

, In: Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs,
Conrad, Esther ; Titolo, Laura ; Giannakopoulou, Dimitra.. - p. 68-81 , 2022
Link: https://dl.acm.org/doi/1..
 
?
8

Formal verification of semi-algebraic sets and real analyti..:

, In: Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs,
Slagel, J. Tanner ; White, Lauren ; Dutle, Aaron - p. 278-290 , 2021
Link: https://dl.acm.org/doi/1..
 
?
9

NASA Formal Methods: 13th International Symposium, NFM 2021.. 

Programming and Software Engineering, 12673
Dutle, Aaron ; Moscato, Mariano M ; Titolo, Laura.. - 1st ed. 2021 . , 2021
Link: https://doi.org/10.1007/..
 
?
10

Formal analysis of the compact positionreporting algorithm:

Dutle, Aaron ; Moscato, Mariano ; Titolo, Laura...
Formal Aspects of Computing.  33 (2021)  1 - p. 65-86 , 2021
Link: https://doi.org/10.1007/..
 
?
11

Selected extended papers of NFM 2018:

Dutle, Aaron ; Muñoz, César ; Narkawicz, Anthony
Innovations in Systems and Software Engineering.  15 (2019)  3-4 - p. 167-168 , 2019
Link: https://doi.org/10.1007/..
 
?
12

NASA Formal Methods 

10th International Symposium, NFM 2018, Newport News, VA, U...  Lecture Notes in Computer Science ; 10811;Programming and Software Engineering ; 10811;SpringerLink, Bücher;Springer eBook Collection, Computer Science
Dutle, Aaron ; Narkawicz, Anthony ; Muñoz, César , 2018
Link: https://doi.org/10.1007/..
 
?
13

Unmanned aircraft systems in the national airspace system ..:

Muñoz, César A. ; Dutle, Aaron ; Narkawicz, Anthony.
ACM SIGLOG News.  3 (2016)  3 - p. 67-76 , 2016
Link: https://dl.acm.org/doi/1..
 
?
14

Graph odometry:

Dutle, Aaron ; Kay, Bill
Discrete Applied Mathematics.  214 (2016)  - p. 108-115 , 2016
Link: https://doi.org/10.1016/..
 
?
15

Unmanned aircraft systems in the national airspace system: ..:

Muñoz, César A. ; Dutle, Aaron ; Narkawicz, Anthony.
ACM SIGLOG News.  3 (2016)  3 - p. 67-76 , 2016
Link: https://doi.org/10.1145/..
 
1-15