Runtime Verification

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

  • Saddek Bensalem
  • Doron A. Peled
Conference proceedings RV 2009

DOI: 10.1007/978-3-642-04694-0

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

Table of contents

  1. Front Matter
  2. Howard Barringer, Klaus Havelund, David Rydeheard, Alex Groce
    Pages 1-24
  3. Sriram K. Rajamani
    Pages 25-25
  4. Philipp Adler, Wolfram Amme
    Pages 26-39
  5. Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier
    Pages 40-59
  6. Bernd Finkbeiner, Lars Kuhtz
    Pages 60-75
  7. Trevor Hansen, Peter Schachte, Harald Søndergaard
    Pages 76-92
  8. Kari Kähkönen, Jani Lampinen, Keijo Heljanko, Ilkka Niemelä
    Pages 93-100
  9. Bohuslav Křena, Zdeněk Letko, Yarden Nir-Buchbinder, Rachel Tzoref-Brill, Shmuel Ur, Tomáš Vojnar
    Pages 101-114
  10. Isabel Nunes, Antónia Lopes, Vasco T. Vasconcelos
    Pages 115-131
  11. Grigore Roşu, Wolfram Schulte, Traian Florin Şerbănuţă
    Pages 132-151
  12. Atonia Zhai, Guojin He, Mats P. E. Heimdahl
    Pages 168-183
  13. Wenchao Zhou, Oleg Sokolsky, Boon Thau Loo, Insup Lee
    Pages 184-201
  14. Back Matter

About these proceedings

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

  • Saddek Bensalem
    • 1
  • Doron A. Peled
    • 2
  1. 1.Verimag Centre EquationGièresFrance
  2. 2.Department of Computer ScienceBar Ilan UniversityRamat GanIsrael

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-04693-3
  • Online ISBN 978-3-642-04694-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349