Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers
Author:   Martin Leucker
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Edition:   2008 ed.
Volume:   5289
ISBN:  

9783540892465


Pages:   189
Publication Date:   23 October 2008
Format:   Paperback
Availability:   Out of stock   Availability explained
The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available.

Our Price $171.47 Quantity:  
Add to Cart

Share |

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


Add your own review!

Overview

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.

Full Product Details

Author:   Martin Leucker
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition:   2008 ed.
Volume:   5289
Dimensions:   Width: 15.50cm , Height: 1.00cm , Length: 23.50cm
Weight:   0.454kg
ISBN:  

9783540892465


ISBN 10:   354089246
Pages:   189
Publication Date:   23 October 2008
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Out of stock   Availability explained
The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available.

Table of Contents

A Smell of Orchids.- Runtime Certification.- Model-Based Run-Time Checking of Security Permissions Using Guarded Objects.- Synthesizing Monitors for Safety Properties: This Time with Calls and Returns.- Forays into Sequential Composition and Concatenation in Eagle.- Checking Traces for Regulatory Conformance.- Deadlocks: From Exhibiting to Healing.- A Scalable, Sound, Eventually-Complete Algorithm for Deadlock Immunity.- Property Patterns for Runtime Monitoring of Web Service Conversations.- Runtime Monitoring of Object Invariants with Guarantee.- A Lightweight Container Architecture for Runtime Verification.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

ARG20253

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now