Kelvin J. Ross

Publication Activity (10 Years)

Years Active: 1993-2009
Publications (10 Years): 0

Publications

Padmanabhan Krishnan, Kelvin J. Ross, Percy Antonio Pari Salas
Industry Academia Collaboration: An Experience Report at a Small University. CSEE&T (2009)
Percy Antonio Pari Salas, Padmanabhan Krishnan, Kelvin J. Ross
Model-Based Security Vulnerability Testing. ASWEC (2007)
Tracey Hart, Fiona Linn, Roberto Morello, Greg Royle, Peter Kearney, Peter A. Lindsay, Kelvin J. Ross, Owen Traynor
Formal Methods Pilot Project. APSEC (1996)
Kelvin J. Ross, Peter A. Lindsay
A Precise Examination of the Behaviour of Process Models. FME (1994)
Kelvin J. Ross, Peter A. Lindsay
Maintaining Consistency Under Changes to Formal Specifications. FME (1993)