Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Alwyn Goodloe
2010 – today
- 2013
[j1]Alwyn Goodloe, César A. Muñoz: Compositional verification of a communication protocol for a remotely operated aircraft. Sci. Comput. Program. 78(7): 813-827 (2013)- [c9]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: 441-446
- 2012
- [c8]Lee Pike, Nis Wegmann, Sebastian Niller, Alwyn Goodloe: Experience report: a do-it-yourself high-assurance compiler. ICFP 2012: 335-340
- [e1]Alwyn Goodloe, Suzette Person (Eds.): NASA Formal Methods - 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings. Lecture Notes in Computer Science 7226, Springer 2012, ISBN 978-3-642-28890-6
- 2010
- [c7]Lee Pike, Alwyn Goodloe, Robin Morisset, Sebastian Niller: Copilot: A Hard Real-Time Runtime Monitor. RV 2010: 345-359
2000 – 2009
- 2009
- [c6]Alwyn Goodloe, César A. Muñoz: Compositional Verification of a Communication Protocol for a Remotely Operated Vehicle. FMICS 2009: 86-101
- [c5]Lee Pike, Geoffrey M. Brown, Alwyn Goodloe: Roll your own test bed for embedded real-time protocols: a haskell experience. Haskell 2009: 61-68
- [c4]
- 2007
- [c3]
- 2005
- [c2]Alwyn Goodloe, Carl A. Gunter, Mark-Oliver Stehr: Formal prototyping in early stages of protocol design. WITS 2005: 67-80
- 2002
- [c1]Alwyn Goodloe, Michael McDougall, Carl A. Gunter, Rajeev Alur: Predictable programs in barcodes. CASES 2002: 298-303
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-05 21:27 CEST by the dblp team