Kelvin J. Ross

According to our database, Kelvin J. Ross authored at least 6 papers between 1993 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2009

Industry Academia Collaboration: An Experience Report at a Small University.

Padmanabhan Krishnan, Kelvin J. Ross, Percy Antonio Pari Salas

Proceedings of the Proceedings 22nd Conference on Software Engineering Education and Training, 2009

2007

Model-Based Security Vulnerability Testing.

Percy Antonio Pari Salas, Padmanabhan Krishnan, Kelvin J. Ross

Proceedings of the 18th Australian Software Engineering Conference (ASWEC 2007), 2007

1997

Software configuration management in the support of formal software development

Kelvin J. Ross

PhD thesis, 1997

1996

Formal Methods Pilot Project.

Tracey Hart, Fiona Linn, Roberto Morello, Greg Royle, Peter Kearney, Peter A. Lindsay, Kelvin J. Ross, Owen Traynor

Proceedings of the 3rd Asia-Pacific Software Engineering Conference (APSEC '96), 1996

1994

A Precise Examination of the Behaviour of Process Models.

Kelvin J. Ross, Peter A. Lindsay

Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994

1993

Maintaining Consistency Under Changes to Formal Specifications.

Kelvin J. Ross, Peter A. Lindsay

Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993