Alwyn E. Goodloe

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 5

Top Topics

Safety Critical

Machine Learning

Top Venues

Proc. ACM Program. Lang.

ISSRE Workshops

Publications

Alwyn E. Goodloe, Klaus Havelund
High-Integrity Runtime Verification. Computer 57 (4) (2024)
Ryan G. Scott, Mike Dodds, Ivan Perez, Alwyn E. Goodloe, Robert Dockins
Trustworthy Runtime Verification via Bisimulation (Experience Report). Proc. ACM Program. Lang. 7 (ICFP) (2023)
Segev Elazar Mittelman, Aviel Resnick, Ivan Perez, Alwyn E. Goodloe, Leonidas Lampropoulos
Don't Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing. Haskell (2023)
Alwyn E. Goodloe
Assuring Safety-Critical Machine Learning-Enabled Systems: Challenges and Promise. Computer 56 (9) (2023)
Alwyn E. Goodloe
Assuring Safety-Critical Machine Learning Enabled Systems: Challenges and Promise. ISSRE Workshops (2022)