 | 2012 |
|---|
| 7 |       | Alwyn Goodloe,
Suzette Person:
NASA Formal Methods - 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings
Springer 2012 |
| 2010 |
|---|
| 6 | | Lee Pike,
Alwyn Goodloe,
Robin Morisset,
Sebastian Niller:
Copilot: A Hard Real-Time Runtime Monitor.
RV 2010: 345-359 |
| 2009 |
|---|
| 5 | | Alwyn Goodloe,
César A. Muñoz:
Compositional Verification of a Communication Protocol for a Remotely Operated Vehicle.
FMICS 2009: 86-101 |
| 4 | | Lee Pike,
Geoffrey M. Brown,
Alwyn Goodloe:
Roll your own test bed for embedded real-time protocols: a haskell experience.
Haskell 2009: 61-68 |
| 2007 |
|---|
| 3 | | Alwyn Goodloe,
Carl A. Gunter:
Reasoning about Concurrency for Security Tunnels.
CSF 2007: 64-78 |
| 2005 |
|---|
| 2 | | Alwyn Goodloe,
Carl A. Gunter,
Mark-Oliver Stehr:
Formal prototyping in early stages of protocol design.
WITS 2005: 67-80 |
| 2002 |
|---|
| 1 | | Alwyn Goodloe,
Michael McDougall,
Carl A. Gunter,
Rajeev Alur:
Predictable programs in barcodes.
CASES 2002: 298-303 |
Data released under the ODC-BY 1.0 license — See also our legal information page