12 citations · 12 across the 2 of their papers we have counts for
2 papers
cs.PL2026
Trustworthy Runtime Verification via Bisimulation (Extended Experience Report)
Ryan G. Scott, Ivan Perez, Alwyn E. Goodloe +2
When runtime verification is used to monitor safety-critical systems, it is essential that monitoring code behaves correctly. The Copilot runtime verification framework pursues thi…
cs.SE2020★ 12 cited
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…