Alwyn Goodloe
Alwyn Goodloe
Research Computer Engineer, NASA
Verified email at - Homepage
Cited by
Cited by
Copilot: A hard real-time runtime monitor
L Pike, A Goodloe, R Morisset, S Niller
International Conference on Runtime Verification, 345-359, 2010
Monitoring distributed real-time systems: A survey and future directions
AE Goodloe, L Pike
National Aeronautics and Space Administration, Langley Research Center, 2010
Copilot: monitoring embedded systems
L Pike, N Wegmann, S Niller, A Goodloe
Innovations in Systems and Software Engineering 9 (4), 235-255, 2013
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
Verification of numerical programs: From real numbers to floating point numbers
AE Goodloe, C Muñoz, F Kirchner, L Correnson
NASA Formal Methods Symposium, 441-446, 2013
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
Challenges in the verification of reinforcement learning algorithms
P Van Wesel, AE Goodloe
National Aeronautics and Space Administration, NASA STI Program, 2017
Assuring the Guardians
J Laurent, A Goodloe, L Pike
Proceedings of the 5th Intl. Conference on Runtime Verification, 2015
From verified models to verifiable code
L Lensink, C Munoz, A Goodloe
NASA, Langley Research Center, Hampton VA, 23681-2199, 2009
Challenges in high-assurance runtime verification
A Goodloe
International Symposium on Leveraging Applications of Formal Methods, 446-460, 2016
Copilot 3
I Perez, F Dedden, A Goodloe
Technical Report NASA/TM-2020-220587, National Aeronautics and Space …, 2020
Fault-tolerant swarms
I Perez, A Goodloe, W Edmonson
2019 IEEE International Conference on Space Mission Challenges for …, 2019
Toward Monitoring fault-tolerant embedded Systems
A Goodloe, L Pike
SHM-2009, 2009
A foundation for tunnel-complex protocols
AE Goodloe
University of Pennsylvania, 2008
L3A: A protocol for layer three accounting
A Goodloe, M Jacobs, G Shah, CA Gunter
1st IEEE ICNP Workshop on Secure Network Protocols, 2005.(NPSec)., 1-6, 2005
Predictable programs in barcodes
A Goodloe, M McDougall, CA Gunter, R Alur
Proceedings of the 2002 international conference on Compilers, architecture …, 2002
Formal analysis of pilot error with agent safety logic
S Ahrenbach, A Goodloe
Innovations in Systems and Software Engineering 14 (1), 47-58, 2018
Compositional verification of a communication protocol for a remotely operated aircraft
AE Goodloe, CA Muñoz
Science of Computer Programming 78 (7), 813-827, 2013
Design and verification of a distributed communication protocol
CA Muñoz, AE Goodloe
Reasoning about Concurrency for Security Tunnels
AE Goodloe, CA Gunter
20th IEEE Computer Security Foundations Symposium (CSF'07), 64-78, 2007
The system can't perform the operation now. Try again later.
Articles 1–20