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

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.

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 security toolkit for prompt injection detection, sensitive data protection, runtime monitoring, and threat intelligence for LLM and agent workflows.

Runtime dependency behavior monitor for Node.js - detects software supply-chain abuse

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

Bachelor Thesis - A real-time, flexible logging and monitoring infrastructure for MonPoly

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

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

Runtime verification of hypernode logic and automata

Runtime monitoring experiments comparing Hoax and PyContract

Semantic differential protection layer for AI agents. The semantic analogue of differential protection (RCD) in electrical systems.

Monitoring hyperproperties with Multi-trace prefix transducers