Follow
Alwyn Goodloe
Alwyn Goodloe
Research Computer Engineer, NASA
Verified email at nasa.gov - Homepage
Title
Cited by
Cited by
Year
Copilot: a hard real-time runtime monitor
L Pike, A Goodloe, R Morisset, S Niller
International Conference on Runtime Verification, 345-359, 2010
1702010
Monitoring distributed real-time systems: A survey and future directions
AE Goodloe, L Pike
1202010
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
1192021
Copilot: monitoring embedded systems
L Pike, N Wegmann, S Niller, A Goodloe
Innovations in Systems and Software Engineering 9, 235-255, 2013
682013
Copilot 3
I Perez, F Dedden, A Goodloe
462020
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
452013
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
332005
Challenges in the verification of reinforcement learning algorithms
P Van Wesel, AE Goodloe
322017
Assuring the Guardians
J Laurent, A Goodloe, L Pike
Proceedings of the 5th Intl. Conference on Runtime Verification, 2015
232015
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
222012
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
192020
Challenges in high-assurance runtime verification
A Goodloe
International Symposium on Leveraging Applications of Formal Methods, 446-460, 2016
192016
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
182022
Fault-tolerant swarms
I Perez, A Goodloe, W Edmonson
2019 IEEE International Conference on Space Mission Challenges for …, 2019
112019
From verified models to verifiable code
L Lensink, CA Muñoz, AE Goodloe
112009
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, ...
92021
Fault-tolerant functional reactive programming (extended version)
I Perez, AE Goodloe
Journal of Functional Programming 30, e12, 2020
92020
Challenges in the verification of reinforcement learning algorithms
P Wesel, A Goodloe
NASA Technical Reports, 2017
72017
Formal analysis of pilot error with agent safety logic
S Ahrenbach, A Goodloe
Innovations in systems and software engineering 14, 47-58, 2018
42018
Toward Monitoring fault-tolerant embedded Systems
A Goodloe, L Pike
SHM-2009, 2009
42009
The system can't perform the operation now. Try again later.
Articles 1–20