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.
Experiments for the paper "VAMOS: Middleware for Best-Effort Third-Party Monitoring" accepted to FASE 2023.
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.
eBPF-based monitor for detecting suspicious activity during Docker image builds
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."