Skip to main content
SpringerLink
Log in
Book cover

Runtime Verification

9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers

  • Conference proceedings
  • © 2009

Overview

Editors:
  1. Saddek Bensalem

    1. Verimag Centre Equation, Gières, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Doron A. Peled

    1. Department of Computer Science, Bar Ilan University, Ramat Gan, Israel

    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 5779)

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

Included in the following conference series:

Conference proceedings info: RV 2009.

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

Access this book

Log in via an institution
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

Table of contents (13 papers)

  1. Front Matter

    Download chapter PDF

  2. Rule Systems for Runtime Verification: A Short Tutorial

    • Howard Barringer, Klaus Havelund, David Rydeheard, Alex Groce
    Pages 1-24

  3. Verification, Testing and Statistics

    • Sriram K. Rajamani
    Pages 25-25

  4. Type-Separated Bytecode – Its Construction and Evaluation

    • Philipp Adler, Wolfram Amme
    Pages 26-39

  5. Runtime Verification of Safety-Progress Properties

    • Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier
    Pages 40-59

  6. Monitor Circuits for LTL with Bounded and Unbounded Future

    • Bernd Finkbeiner, Lars Kuhtz
    Pages 60-75

  7. State Joining and Splitting for the Symbolic Execution of Binaries

    • Trevor Hansen, Peter Schachte, Harald Søndergaard
    Pages 76-92

  8. The LIME Interface Specification Language and Runtime Monitoring Tool

    • Kari Kähkönen, Jani Lampinen, Keijo Heljanko, Ilkka Niemelä
    Pages 93-100

  9. A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing

    • Bohuslav Křena, Zdeněk Letko, Yarden Nir-Buchbinder, Rachel Tzoref-Brill, Shmuel Ur, Tomáš Vojnar
    Pages 101-114

  10. Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming

    • Isabel Nunes, Antónia Lopes, Vasco T. Vasconcelos
    Pages 115-131

  11. Runtime Verification of C Memory Safety

    • Grigore Roşu, Wolfram Schulte, Traian Florin Şerbănuţă
    Pages 132-151

  12. A Combined On-Line/Off-Line Framework for Black-Box Fault Diagnosis

    • Stavros Tripakis
    Pages 152-167

  13. Hardware Supported Flexible Monitoring: Early Results

    • Atonia Zhai, Guojin He, Mats P. E. Heimdahl
    Pages 168-183

  14. DMaC: Distributed Monitoring and Checking

    • Wenchao Zhou, Oleg Sokolsky, Boon Thau Loo, Insup Lee
    Pages 184-201

  15. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Runtime Verification

Keywords

Editors and Affiliations

  • Verimag Centre Equation, Gières, France

    Saddek Bensalem

  • Department of Computer Science, Bar Ilan University, Ramat Gan, Israel

    Doron A. Peled

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation