2009 |
5 | EE | 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 | EE | Percy Antonio Pari Salas,
Padmanabhan Krishnan,
Kelvin J. Ross:
Model-Based Security Vulnerability Testing.
ASWEC 2007: 284-296 |
1996 |
3 | EE | 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 |