Vor Ort
Merkzettel Warenkorb
  • Produktbild: Runtime Verification
  • Produktbild: Runtime Verification

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

Aus der Reihe Programming and Software Engineering

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

19.08.2013

Abbildungen

XVII, 113 illus., schwarz-weiss Illustrationen

Herausgeber

Axel Legay + weitere

Verlag

Springer Berlin

Seitenzahl

426

Maße (L/B/H)

23,5/15,5/2,4 cm

Gewicht

669 g

Auflage

2013

Sprache

Englisch

ISBN

978-3-642-40786-4

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

19.08.2013

Abbildungen

XVII, 113 illus., schwarz-weiss Illustrationen

Herausgeber

Verlag

Springer Berlin

Seitenzahl

426

Maße (L/B/H)

23,5/15,5/2,4 cm

Gewicht

669 g

Auflage

2013

Sprache

Englisch

ISBN

978-3-642-40786-4

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Runtime Verification
  • Produktbild: Runtime Verification
  • Invited Papers.- Executing Specifications using Synthesis and Constraint Solving.- Runtime Verification with Data.- Programming Without Borders.- Regular Papers.- Informative Types and Effects for Hybrid Migration Control.- Monitoring of Temporal First-order Properties with Aggregations.- From propositional to first-order monitoring.- Right-Universality of Visibly Pushdown Automata.- Distributed Finite-State Runtime Monitoring with Aggregated Events.- Synthesising Correct Concurrent Runtime Monitors (Extended Abstract).- Practical interruptible conversations: Distributed dynamic verification with session types and Python.- Runtime Verification with Particle Filtering.- An Optimized Memory Monitoring for Runtime Assertion Checking of C Programs.- Impartiality and Anticipation for Monitoring of Visibly Context-free Properties.- Accelerating Data Race Detection Utilizing On-chip Data-parallel Cores.- Efficient Model to Query and Visualize the System States Extracted from Trace Data.- Repair Abstractions for More Efficient Data Structure Repair.- To Run What No One Has Run Before: Executing an Intermediate Verification Language.- Optimizing Nop-shadows Typestate Analysis by Filtering Interferential Configurations.- A Causality Analysis Framework for Component-based Real-time Systems.- Reducing Monitoring Overhead by Integrating Event- and Time-triggered Techniques.- Short Papers.- A Scala DSL for Rete-based Runtime Verification.- A Late Treatment of C Precondition in Dynamic Symbolic Execution Testing Tools.- Towards a generic non-intrusive fault detection framework.- A Witnessing Compiler: A Proof of Concept.- Runtime Monitoring of Temporal Logic Properties in a Platform Game.- Tool Papers.- SMock | A Test Platform for Monitoring Tools.- SPY: Local Verification of Global Protocols.- Tutorials.- Instrumenting Android and Java Applications as Easy as abc.- On Signal Temporal Logic.- Runtime Verification and Refutation for Biological Systems.- A Lesson on Runtime Assertion Checking with Frama-C.- With Real-time Performance Analysis and Monitoring to Timing Predictable Use of Multi-core Architectures.- Dynamic Analysis and Debugging of Binary Code for Security Applications.