Download the Free Fishpond App!
Download on the App Store

Android App on Google play
Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering)

Already own it?

Sell Yours
Home » Books » Computers » Programming » General

Runtime Verification

8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering)

By Martin Leucker (Volume editor)

Elsewhere $151.95 $77.16   Save $74.79 (49%)
Free shipping Australia wide
Condition: New
Ships within: 4-8 days
New or Used: 122 copies from $77.16
Order now for Christmas delivery
Rating:
 
Register or sign-in to rate and get recommendations.
Format: Paperback, 189 pages, 2008 Edition
Other Information: biography
Published In: Germany, 23 October 2008

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

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.

EAN: 9783540892465
ISBN: 354089246X
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Dimensions: 23.37 x 15.49 x 2.03 centimetres (0.31 kg)
Age Range: 15+ years
Tell a friend

Their Email:

Sell Yours

Already own this item?
Sell Yours and earn some cash. It's fast and free to list! (Learn More.)

Review this Product

BAD GOOD
 

Webmasters, Bloggers & Website Owners

You can earn a 5% commission by selling Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering) on your website. It's easy to get started - we will give you example code. After you're set-up, your website can earn you money while you work, play or even sleep!

 

Authors/Publishers

Are you the Author/Publisher? Improve sales by submitting additional information on this title.