dblp.uni-trier.dewww.uni-trier.de

Kelvin J. Ross

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
5EEPadmanabhan Krishnan, Kelvin J. Ross, Percy Antonio Pari Salas: Industry Academia Collaboration: An Experience Report at a Small University. CSEE&T 2009: 117-121
2007
4EEPercy Antonio Pari Salas, Padmanabhan Krishnan, Kelvin J. Ross: Model-Based Security Vulnerability Testing. ASWEC 2007: 284-296
1996
3EETracey 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

Coauthor Index

1Tracey Hart [3]
2Peter Kearney [3]
3Padmanabhan Krishnan [4] [5]
4Peter A. Lindsay [1] [2] [3]
5Fiona Linn [3]
6Roberto Morello [3]
7Greg Royle [3]
8Percy Antonio Pari Salas [4] [5]
9Owen Traynor [3]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)