Alwyn Goodloe
Alwyn Goodloe
Research Computer Engineer, NASA
Email verificata su nasa.gov - Home page
Titolo
Citata da
Citata da
Anno
Copilot: a hard real-time runtime monitor
L Pike, A Goodloe, R Morisset, S Niller
International Conference on Runtime Verification, 345-359, 2010
1022010
Monitoring distributed real-time systems: A survey and future directions
AE Goodloe, L Pike
862010
Copilot: monitoring embedded systems
L Pike, N Wegmann, S Niller, A Goodloe
Innovations in Systems and Software Engineering 9 (4), 235-255, 2013
422013
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
302013
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
302005
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
172012
Challenges in the verification of reinforcement learning algorithms
P Van Wesel, AE Goodloe
152017
Assuring the Guardians
J Laurent, A Goodloe, L Pike
Proceedings of the 5th Intl. Conference on Runtime Verification, 2015
142015
From verified models to verifiable code
L Lensink, CA Munoz, AE Goodloe
112009
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
52005
Challenges in high-assurance runtime verification
A Goodloe
International Symposium on Leveraging Applications of Formal Methods, 446-460, 2016
42016
Toward Monitoring fault-tolerant embedded Systems
A Goodloe, L Pike
SHM-2009, 2009
42009
A foundation for tunnel-complex protocols
AE Goodloe
University of Pennsylvania, 2008
42008
Predictable programs in barcodes
A Goodloe, M McDougall, CA Gunter, R Alur
Proceedings of the 2002 international conference on Compilers, architectureá…, 2002
42002
Fault-tolerant swarms
I Perez, A Goodloe, W Edmonson
2019 IEEE International Conference on Space Mission Challenges forá…, 2019
32019
Formal analysis of pilot error with agent safety logic
S Ahrenbach, A Goodloe
Innovations in Systems and Software Engineering 14 (1), 47-58, 2018
32018
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
32013
Design and verification of a distributed communication protocol
CA Mu˝oz, AE Goodloe
32009
Reasoning about Concurrency for Security Tunnels
AE Goodloe, CA Gunter
20th IEEE Computer Security Foundations Symposium (CSF'07), 64-78, 2007
32007
Verification of floating point programs: From real numbers to floating point numbers
A Goodloe, C Mu˝oz, F Kirchner, L Correnson
NASA Formal Methods Symposium, 2013
22013
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20