Runtime Verification

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

  • Saddek Bensalem
  • Doron A. Peled
Conference proceedings RV 2009
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

  • DOI https://doi.org/10.1007/978-3-642-04694-0
  • 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