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.