Skip to main content
  • Conference proceedings
  • © 2008

Runtime Verification

8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers

Editors:

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 5289)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Conference series link(s): RV: International Conference on Runtime Verification

Conference proceedings info: RV 2008.

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (11 papers)

  1. Front Matter

  2. A Smell of Orchids

    • Jean Goubault-Larrecq, Julien Olivain
    Pages 1-20
  3. Runtime Certification

    • John Rushby
    Pages 21-35
  4. Synthesizing Monitors for Safety Properties: This Time with Calls and Returns

    • Grigore RoÅŸu, Feng Chen, Thomas Ball
    Pages 51-68
  5. Forays into Sequential Composition and Concatenation in Eagle

    • Joachim Baran, Howard Barringer
    Pages 69-85
  6. Checking Traces for Regulatory Conformance

    • Nikhil Dinesh, Aravind Joshi, Insup Lee, Oleg Sokolsky
    Pages 86-103
  7. Deadlocks: From Exhibiting to Healing

    • Yarden Nir-Buchbinder, Rachel Tzoref, Shmuel Ur
    Pages 104-118
  8. Property Patterns for Runtime Monitoring of Web Service Conversations

    • Jocelyn Simmonds, Marsha Chechik, Shiva Nejati, Elena Litani, Bill O’Farrell
    Pages 137-157
  9. Runtime Monitoring of Object Invariants with Guarantee

    • Madhu Gopinathan, Sriram K. Rajamani
    Pages 158-172
  10. A Lightweight Container Architecture for Runtime Verification

    • Hakim Belhaouari, Frédéric Peschanski
    Pages 173-187
  11. Back Matter

Other Volumes

  1. Runtime Verification

About this book

This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Runtime Verification, RV 2008, held in Budapest, Hungary, in March 2008 as satellite event of ETAPS 2008. The 9 revised full papers presented together with 2 invited papers were carefully selected from 27 initial submissions. The subject covers several technical fields such as runtime verification, runtime checking, runtime monitoring, and security and safety matters.

Keywords

  • Web Services
  • algorithm analysis
  • algorithms
  • ants
  • certification
  • runtime
  • security
  • verification

Editors and Affiliations

  • Institute for Informatics I4, TU Munich, Garching, Germany

    Martin Leucker

Bibliographic Information

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions