Articles with public access mandates - Alwyn GoodloeLearn more
Available somewhere: 15
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
Mandates: US National Science Foundation, US National Aeronautics and Space Administration
Copilot 3
I Perez, F Dedden, A Goodloe
Mandates: US National Aeronautics and Space Administration
Challenges in the verification of reinforcement learning algorithms
P Van Wesel, AE Goodloe
Mandates: US National Aeronautics and Space Administration
Fault-tolerant swarms
I Perez, A Goodloe, W Edmonson
2019 IEEE International Conference on Space Mission Challenges for …, 2019
Mandates: US National Aeronautics and Space Administration
Fault-tolerant functional reactive programming (extended version)
I Perez, AE Goodloe
Journal of Functional Programming 30, e12, 2020
Mandates: US National Aeronautics and Space Administration
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
Mandates: US National Aeronautics and Space Administration
Formal analysis of pilot error with agent safety logic
S Ahrenbach, A Goodloe
Innovations in systems and software engineering 14, 47-58, 2018
Mandates: US National Aeronautics and Space Administration
NASA System-Wide Safety wildland firefighting operations workshop report
SM Lehman, JT Slagel, S Andrade, H Walsh, A Goodloe, SL Brandt, ...
Mandates: US National Aeronautics and Space Administration
Integrating FRET with Copilot: Automated Translation of Natural Language Requirements to Runtime Monitors
I Perez, A Mavridou, T Pressburger, A Goodloe, D Giannakopoulou
Mandates: US National Aeronautics and Space Administration
An Introduction to Copilot
F Dedden, A Goodloe, I Perez, M Cruff, NN Wegmann, L Pike, C Hathhorn, ...
Technical Report, 2019
Mandates: US National Aeronautics and Space Administration
Don’t Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing
S Elazar Mittelman, A Resnick, I Perez, AE Goodloe, L Lampropoulos
Proceedings of the 16th ACM SIGPLAN International Haskell Symposium, 59-71, 2023
Mandates: US National Science Foundation, US National Aeronautics and Space Administration
Wildfire-fighting Use Case Requirements to Monitor
T Pressburger, A Mavridou, I Perez, A Goodloe, P Mehlitz, D Volpano, ...
Mandates: US National Aeronautics and Space Administration
Assurance of Conventional and Machine Learning
A Goodloe
Presentation to Contractor, 2021
Mandates: US National Aeronautics and Space Administration
Assurance of Domain Specific Languages
AE Goodloe
V&V for G&C Workshop, 2021
Mandates: US National Aeronautics and Space Administration
Completeness of discovery protocols
AE Goodloe, CA Gunter
Proceedings of the 2nd ACM workshop on Assurable and usable security …, 2009
Mandates: John D. and Catherine T. MacArthur Foundation
Publication and funding information is determined automatically by a computer program