| 2008 | Runtime Verification, 02.01. - 06.01.2007 Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky |
| 2007 | 07011 Abstracts Collection -- Runtime Verification. Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky |
| 2007 | 07011 Executive Summary -- Runtime Verification. Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky |
| 2007 | Monitoring, Fault Diagnosis and Testing Real-time Systems using Analog and Digital Clocks. Stavros Tripakis |
| 2007 | Runtime Verification for Wireless Sensor Network Applications. Oleg Sokolsky, Usa Sammapun, John Regehr, Insup Lee |