Sign in
Alwyn E. Goodloe
ORCID
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 4
Top Topics
Nuclear Power Plant
Safety Critical
Fault Tolerant
Machine Learning
Top Venues
Proc. ACM Program. Lang.
Computer
ISSRE Workshops
Haskell
</>
Publications
</>
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)