Nothing Special   »   [go: up one dir, main page]
Skip to main content
Springer Nature Link
Log in

Runtime Verification

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

  • Conference proceedings
  • © 2008

Overview

Editors:
  1. Martin Leucker

    1. Institute for Informatics I4, TU Munich, Garching, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Included in the following conference series:

Conference proceedings info: RV 2008.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

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

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

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

Table of contents (11 papers)

  1. Front Matter

    Download chapter PDF

  2. A Smell of Orchids

    • Jean Goubault-Larrecq, Julien Olivain
    Pages 1-20

  3. Runtime Certification

    • John Rushby
    Pages 21-35

  4. Model-Based Run-Time Checking of Security Permissions Using Guarded Objects

    • Jan Jürjens
    Pages 36-50

  5. Synthesizing Monitors for Safety Properties: This Time with Calls and Returns

    • Grigore Roşu, Feng Chen, Thomas Ball
    Pages 51-68

  6. Forays into Sequential Composition and Concatenation in Eagle

    • Joachim Baran, Howard Barringer
    Pages 69-85

  7. Checking Traces for Regulatory Conformance

    • Nikhil Dinesh, Aravind Joshi, Insup Lee, Oleg Sokolsky
    Pages 86-103

  8. Deadlocks: From Exhibiting to Healing

    • Yarden Nir-Buchbinder, Rachel Tzoref, Shmuel Ur
    Pages 104-118

  9. A Scalable, Sound, Eventually-Complete Algorithm for Deadlock Immunity

    • Horatiu Jula, George Candea
    Pages 119-136

  10. Property Patterns for Runtime Monitoring of Web Service Conversations

    • Jocelyn Simmonds, Marsha Chechik, Shiva Nejati, Elena Litani, Bill O’Farrell
    Pages 137-157

  11. Runtime Monitoring of Object Invariants with Guarantee

    • Madhu Gopinathan, Sriram K. Rajamani
    Pages 158-172

  12. A Lightweight Container Architecture for Runtime Verification

    • Hakim Belhaouari, Frédéric Peschanski
    Pages 173-187

  13. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Runtime Verification

Editors and Affiliations

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

    Martin Leucker

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation