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
A runtime monitoring tool that produces explanations as verdicts
The main VAMOS repository
Runtime evidence layer for AI Act compliance. Intercepts agent tool calls, scores each with a conformal risk interval, writes a hash-chained audit record. Open source. Python.
Explanator2 is an online monitor that produces verdicts in the form of explanations for Metric Temporal Logic formulas.
TestPilot is a production-grade Chrome extension that captures crashes, console errors, network failures, security risks, slow APIs, retry storms, and broken resources before users report them. Built with Preact + TypeScript + Vite.
AI security toolkit for prompt injection detection, sensitive data protection, runtime monitoring, and threat intelligence for LLM and agent workflows.
Deterministic runtime monitoring for safety-critical ML. Hash-chained audit ledger, drift detection (TV/JSD/PSI), COE policy enforcement, and tamper-evident logging. 253 tests passing.
AI runtime control layer for enforcing spend, tool, and execution policy in production AI apps.
The strace for npm packages. Runtime dependency behavior monitor for Node.js — catches supply-chain attacks that static analysis misses. Zero dependencies. SARIF output. GitHub Action. CI/CD pipeline guard.
DDOM: Data Driven Online Monitoring framework for monitoring human detection models. The repo is a ROS Package.
eBPF-based monitor for detecting suspicious activity during Docker image builds
Bachelor Thesis - A real-time, flexible logging and monitoring infrastructure for MonPoly
SHReC: Self-Healing Runtime Control SIL prototype for autonomous vehicles. Implements runtime monitoring, safety envelopes, and transactional hot-swapping.
Experiments for the paper "VAMOS: Middleware for Best-Effort Third-Party Monitoring" accepted to FASE 2023.
A Runtime Verification toolchain that uses a CSP model as its oracle.
Go implementation of RTLola, a stream-based specification language for runtime monitoring
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."