Skip to main content
  • Conference proceedings
  • © 2009

Runtime Verification

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

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

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 2009.

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 (13 papers)

  1. Front Matter

  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. Hardware Supported Flexible Monitoring: Early Results

    • Atonia Zhai, Guojin He, Mats P. E. Heimdahl
    Pages 168-183
  13. DMaC: Distributed Monitoring and Checking

    • Wenchao Zhou, Oleg Sokolsky, Boon Thau Loo, Insup Lee
    Pages 184-201
  14. Back Matter

Other Volumes

  1. Runtime Verification

Keywords

  • C programming language
  • algorithm analysis
  • aspect-oriented languages
  • certification
  • debugging
  • diagnosis
  • dynamic program analysis
  • programming
  • runtime
  • security
  • specification languages
  • tracing
  • verification

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

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