Howard Barringer Yliès Falcone Bernd Finkbeiner Klaus Havelund Insup Lee Gordon J. Pace Grigore Rosu Oleg Sokolsky Nikolai Tillmann Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings 6418 2010 http://dx.doi.org/10.1007/978-3-642-16612-9 978-3-642-16611-2 RV Lecture Notes in Computer Science Springer db/conf/rv/rv2010.html