Alwyn Goodloe - RankMe

19 papers A 2B 2C 2Misc 1Journal 5Unranked 6

Year	Rank	Type	Title / Venue / Authors
2022	—	`conf`	Automated Translation of Natural Language Requirements to Runtime Monitors. TACAS (1) Ivan Perez, Anastasia Mavridou, Thomas Pressburger, Alwyn Goodloe, Dimitra Giannakopoulou
2021	J	`jnl`	Governing AI safety through independent audits. Nat. Mach. Intell. 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
2020	J	`jnl`	Fault-tolerant functional reactive programming (extended version). J. Funct. Program. Ivan Perez, Alwyn Goodloe
2020	—	`conf`	From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project. FMAS Aaron Dutle, César A. Muñoz, Esther Conrad, Alwyn Goodloe, Laura Titolo, Ivan Perez, Swee Balachandran, Dimitra Giannakopoulou, Anastasia Mavridou, Thomas Pressburger
2018	J	`jnl`	Formal analysis of pilot error with agent safety logic. Innov. Syst. Softw. Eng. Seth Ahrenbach, Alwyn Goodloe
2016	—	`conf`	Challenges in High-Assurance Runtime Verification. ISoLA (1) Alwyn Goodloe
2015	B	`conf`	Assuring the Guardians. RV Jonathan Laurent, Alwyn Goodloe, Lee Pike
2013	J	`jnl`	Compositional verification of a communication protocol for a remotely operated aircraft. Sci. Comput. Program. Alwyn Goodloe, César A. Muñoz
2013	J	`jnl`	Copilot: monitoring embedded systems. Innov. Syst. Softw. Eng. Lee Pike, Nis Wegmann, Sebastian Niller, Alwyn Goodloe
2013	—	`conf`	Verification of Numerical Programs: From Real Numbers to Floating Point Numbers. NASA Formal Methods Alwyn Goodloe, César A. Muñoz, Florent Kirchner, Loïc Correnson
2012	A	`conf`	Experience report: a do-it-yourself high-assurance compiler. ICFP Lee Pike, Nis Wegmann, Sebastian Niller, Alwyn Goodloe
2012	—	`ed.`	NASA Formal Methods - 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings NASA Formal Methods Alwyn Goodloe, Suzette Person
2010	B	`conf`	Copilot: A Hard Real-Time Runtime Monitor. RV Lee Pike, Alwyn Goodloe, Robin Morisset, Sebastian Niller
2009	—	`conf`	Completeness of discovery protocols. SafeConfig Alwyn Goodloe, Carl A. Gunter
2009	C	`conf`	Compositional Verification of a Communication Protocol for a Remotely Operated Vehicle. FMICS Alwyn Goodloe, César A. Muñoz
2009	C	`conf`	Roll your own test bed for embedded real-time protocols: a haskell experience. Haskell Lee Pike, Geoffrey M. Brown, Alwyn Goodloe
2007	A	`conf`	Reasoning about Concurrency for Security Tunnels. CSF Alwyn Goodloe, Carl A. Gunter
2005	—	`conf`	Formal prototyping in early stages of protocol design. WITS Alwyn Goodloe, Carl A. Gunter, Mark-Oliver Stehr
2002	Misc	`conf`	Predictable programs in barcodes. CASES Alwyn Goodloe, Michael McDougall, Carl A. Gunter, Rajeev Alur