Programming and Software Engineering

Runtime Verification

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

Editors: Leucker, Martin (Ed.)

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-540-89247-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-540-89246-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.

Table of contents (11 chapters)

  • A Smell of Orchids

    Goubault-Larrecq, Jean (et al.)

    Pages 1-20

  • Runtime Certification

    Rushby, John

    Pages 21-35

  • Model-Based Run-Time Checking of Security Permissions Using Guarded Objects

    Jürjens, Jan

    Pages 36-50

  • Synthesizing Monitors for Safety Properties: This Time with Calls and Returns

    Roşu, Grigore (et al.)

    Pages 51-68

  • Forays into Sequential Composition and Concatenation in Eagle

    Baran, Joachim (et al.)

    Pages 69-85

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-540-89247-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-540-89246-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Runtime Verification
Book Subtitle
8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers
Editors
  • Martin Leucker
Series Title
Programming and Software Engineering
Series Volume
5289
Copyright
2008
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
The Editor(s) (if applicable) and The Author(s) 2018
eBook ISBN
978-3-540-89247-2
DOI
10.1007/978-3-540-89247-2
Softcover ISBN
978-3-540-89246-5
Edition Number
1
Number of Pages
VII, 189
Topics