CMACS researchers receive Best Paper Award at the 2nd International Conference on Runtime Verification

S.D. Stoller, E. Bartocci, J. Seyster, R. Grosu, K. Havelund, S.A. Smolka, and E. Zadok received the Best Paper Award for their paper "Runtime Verification with State Estimation". The award was presented in September 2011 in San Francisco, CA, at the 2nd International Conference on Runtime Verification.