Runtime Verification

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

  • Howard Barringer
  • Ylies Falcone
  • Bernd Finkbeiner
  • Klaus Havelund
  • Insup Lee
  • Gordon Pace
  • Grigore Roşu
  • Oleg Sokolsky
  • Nikolai Tillmann
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6418)

Table of contents

  1. Front Matter
  2. Invited Papers

    1. Chris Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles Shelton, Elizabeth Latronico
      Pages 1-15
    2. Wim De Pauw, Mihai Leţia, Buğra Gedik, Henrique Andrade, Andy Frenkiel, Michael Pfeifer et al.
      Pages 18-35
    3. Matthew B. Dwyer, Rahul Purandare, Suzette Person
      Pages 36-50
    4. Martin Odersky
      Pages 51-57
  3. Tutorials

    1. Cyrille Valentin Artho
      Pages 59-73
    2. Yliès Falcone
      Pages 89-105
    3. Sylvain Hallé, Roger Villemaire
      Pages 106-121
    4. Axel Legay, Benoît Delahaye, Saddek Bensalem
      Pages 122-135
    5. Patrick Meredith, Grigore Roşu
      Pages 136-152
  4. Regular and Short Papers

    1. Michael Achenbach, Klaus Ostermann
      Pages 153-167
    2. Philippe Beaucamps, Isabelle Gnaedig, Jean-Yves Marion
      Pages 168-182
    3. Selim Ciraci, Somayeh Malakuti, Shmuel Katz, Mehmet Aksit
      Pages 198-213
    4. Christian Colombo, Gordon J. Pace, Patrick Abela
      Pages 214-228
    5. Brian Demsky, Jin Zhou, William Montaz
      Pages 229-244
    6. Boris Feigin, Alan Mycroft
      Pages 245-252

About these proceedings

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

Editors and affiliations

  • Howard Barringer
    • 1
  • Ylies Falcone
    • 2
  • Bernd Finkbeiner
    • 3
  • Klaus Havelund
    • 4
  • Insup Lee
    • 5
  • Gordon Pace
    • 6
  • Grigore Roşu
    • 7
  • Oleg Sokolsky
    • 5
  • Nikolai Tillmann
    • 8
  1. 1.School of Computer ScienceUniversity of ManchesterManchesterUK
  2. 2.INRIARennes - Bretagne AtlantiqueFrance
  3. 3.Department of Computer ScienceSaarland UniversitySaarbrückenGermany
  4. 4.Jet Propulsion Laboratory, M/S 3041-285PasadenaUSA
  5. 5.PRECISE Center, Department of Computer and Information ScienceUniversity of PennsylvaniaPhiladelphiaUSA
  6. 6.Department of Computer ScienceUniversity of MaltaMsidaMalta
  7. 7.Department of Computer ScienceUniversity of Illinois at Urbana-ChampaignUrbanaUSA
  8. 8.Microsoft Research,RedmondUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-16612-9
  • Copyright Information Springer Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-16611-2
  • Online ISBN 978-3-642-16612-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349