@inproceedings{stoller11monitoring,
author="Scott D. Stoller and Ezio Bartocci and Justin Seyster and Radu Grosu and Klaus Havelund and Scott A. Smolka and Erez Zadok",
title="Runtime Verification with State Estimation",
month=sep,
year=2012,
booktitle="Proc.\ 2nd International Conference on Runtime Verification (RV 2011)",
series="Lecture Notes in Computer Science",
publisher="Springer-Verlag",
volume=7186,
Xpages="193-207",
}