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 BibTeX

Jean Goubault-Larrecq, Julien Olivain:
A Smell of Orchids. 1-20
Electronic Edition (link) BibTeX
John Rushby:
Runtime Certification. 21-35
Electronic Edition (link) BibTeX
Jan Jürjens:
Model-Based Run-Time Checking of Security Permissions Using Guarded Objects. 36-50
Electronic Edition (link) BibTeX
Grigore Rosu, Feng Chen, Thomas Ball:
Synthesizing Monitors for Safety Properties: This Time with Calls and Returns. 51-68
Electronic Edition (link) BibTeX
Joachim Baran, Howard Barringer:
Forays into Sequential Composition and Concatenation in Eagle. 69-85
Electronic Edition (link) BibTeX
Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg Sokolsky:
Checking Traces for Regulatory Conformance. 86-103
Electronic Edition (link) BibTeX
Yarden Nir-Buchbinder, Rachel Tzoref, Shmuel Ur:
Deadlocks: From Exhibiting to Healing. 104-118
Electronic Edition (link) BibTeX
Horatiu Jula, George Candea:
A Scalable, Sound, Eventually-Complete Algorithm for Deadlock Immunity. 119-136
Electronic Edition (link) BibTeX
Jocelyn Simmonds, Marsha Chechik, Shiva Nejati, Elena Litani, Bill O'Farrell:
Property Patterns for Runtime Monitoring of Web Service Conversations. 137-157
Electronic Edition (link) BibTeX
Madhu Gopinathan, Sriram K. Rajamani:
Runtime Monitoring of Object Invariants with Guarantee. 158-172
Electronic Edition (link) BibTeX
Hakim Belhaouari, Frédéric Peschanski:
A Lightweight Container Architecture for Runtime Verification. 173-187
Electronic Edition (link) BibTeX