12 citations · 13 across the 3 of their papers we have counts for
3 papers
From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project
Aaron Dutle, César Muñoz, Esther Conrad +7
The Independent Configurable Architecture for Reliable Operations of Unmanned Systems (ICAROUS) is a software architecture incorporating a set of algorithms to enable autonomous op…
Automatic generation and verification of test-stable floating-point code
Laura Titolo, Mariano Moscato, Cesar A. Muñoz
Test instability in a floating-point program occurs when the control flow of the program diverges from its ideal execution assuming real arithmetic. This phenomenon is caused by th…
Eliminating Unstable Tests in Floating-Point Programs
Laura Titolo, Cesar A. Muñoz, Marco A. Feliu +1
Round-off errors arising from the difference between real numbers and their floating-point representation cause the control flow of conditional floating-point statements to deviate…