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”