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

Runtime safety net for LLM agents. Detects token spirals, kills doomed tasks early, tells you exactly why. Rust core, Python SDK. pip install state-harness

Open-source reference implementation for EU AI Act Article 12 runtime evidence. Vaara gates every AI agent tool call against your policy and writes a SHA-256 hash-chained record, anchorable to an external RFC 3161 timestamp, that an auditor verifies offline. Runs entirely in your own environment. No SaaS, no telemetry. Apache 2.0.

A runtime monitoring tool that produces explanations as verdicts

The main VAMOS repository

Runtime dependency-behavior monitor for Node.js. Two engines: in-process telemetry + an out-of-process (strace) trust boundary that sees native egress & persistence. Defense-in-depth for npm supply-chain attacks — SARIF, GitHub Action, zero deps.

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.

Explanator2 is an online monitor that produces verdicts in the form of explanations for Metric Temporal Logic formulas.

AI security toolkit for prompt injection detection, sensitive data protection, runtime monitoring, and threat intelligence for LLM and agent workflows.

AI runtime control layer for enforcing spend, tool, and execution policy in production AI apps.

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.

DDOM: Data Driven Online Monitoring framework for monitoring human detection models. The repo is a ROS Package.

A Runtime Verification toolchain that uses a CSP model as its oracle.

SHReC: Self-Healing Runtime Control SIL prototype for autonomous vehicles. Implements runtime monitoring, safety envelopes, and transactional hot-swapping.

A Linux kernel module that proactively predicts application hangs by analyzing per-process scheduler latency in real time.

Runtime monitoring experiments comparing Hoax and PyContract

Experiments for the paper "VAMOS: Middleware for Best-Effort Third-Party Monitoring" accepted to FASE 2023.