| |
| 2008 | ||
|---|---|---|
| 3 | EE | John Rushby: Runtime Certification. RV 2008: 21-35 |
| 2007 | ||
| 2 | EE | John Rushby: Automated Formal Methods Enter the Mainstream. J. UCS 13(5): 650-660 (2007) |
| 2005 | ||
| 1 | EE | John Rushby: Automated Test Generation and Verified Software. VSTTE 2005: 161-172 |