Alwyn Goodloe

According to our database, Alwyn Goodloe authored at least 24 papers between 1992 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

High-Integrity Runtime Verification.

Alwyn E. Goodloe, Klaus Havelund

Computer, April, 2024

Runtime Verification in Real-Time with the Copilot Language: A Tutorial.

Ivan Perez, Alwyn E. Goodloe, Frank Dedden

Proceedings of the Formal Methods - 26th International Symposium, 2024

2023

Assuring Safety-Critical Machine Learning-Enabled Systems: Challenges and Promise.

Alwyn E. Goodloe

Computer, September, 2023

Trustworthy Runtime Verification via Bisimulation (Experience Report).

Ryan G. Scott, Mike Dodds, Ivan Perez, Alwyn E. Goodloe, Robert Dockins

Proc. ACM Program. Lang., August, 2023

Don't Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing.

Segev Elazar Mittelman, Aviel Resnick, Ivan Perez, Alwyn E. Goodloe, Leonidas Lampropoulos

Proceedings of the 16th ACM SIGPLAN International Haskell Symposium, 2023

2022

Automated Translation of Natural Language Requirements to Runtime Monitors.

Ivan Perez, Anastasia Mavridou, Thomas Pressburger, Alwyn Goodloe, Dimitra Giannakopoulou

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

2021

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, Cara Lapointe, Ashley J. Llorens, Alan K. Mackworth, Carsten Maple, Sigurður Emil Pálsson, Frank Pasquale, Alan F. T. Winfield, Zee Kin Yeong

Nat. Mach. Intell., 2021

2020

Fault-tolerant functional reactive programming (extended version).

Ivan Perez, Alwyn Goodloe

J. Funct. Program., 2020

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, Swee Balachandran, Dimitra Giannakopoulou, Anastasia Mavridou, Thomas Pressburger

Proceedings of the Proceedings Second Workshop on Formal Methods for Autonomous Systems, 2020

2018

Formal analysis of pilot error with agent safety logic.

Seth Ahrenbach, Alwyn Goodloe

Innov. Syst. Softw. Eng., 2018

2016

Challenges in High-Assurance Runtime Verification.

Alwyn Goodloe

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

2015

Assuring the Guardians.

Jonathan Laurent, Alwyn Goodloe, Lee Pike

Proceedings of the Runtime Verification - 6th International Conference, 2015

2013

Compositional verification of a communication protocol for a remotely operated aircraft.

Alwyn Goodloe, César A. Muñoz

Sci. Comput. Program., 2013

Copilot: monitoring embedded systems.

Lee Pike, Nis Wegmann, Sebastian Niller, Alwyn Goodloe

Innov. Syst. Softw. Eng., 2013

Verification of Numerical Programs: From Real Numbers to Floating Point Numbers.

Alwyn Goodloe, César A. Muñoz, Florent Kirchner, Loïc Correnson

Proceedings of the NASA Formal Methods, 2013

2012

Experience report: a do-it-yourself high-assurance compiler.

Lee Pike, Nis Wegmann, Sebastian Niller, Alwyn Goodloe

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

2010

Copilot: A Hard Real-Time Runtime Monitor.

Lee Pike, Alwyn Goodloe, Robin Morisset, Sebastian Niller

Proceedings of the Runtime Verification - First International Conference, 2010

2009

Completeness of discovery protocols.

Alwyn Goodloe, Carl A. Gunter

Proceedings of the 2nd ACM Workshop on Assurable and Usable Security Configuration, 2009

Roll your own test bed for embedded real-time protocols: a haskell experience.

Lee Pike, Geoffrey M. Brown, Alwyn Goodloe

Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, 2009

Compositional Verification of a Communication Protocol for a Remotely Operated Vehicle.

Alwyn Goodloe, César A. Muñoz

Proceedings of the Formal Methods for Industrial Critical Systems, 2009

2007

Reasoning about Concurrency for Security Tunnels.

Alwyn Goodloe, Carl A. Gunter

Proceedings of the 20th IEEE Computer Security Foundations Symposium, 2007

2005

Formal prototyping in early stages of protocol design.

Alwyn Goodloe, Carl A. Gunter, Mark-Oliver Stehr

Proceedings of the POPL 2005 Workshop on Issues in the Theory of Security, 2005

2002

Predictable programs in barcodes.

Alwyn Goodloe, Michael McDougall, Carl A. Gunter, Rajeev Alur

Proceedings of the International Conference on Compilers, 2002

1992

An Abstract Data Type Development of Graded Rings.

Alwyn E. Goodloe, Philippe Loustaunau

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1992