Generator of runtime monitors for flight and robotics applications.
The runtime monitoring tool for smart contracts business logic.
A benchmark generator for Metric Temporal Logic (MTL) monitoring tools
The main VAMOS repository
A runtime monitoring tool that produces explanations as verdicts
Explanator2 is an online monitor that produces verdicts in the form of explanations for Metric Temporal Logic formulas.
A state machine-based framework for monitoring and controlling LLM agent actions
Bachelor Thesis - A real-time, flexible logging and monitoring infrastructure for MonPoly
Monitoring hyperproperties with Multi-trace prefix transducers
A Runtime Verification toolchain that uses a CSP model as its oracle.
Experiments for the paper "VAMOS: Middleware for Best-Effort Third-Party Monitoring" accepted to FASE 2023.
eBPF-based monitor for detecting suspicious activity during Docker image builds
DDOM: Data Driven Online Monitoring framework for monitoring human detection models. The repo is a ROS Package.
Add a description, image, and links to the runtime-monitoring topic page so that developers can more easily learn about it.
To associate your repository with the runtime-monitoring topic, visit your repo's landing page and select "manage topics."