8. RV 2008:
Budapest,
Hungary
Martin Leucker (Ed.):
Runtime Verification, 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers.
Lecture Notes in Computer Science 5289 Springer 2008, ISBN 978-3-540-89246-5 
- Jean Goubault-Larrecq, Julien Olivain:
A Smell of Orchids.
1-20
- John Rushby:
Runtime Certification.
21-35
- Jan Jürjens:
Model-Based Run-Time Checking of Security Permissions Using Guarded Objects.
36-50
- Grigore Rosu, Feng Chen, Thomas Ball:
Synthesizing Monitors for Safety Properties: This Time with Calls and Returns.
51-68
- Joachim Baran, Howard Barringer:
Forays into Sequential Composition and Concatenation in Eagle.
69-85
- Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg Sokolsky:
Checking Traces for Regulatory Conformance.
86-103
- Yarden Nir-Buchbinder, Rachel Tzoref, Shmuel Ur:
Deadlocks: From Exhibiting to Healing.
104-118
- Horatiu Jula, George Candea:
A Scalable, Sound, Eventually-Complete Algorithm for Deadlock Immunity.
119-136
- Jocelyn Simmonds, Marsha Chechik, Shiva Nejati, Elena Litani, Bill O'Farrell:
Property Patterns for Runtime Monitoring of Web Service Conversations.
137-157
- Madhu Gopinathan, Sriram K. Rajamani:
Runtime Monitoring of Object Invariants with Guarantee.
158-172
- Hakim Belhaouari, Frédéric Peschanski:
A Lightweight Container Architecture for Runtime Verification.
173-187
Copyright © Tue Nov 10 00:08:25 2009
by Michael Ley (ley@uni-trier.de)
