| 2022 | TACAS | Automated Translation of Natural Language Requirements to Runtime Monitors. | Ivan Perez, Anastasia Mavridou, Thomas Pressburger, Alwyn Goodloe, Dimitra Giannakopoulou |
| 2016 | ISoLA | Challenges in High-Assurance Runtime Verification. | Alwyn Goodloe |
| 2015 | RV | Assuring the Guardians. | Jonathan Laurent, Alwyn Goodloe, Lee Pike |
| 2012 | ICFP | Experience report: a do-it-yourself high-assurance compiler. | Lee Pike, Nis Wegmann, Sebastian Niller, Alwyn Goodloe |
| 2010 | RV | Copilot: A Hard Real-Time Runtime Monitor. | Lee Pike, Alwyn Goodloe, Robin Morisset, Sebastian Niller |
| 2009 | FMICS | Compositional Verification of a Communication Protocol for a Remotely Operated Vehicle. | Alwyn Goodloe, Csar A. Muoz |
| 2009 | HASKELL | Roll your own test bed for embedded real-time protocols: a haskell experience. | Lee Pike, Geoffrey M. Brown, Alwyn Goodloe |
| 2005 | POPL | Formal prototyping in early stages of protocol design. | Alwyn Goodloe, Carl A. Gunter, Mark-Oliver Stehr |
| 2002 | CASES | Predictable programs in barcodes. | Alwyn Goodloe, Michael McDougall, Carl A. Gunter, Rajeev Alur |