| 2009 | State Joining and Splitting for the Symbolic Execution of Binaries. | Trevor Hansen, Peter Schachte, Harald Sndergaard |
| 2009 | Monitor Circuits for LTL with Bounded and Unbounded Future. | Bernd Finkbeiner, Lars Kuhtz |
| 2009 | Runtime Verification of Safety-Progress Properties. | Ylis Falcone, Jean-Claude Fernandez, Laurent Mounier |
| 2009 | Rule Systems for Runtime Verification: A Short Tutorial. | Howard Barringer, Klaus Havelund, David E. Rydeheard, Alex Groce |
| 2009 | Type-Separated Bytecode - Its Construction and Evaluation. | Philipp Adler, Wolfram Amme |
| 2008 | Property Patterns for Runtime Monitoring of Web Service Conversations. | Jocelyn Simmonds, Marsha Chechik, Shiva Nejati, Elena Litani, Bill O'Farrell |
| 2008 | Runtime Certification. | John M. Rushby |
| 2008 | Synthesizing Monitors for Safety Properties: This Time with Calls and Returns. | Grigore Rosu, Feng Chen, Thomas Ball |
| 2008 | Deadlocks: From Exhibiting to Healing. | Yarden Nir-Buchbinder, Rachel Tzoref, Shmuel Ur |
| 2008 | Model-Based Run-Time Checking of Security Permissions Using Guarded Objects. | Jan Jrjens |
| 2008 | A Scalable, Sound, Eventually-Complete Algorithm for Deadlock Immunity. | Horatiu Jula, George Candea |
| 2008 | A Smell of Orchids. | Jean Goubault-Larrecq, Julien Olivain |
| 2008 | Runtime Monitoring of Object Invariants with Guarantee. | Madhu Gopinathan, Sriram K. Rajamani |
| 2008 | Checking Traces for Regulatory Conformance. | Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg Sokolsky |
| 2008 | A Lightweight Container Architecture for Runtime Verification. | Hakim Belhaouari, Frdric Peschanski |
| 2008 | Forays into Sequential Composition and Concatenation in Eagle. | Joachim Baran, Howard Barringer |
| 2007 | Runtime Checking for Program Verification. | Karen Zee, Viktor Kuncak, Michael B. Taylor, Martin C. Rinard |
| 2007 | Rollback Atomicity. | Serdar Tasiran, Tayfun Elmas |
| 2007 | Temporal Assertions with Parametrised Propositions. | Volker Stolz |
| 2007 | ARVE: Aspect-Oriented Runtime Verification Environment. | Hiromasa Shin, Yusuke Endoh, Yoshio Kataoka |
| 2007 | Statistical Runtime Checking of Probabilistic Properties. | Usa Sammapun, Insup Lee, Oleg Sokolsky, John Regehr |
| 2007 | Towards a Tool for Generating Aspects from MEDL and PEDL Specifications for Runtime Verification. | Omar Ochoa, Irbis Gallegos, Steve Roach, Ann Q. Gates |
| 2007 | Instrumentation of Open-Source Software for Intrusion Detection. | William R. Mahoney, William L. Sousan |
| 2007 | Runtime Verification of Interactions: From MSCs to Aspects. | Ingolf H. Krger, Michael Meisinger, Massimiliano Menarini |
| 2007 | Escaping with Future Variables in HALO. | Charlotte Herzeel, Kris Gybels, Pascal Costanza |