2nd International Conference on

RUNTIME VERIFICATION

RV 2011, September 27 - September 30, 2011

San Francisco, California

at the Historic Fairmont Hotel

 

Best Paper Award:


Scott Stoller, Ezio Bartocci, Justin Seyster, Radu Grosu, Klaus Havelund, Scott Smolka and Erez Zadok. “Runtime Verification with State Estimation” ***


Best Tool Paper Award:


David Basin, Matúš Harvan, Felix Klaedtke and Eugen Zalinescu. “MONPOLY: Monitoring Usage-control Policies”