Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2010

Runtime Verification

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

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)

Conference series link(s): RV: International Conference on Runtime Verification

Conference proceedings info: RV 2010.

Sections

Buy it 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

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

Table of contents (39 papers)

  1. Front Matter

    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

    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

  3. Tutorials

    1. Run-Time Verification of Networked Software

      • Cyrille Valentin Artho
      Pages 59-73

    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

    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

Back to top

Keywords

Back to top

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

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it 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

Search

Navigation