Runtime Verification

Randomized First-Order Monitoring With Hashing.-Automated Surgical Procedure Assistance Framework using Deep Learning and Formal Runtime Monitoring.-Relaxing safety for metric first-order temporal logic via dynamic free variables.-Rule-based Runtime Mitigation against Poison Attacks on Neural Networks.-Optimizing Prestate Copies in Runtime Verification of Function Postconditions.-A Barrier Certificate-based Simplex Architecture with Application to Microgrids.-Optimal Finite-State Monitoring of Partial Traces.-Tainting in Smart Contracts: Combining Static and Runtime Verification.-Pace Transaction Monitoring of Smart Contracts.-Anticipatory Recurrent Monitoring with Uncertainty and Assumptions.-Abstract Monitors for Quantitative Specifications.-Organization Runtime Verification of Kotlin Coroutines.-A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification.-Pace Towards Specificationless Monitoring of ProvenanceEmitting Systems.-A Python Library for Trace Analysis.-Lock Contention Classification for Java Intrinsic Locks.-TestSelector: Automatic Test Suite Selection for Student Projects.-Falcone Runtime verification for FMI-based co-simulation.-- An Ecosystem For Runtime Verification.-Real-time Visualization of Stream-based Monitoring Data.-Automating numerical parameters along the evolution of a nonlinear system.