A stream-based runtime-verification framework for generating hard real-time C code.
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
A state machine-based framework for monitoring and controlling LLM agent actions
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
A Runtime Verification toolchain that uses a CSP model as its oracle.
eBPF-based monitor for detecting suspicious activity during Docker image builds
Runtime verification of hypernode logic and automata
Monitoring hyperproperties with Multi-trace prefix transducers
Runtime monitoring experiments comparing Hoax and PyContract
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."