Runtime Verification

4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings

  • Axel Legay
  • Saddek Bensalem
Conference proceedings RV 2013
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8174)

Table of contents

  1. Front Matter
  2. Invited Paper

    1. Viktor Kuncak, Etienne Kneuss, Philippe Suter
      Pages 1-20
  3. Regular Papers

    1. Ana Almeida Matos, Jan Cederquist
      Pages 21-39
    2. David Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zălinescu
      Pages 40-58
    3. Andreas Bauer, Jan-Christoph Küster, Gil Vegliach
      Pages 59-75
    4. Véronique Bruyère, Marc Ducobu, Olivier Gauwin
      Pages 76-93
    5. Kevin Falzon, Eric Bodden, Rahul Purandare
      Pages 94-111
    6. Adrian Francalanza, Aldrin Seychell
      Pages 112-129
    7. Raymond Hu, Rumyana Neykova, Nobuko Yoshida, Romain Demangeon, Kohei Honda
      Pages 130-148
    8. Kenan Kalajdzic, Ezio Bartocci, Scott A. Smolka, Scott D. Stoller, Radu Grosu
      Pages 149-166
    9. Nikolai Kosmatov, Guillaume Petiot, Julien Signoles
      Pages 167-182
    10. Normann Decker, Martin Leucker, Daniel Thoma
      Pages 183-200
    11. Vineeth Mekkat, Anup Holey, Antonia Zhai
      Pages 201-218
    12. Alexandre Montplaisir, Naser Ezzati-Jivan, Florian Wininger, Michel Dagenais
      Pages 219-234
    13. Razieh Nokhbeh Zaeem, Muhammad Zubair Malik, Sarfraz Khurshid
      Pages 235-250
    14. Nadia Polikarpova, Carlo A. Furia, Scott West
      Pages 251-268
    15. Chengsong Wang, Zhenbang Chen, Xiaoguang Mao
      Pages 269-284
    16. Shaohui Wang, Anaheed Ayoub, BaekGyu Kim, Gregor Gössler, Oleg Sokolsky, Insup Lee
      Pages 285-303
    17. Chun Wah Wallace Wu, Deepak Kumar, Borzoo Bonakdarpour, Sebastian Fischmeister
      Pages 304-321
  4. Short Papers

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 4th International Conference on Runtime Verification, RV 2013, held in Rennes, France, in September 2013.
The 24 revised full papers presented together with 3 invited papers, 2 tool papers, and  6 tutorials were carefully reviewed and selected from 58 submissions. The papers address a wide range of specification languages and formalisms for traces; specification mining; program instrumentation; monitor construction techniques; logging, recording, and replay; fault detection, localization, recovery, and repair; program steering and adaptation; as well as metrics and statistical information gathering; combination of static and dynamic analyses and program execution visualization.

Keywords

concolic testing distributed systems dynamic optimization multicore security

Editors and affiliations

  • Axel Legay
    • 1
  • Saddek Bensalem
    • 2
  1. 1.Inria RennesRennesFrance
  2. 2.VERIMAG Centre ÉquationUniversité Joseph FourierGièresFrance

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-40787-1
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-40786-4
  • Online ISBN 978-3-642-40787-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349