Runtime Verification

8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers

  • Martin Leucker
Conference proceedings RV 2008

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

Table of contents

  1. Front Matter
  2. Jean Goubault-Larrecq, Julien Olivain
    Pages 1-20
  3. John Rushby
    Pages 21-35
  4. Grigore Roşu, Feng Chen, Thomas Ball
    Pages 51-68
  5. Joachim Baran, Howard Barringer
    Pages 69-85
  6. Nikhil Dinesh, Aravind Joshi, Insup Lee, Oleg Sokolsky
    Pages 86-103
  7. Yarden Nir-Buchbinder, Rachel Tzoref, Shmuel Ur
    Pages 104-118
  8. Jocelyn Simmonds, Marsha Chechik, Shiva Nejati, Elena Litani, Bill O’Farrell
    Pages 137-157
  9. Madhu Gopinathan, Sriram K. Rajamani
    Pages 158-172
  10. Hakim Belhaouari, Frédéric Peschanski
    Pages 173-187
  11. Back Matter

About these proceedings


This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Runtime Verification, RV 2008, held in Budapest, Hungary, in March 2008 as satellite event of ETAPS 2008.

The 9 revised full papers presented together with 2 invited papers were carefully selected from 27 initial submissions. The subject covers several technical fields such as runtime verification, runtime checking, runtime monitoring, and security and safety matters.


Web Services algorithm analysis algorithms ants certification runtime security verification

Editors and affiliations

  • Martin Leucker
    • 1
  1. 1.Institute for Informatics I4TU MunichGarchingGermany

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-89246-5
  • Online ISBN 978-3-540-89247-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment