8. RV 2008: Budapest, Hungary
Martin Leucker (Ed.): Runtime Verification, 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers. Springer 2008 Lecture Notes in Computer Science ISBN 978-3-540-89246-5- John M. 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
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T214307 by the dblp team