Alwyn E. Goodloe

Identifiers

• name variant Alwyn E. Goodloe 0.60 · backfill

Papers (1)

1. Trustworthy Runtime Verification via Bisimulation (Extended Experience Report) cs.PL · 2026 · author #3

Mentions

• 2607.01363 #3 · arxiv_oai · confidence 0.70 Alwyn E. Goodloe

Frequent Coauthors

• Ivan Perez 1 shared papers
• Mike Dodds 1 shared papers
• Robert Dockins 1 shared papers
• Ryan G. Scott 1 shared papers