Runtime Verification

Building Dependable Concurrent Systems through Probabilistic Inference, Predictive Monitoring and Self-Adaptation.- Some Thoughts on Runtime Verification.- Why Tags Could be It.- First International Summer School on Runtime Verifications- Third International Competition on Runtime Verification.- Runtime Verification for HyperLTL.- Runtime Verification at Work: A Startup Perspective.- When RV Meets CEP.- Frama-C, a Collaborative Framework for C Code Verification.- Using Genetic Programming for Software Reliability.- Predicting Space Requirements for a Stream Monitor Specification Language.- A Stream-based Specification Language for Network Monitoring.- On the Complexity of Monitoring Orchids Signatures.- Input Attribution for Statistical Model Checking using Logistic Regression.- Quantitative Monitoring of STL with Edit Distance.- Extended Code Coverage for AspectJ-based Runtime Verification Tools.- Nfer - A Logic and Infrastructure for Inferring Event Stream Properties.- Accelerated Runtime Verification of LTL Specifications with Counting Semantics.- Non-Intrusive Runtime Monitoring Through Power Consumption: A Signals and System Analysis Approach to Reconstruct the Trace.- An Automata-based Approach to Evolving Privacy Policies for Social Networks.- TrackOS: A Security-Aware Real-Time Operating System: Leveraging DTrace for Runtime Verification.- Finite-Trace Linear Temporal Logic: Coinductive Completeness.- Wireless Protocol Validation Under Uncertainty.- Dynamic Determinacy Race Detection for Task Parallelism with Futures.- Runtime monitoring for concurrent systems.- Decision-Theoretic Monitoring of Cyber-Physical Systems.- Precision, Recall, and Sensitivity of Monitoring Partially Synchronous Distributed Systems.- Falsification of Conditional Safety Properties for Cyber-Physical Systems with Gaussian Process Regression.- Reactive Property Monitoring of Hybrid Systems with Aggregation.- Integration of Runtime Verification into Metamodeling for Simulation and Code Generation.- Applying Runtime Monitoring for Automotive Electronic Development.- A Monitoring Tool for a Branching-Time Logic.- SMEDL: Combining Synchronous and Asynchronous Monitoring.- Runtime Visualization and Verification in JIVE.- An Overview of MarQ.- Runtime Analysis with R2U2: A Tool Exhibition Report.