| Copilot: A hard real-time runtime monitor L Pike, A Goodloe, R Morisset, S Niller International Conference on Runtime Verification, 345-359, 2010 | 177 | 2010 |
| Governing AI safety through independent audits G Falco, B Shneiderman, J Badger, R Carrier, A Dahbura, D Danks, ... Nature Machine Intelligence 3 (7), 566-571, 2021 | 167 | 2021 |
| Monitoring distributed real-time systems: A survey and future directions AE Goodloe, L Pike | 121 | 2010 |
| Copilot: monitoring embedded systems L Pike, N Wegmann, S Niller, A Goodloe Innovations in Systems and Software Engineering 9, 235-255, 2013 | 73 | 2013 |
| Copilot 3 I Perez, F Dedden, A Goodloe | 51 | 2020 |
| Verification of numerical programs: From real numbers to floating point numbers AE Goodloe, C Muñoz, F Kirchner, L Correnson NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field …, 2013 | 45 | 2013 |
| Challenges in the verification of reinforcement learning algorithms P Van Wesel, AE Goodloe | 33 | 2017 |
| Formal prototyping in early stages of protocol design A Goodloe, CA Gunter, MO Stehr Proceedings of the 2005 Workshop on Issues in the Theory of Security, 67-80, 2005 | 32 | 2005 |
| Automated translation of natural language requirements to runtime monitors I Perez, A Mavridou, T Pressburger, A Goodloe, D Giannakopoulou International Conference on Tools and Algorithms for the Construction and …, 2022 | 25 | 2022 |
| Assuring the Guardians J Laurent, A Goodloe, L Pike Proceedings of the 5th Intl. Conference on Runtime Verification, 2015 | 24 | 2015 |
| Experience report: a do-it-yourself high-assurance compiler L Pike, N Wegmann, S Niller, A Goodloe Proceedings of the 17th ACM SIGPLAN international conference on Functional …, 2012 | 23 | 2012 |
| Challenges in high-assurance runtime verification A Goodloe International Symposium on Leveraging Applications of Formal Methods, 446-460, 2016 | 22 | 2016 |
| From requirements to autonomous flight: an overview of the monitoring ICAROUS project A Dutle, C Muñoz, E Conrad, A Goodloe, I Perez, S Balachandran, ... arXiv preprint arXiv:2012.03745, 2020 | 19 | 2020 |
| Fault-tolerant swarms I Perez, A Goodloe, W Edmonson 2019 IEEE International Conference on Space Mission Challenges for …, 2019 | 11 | 2019 |
| From verified models to verifiable code L Lensink, CA Muñoz, AE Goodloe | 11 | 2009 |
| Governing AI safety through independent audits. Nature Machine Intelligence, 3 (7), 566–571 G Falco, B Shneiderman, J Badger, R Carrier, A Dahbura, D Danks, ... | 10 | 2021 |
| Fault-tolerant functional reactive programming (extended version) I Perez, AE Goodloe Journal of Functional Programming 30, e12, 2020 | 9 | 2020 |
| Challenges in the verification of reinforcement learning algorithms P Wesel, A Goodloe NASA Technical Reports, 2017 | 7 | 2017 |
| Trustworthy runtime verification via bisimulation (Experience Report) RG Scott, M Dodds, I Perez, AE Goodloe, R Dockins Proceedings of the ACM on Programming Languages 7 (ICFP), 305-321, 2023 | 6 | 2023 |
| Formal analysis of pilot error with agent safety logic S Ahrenbach, A Goodloe Innovations in systems and software engineering 14, 47-58, 2018 | 4 | 2018 |
Lee PikeAWS Automated ReasoningVerified email at amazon.com