Alwyn Goodloe

Publication Activity (10 Years)

Years Active: 2002-2022
Publications (10 Years): 6

Top Topics

Sparse Matrices

Communication Protocol

Top Venues

Innov. Syst. Softw. Eng.

J. Funct. Program.

Sci. Comput. Program.

Nat. Mach. Intell.

Publications

Ivan Perez, Anastasia Mavridou, Thomas Pressburger, Alwyn Goodloe, Dimitra Giannakopoulou
Automated Translation of Natural Language Requirements to Runtime Monitors. TACAS (1) (2022)
Gregory Falco, Ben Shneiderman, Julia Badger, Ryan Carrier, Anton Dahbura, David Danks, Martin Eling, Alwyn Goodloe, Jerry Gupta, Christopher Hart, Marina Jirotka, Henric Johnson, Cara Lapointe, Ashley J. Llorens, Alan K. Mackworth, Carsten Maple, Sigurður Emil Pálsson, Frank Pasquale, Alan F. T. Winfield, Zee Kin Yeong
Governing AI safety through independent audits. Nat. Mach. Intell. 3 (7) (2021)
Aaron Dutle, César A. Muñoz, Esther Conrad, Alwyn Goodloe, Laura Titolo, Ivan Perez, Swee Balachandran, Dimitra Giannakopoulou, Anastasia Mavridou, Thomas Pressburger
From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project. FMAS (2020)
Ivan Perez, Alwyn Goodloe
Fault-tolerant functional reactive programming (extended version). J. Funct. Program. 30 (2020)
Seth Ahrenbach, Alwyn Goodloe
Formal analysis of pilot error with agent safety logic. Innov. Syst. Softw. Eng. 14 (1) (2018)
Alwyn Goodloe
Challenges in High-Assurance Runtime Verification. ISoLA (1) (2016)
Jonathan Laurent, Alwyn Goodloe, Lee Pike
Assuring the Guardians. RV (2015)
Alwyn Goodloe, César A. Muñoz, Florent Kirchner, Loïc Correnson
Verification of Numerical Programs: From Real Numbers to Floating Point Numbers. NASA Formal Methods (2013)
Alwyn Goodloe, César A. Muñoz
Compositional verification of a communication protocol for a remotely operated aircraft. Sci. Comput. Program. 78 (7) (2013)
Lee Pike, Nis Wegmann, Sebastian Niller, Alwyn Goodloe
Copilot: monitoring embedded systems. Innov. Syst. Softw. Eng. 9 (4) (2013)
Lee Pike, Nis Wegmann, Sebastian Niller, Alwyn Goodloe
Experience report: a do-it-yourself high-assurance compiler. ICFP (2012)
Lee Pike, Alwyn Goodloe, Robin Morisset, Sebastian Niller
Copilot: A Hard Real-Time Runtime Monitor. RV (2010)
Alwyn Goodloe, César A. Muñoz
Compositional Verification of a Communication Protocol for a Remotely Operated Vehicle. FMICS (2009)
Alwyn Goodloe, Carl A. Gunter
Completeness of discovery protocols. SafeConfig (2009)
Lee Pike, Geoffrey M. Brown, Alwyn Goodloe
Roll your own test bed for embedded real-time protocols: a haskell experience. Haskell (2009)
Alwyn Goodloe, Carl A. Gunter
Reasoning about Concurrency for Security Tunnels. CSF (2007)
Alwyn Goodloe, Carl A. Gunter, Mark-Oliver Stehr
Formal prototyping in early stages of protocol design. WITS (2005)
Alwyn Goodloe, Michael McDougall, Carl A. Gunter, Rajeev Alur
Predictable programs in barcodes. CASES (2002)