Maintaining Consistency Under Changes to Formal Specifications. - Kelvin J. Ross; Peter A. Lindsay (FME, 1993)

A Precise Examination of the Behaviour of Process Models. - Kelvin J. Ross; Peter A. Lindsay (FME, 1994)

Formal Methods Pilot Project. - Tracey Hart; Fiona Linn; Roberto Morello; Greg Royle; Peter Kearney; Peter A. Lindsay; Kelvin J. Ross; Owen Traynor (APSEC, 1996)

Software configuration management in the support of formal software development - Kelvin J. Ross (1997)

Model-Based Security Vulnerability Testing. - Percy Antonio Pari Salas; Padmanabhan Krishnan; Kelvin J. Ross (ASWEC, 2007)

Industry Academia Collaboration: An Experience Report at a Small University. - Padmanabhan Krishnan; Kelvin J. Ross; Percy Antonio Pari Salas (CSEE&T, 2009)