12 citations · 23 across the 7 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
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…
cs.SE2019★ 10 cited
An Integrated Development Environment for the Prototype Verification System
Paolo Masci, César A. Muñoz
The steep learning curve of formal technologies is a well-known barrier to the adoption of formal verification tools in industry. This paper presents VSCode-PVS, a modern integrate…