Skip to main content
SpringerLink
Log in
Book cover

Runtime Verification

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

  • Conference proceedings
  • © 2010

Overview

Editors:
  1. Howard Barringer

    1. School of Computer Science, University of Manchester, Manchester, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ylies Falcone

    1. INRIA, Rennes - Bretagne Atlantique, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Bernd Finkbeiner

    1. Department of Computer Science, Saarland University, Saarbrücken, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Klaus Havelund

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Insup Lee

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  6. Gordon Pace

    1. Department of Computer Science, University of Malta, Msida, Malta

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  7. Grigore Roşu

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  8. Oleg Sokolsky

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  9. Nikolai Tillmann

    1. Microsoft Research,, Redmond, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Included in the following conference series:

Conference proceedings info: RV 2010.

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

  1. Front Matter

    Download chapter PDF

  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. Code Contracts for .NET: Runtime Verification and So Much More

      • Mike Barnett
      Pages 16-17

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

    4. Runtime Verification in Context: Can Optimizing Error Detection Improve Fault Diagnosis?

      • Matthew B. Dwyer, Rahul Purandare, Suzette Person
      Pages 36-50

    5. Contracts for Scala

      • Martin Odersky
      Pages 51-57

    6. Runtime Analysis and Instrumentation for Securing Software

      • R. Sekar
      Pages 58-58

  3. Tutorials

    1. Run-Time Verification of Networked Software

      • Cyrille Valentin Artho
      Pages 59-73

    2. Clara: Partially Evaluating Runtime Monitors at Compile Time

      • Eric Bodden, Patrick Lam
      Pages 74-88

    3. You Should Better Enforce Than Verify

      • Yliès Falcone
      Pages 89-105

    4. Runtime Verification for the Web

      • Sylvain Hallé, Roger Villemaire
      Pages 106-121

    5. Statistical Model Checking: An Overview

      • Axel Legay, Benoît Delahaye, Saddek Bensalem
      Pages 122-135

    6. 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. Clara: A Framework for Partially Evaluating Finite-State Runtime Monitors Ahead of Time

      • Eric Bodden, Patrick Lam, Laurie Hendren
      Pages 183-197

    4. Checking the Correspondence between UML Models and Implementation

      • Selim Ciraci, Somayeh Malakuti, Shmuel Katz, Mehmet Aksit
      Pages 198-213

    5. Compensation-Aware Runtime Monitoring

      • Christian Colombo, Gordon J. Pace, Patrick Abela
      Pages 214-228

    6. Recovery Tasks: An Automated Approach to Failure Recovery

      • Brian Demsky, Jin Zhou, William Montaz
      Pages 229-244

    7. Formally Efficient Program Instrumentation

      • Boris Feigin, Alan Mycroft
      Pages 245-252
Back to top

Other volumes

  1. Runtime Verification

Keywords

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

Publish with us

Policies and ethics

Back to top

Search

Navigation