Skip to main content
  • Conference proceedings
  • © 2010

Runtime Verification

First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

  • Unique visibility

  • Fast-track conference proceedings

  • State-of-the-art research

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

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

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

  1. Front Matter

  2. Invited Papers

    1. Automatic Requirement Extraction from Test Cases

      • Chris Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles Shelton, Elizabeth Latronico
      Pages 1-15
    2. Visual Debugging for Stream Processing Applications

      • Wim De Pauw, Mihai Leţia, Buğra Gedik, Henrique Andrade, Andy Frenkiel, Michael Pfeifer et al.
      Pages 18-35
    3. Runtime Verification in Context: Can Optimizing Error Detection Improve Fault Diagnosis?

      • Matthew B. Dwyer, Rahul Purandare, Suzette Person
      Pages 36-50
    4. Contracts for Scala

      • Martin Odersky
      Pages 51-57
  3. Tutorials

    1. Run-Time Verification of Networked Software

      • Cyrille Valentin Artho
      Pages 59-73
    2. You Should Better Enforce Than Verify

      • Yliès Falcone
      Pages 89-105
    3. Runtime Verification for the Web

      • Sylvain Hallé, Roger Villemaire
      Pages 106-121
    4. Statistical Model Checking: An Overview

      • Axel Legay, Benoît Delahaye, Saddek Bensalem
      Pages 122-135
    5. Runtime Verification with the RV System

      • Patrick Meredith, Grigore Roşu
      Pages 136-152
  4. Regular and Short Papers

    1. A Meta-Aspect Protocol for Developing Dynamic Analyses

      • Michael Achenbach, Klaus Ostermann
      Pages 153-167
    2. Behavior Abstraction in Malware Analysis

      • Philippe Beaucamps, Isabelle Gnaedig, Jean-Yves Marion
      Pages 168-182
    3. Checking the Correspondence between UML Models and Implementation

      • Selim Ciraci, Somayeh Malakuti, Shmuel Katz, Mehmet Aksit
      Pages 198-213
    4. Compensation-Aware Runtime Monitoring

      • Christian Colombo, Gordon J. Pace, Patrick Abela
      Pages 214-228
    5. Recovery Tasks: An Automated Approach to Failure Recovery

      • Brian Demsky, Jin Zhou, William Montaz
      Pages 229-244
    6. Formally Efficient Program Instrumentation

      • Boris Feigin, Alan Mycroft
      Pages 245-252

Other Volumes

  1. Runtime Verification

Keywords

  • Debugging
  • Simulation
  • algorithm analysis
  • dynamic program analysis
  • embedded systems
  • fault protection
  • program understanding
  • program validation
  • runtime analysis
  • runtime reflection
  • specification languages
  • structured analysis
  • testing
  • tracing
  • verification
  • algorithm analysis and problem complexity

Editors and Affiliations

  • School of Computer Science, University of Manchester, Manchester, UK

    Howard Barringer

  • INRIA, Rennes - Bretagne Atlantique, France

    Ylies Falcone

  • Department of Computer Science, Saarland University, Saarbrücken, Germany

    Bernd Finkbeiner

  • Jet Propulsion Laboratory, M/S 3041-285, Pasadena, USA

    Klaus Havelund

  • PRECISE Center, Department of Computer and Information Science, University of Pennsylvania, Philadelphia, USA

    Insup Lee, Oleg Sokolsky

  • Department of Computer Science, University of Malta, Msida, Malta

    Gordon Pace

  • Department of Computer Science, University of Illinois at Urbana-Champaign, Urbana, USA

    Grigore Roşu

  • Microsoft Research,, Redmond, USA

    Nikolai Tillmann

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