 | 2009 |
|---|
| 5 |       | Padmanabhan Krishnan,
Kelvin J. Ross,
Percy Antonio Pari Salas:
Industry Academia Collaboration: An Experience Report at a Small University.
CSEE&T 2009: 117-121 |
| 2007 |
|---|
| 4 | | Percy Antonio Pari Salas,
Padmanabhan Krishnan,
Kelvin J. Ross:
Model-Based Security Vulnerability Testing.
ASWEC 2007: 284-296 |
| 1996 |
|---|
| 3 | | Tracey Hart,
Fiona Linn,
Roberto Morello,
Greg Royle,
Peter Kearney,
Peter A. Lindsay,
Kelvin J. Ross,
Owen Traynor:
Formal Methods Pilot Project.
APSEC 1996: 238-245 |
| 1994 |
|---|
| 2 | | Kelvin J. Ross,
Peter A. Lindsay:
A Precise Examination of the Behaviour of Process Models.
FME 1994: 251-270 |
| 1993 |
|---|
| 1 | | Kelvin J. Ross,
Peter A. Lindsay:
Maintaining Consistency Under Changes to Formal Specifications.
FME 1993: 558-577 |
