An Abstract Data Type Development of Graded Rings. - Alwyn E. Goodloe; Philippe Loustaunau (DISCO, 1992)

Predictable programs in barcodes. - Alwyn Goodloe; Michael McDougall; Carl A. Gunter; Rajeev Alur (CASES, 2002)

Formal prototyping in early stages of protocol design. - Alwyn Goodloe; Carl A. Gunter; Mark-Oliver Stehr (WITS, 2005)

Reasoning about Concurrency for Security Tunnels. - Alwyn Goodloe; Carl A. Gunter (CSF, 2007)

Compositional Verification of a Communication Protocol for a Remotely Operated Vehicle. - Alwyn Goodloe; César A. Muñoz (FMICS, 2009)

Roll your own test bed for embedded real-time protocols: a haskell experience. - Lee Pike; Geoffrey M. Brown; Alwyn Goodloe (Haskell, 2009)

Completeness of discovery protocols. - Alwyn Goodloe; Carl A. Gunter (SafeConfig, 2009)

Copilot: A Hard Real-Time Runtime Monitor. - Lee Pike; Alwyn Goodloe; Robin Morisset; Sebastian Niller (RV, 2010)

Experience report: a do-it-yourself high-assurance compiler. - Lee Pike; Nis Wegmann; Sebastian Niller; Alwyn Goodloe (ICFP, 2012)

Verification of Numerical Programs: From Real Numbers to Floating Point Numbers. - Alwyn Goodloe; César A. Muñoz; Florent Kirchner; Loïc Correnson (NASA Formal Methods, 2013)

Copilot: monitoring embedded systems. - Lee Pike; Nis Wegmann; Sebastian Niller; Alwyn Goodloe (Innov. Syst. Softw. Eng., 2013)

Compositional verification of a communication protocol for a remotely operated aircraft. - Alwyn Goodloe; César A. Muñoz (Sci. Comput. Program., 2013)

Assuring the Guardians. - Jonathan Laurent; Alwyn Goodloe; Lee Pike (RV, 2015)

Challenges in High-Assurance Runtime Verification. - Alwyn Goodloe (ISoLA (1), 2016)

Formal analysis of pilot error with agent safety logic. - Seth Ahrenbach; Alwyn Goodloe (Innov. Syst. Softw. Eng., 2018)

From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project. - Aaron Dutle; César A. Muñoz; Esther Conrad; Alwyn Goodloe; Laura Titolo; Ivan Perez 001; Swee Balachandran; Dimitra Giannakopoulou; Anastasia Mavridou; Thomas Pressburger (FMAS, 2020)

Fault-tolerant functional reactive programming (extended version). - Ivan Perez 001; Alwyn Goodloe (J. Funct. Program., 2020)

Governing AI safety through independent audits. - Gregory Falco; Ben Shneiderman; Julia Badger; Ryan Carrier; Anton Dahbura; David Danks; Martin Eling; Alwyn Goodloe; Jerry Gupta; Christopher Hart; Marina Jirotka; Henric Johnson; et al. (Nat. Mach. Intell., 2021)

Automated Translation of Natural Language Requirements to Runtime Monitors. - Ivan Perez 001; Anastasia Mavridou; Thomas Pressburger; Alwyn Goodloe; Dimitra Giannakopoulou (TACAS (1), 2022)

Don't Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing. - Segev Elazar Mittelman; Aviel Resnick; Ivan Perez 001; Alwyn E. Goodloe; Leonidas Lampropoulos (Haskell, 2023)

Trustworthy Runtime Verification via Bisimulation (Experience Report). - Ryan G. Scott; Mike Dodds; Ivan Perez 001; Alwyn E. Goodloe; Robert Dockins (Proc. ACM Program. Lang., 2023)

Assuring Safety-Critical Machine Learning-Enabled Systems: Challenges and Promise. - Alwyn E. Goodloe (Computer, 2023)

Runtime Verification in Real-Time with the Copilot Language: A Tutorial. - Ivan Perez 001; Alwyn E. Goodloe; Frank Dedden (FM (2), 2024)

High-Integrity Runtime Verification. - Alwyn E. Goodloe; Klaus Havelund (Computer, 2024)