E-grāmata: Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings

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.