Collaborative Runtime Verification with Tracematches

Eric Bodden, Laurie J. Hendren, Patrick Lam, Ondrej Lhoták, Nomair A. Naeem. Collaborative Runtime Verification with Tracematches. Journal of Logic and Computation, 20(3):707-723, 2010. [doi]

Authors

Eric Bodden

Identified as Eric Bodden

Laurie J. Hendren

This author has not been identified. It may be one of the following persons: Look up 'Laurie J. Hendren' in Google

Patrick Lam

This author has not been identified. Look up 'Patrick Lam' in Google

Ondrej Lhoták

This author has not been identified. It may be one of the following persons: Look up 'Ondrej Lhoták' in Google

Nomair A. Naeem

This author has not been identified. Look up 'Nomair A. Naeem' in Google