Facebook
  Twitter

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.

Content for class "clear" Goes Here
nsfSupported by an Expeditions in Computing award from the National Science Foundation