A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic. - David A. Basin; Thibault Dardinier; Lukas Heimes; Srdan Krstic; Martin Raszyk; Joshua Schneider 001; Dmitriy Traytel (IJCAR (1), 2020)

Formalization of an Optimized Monitoring Algorithm for Metric First-Order Dynamic Logic with Aggregations. - Thibault Dardinier; Lukas Heimes; Martin Raszyk; Joshua Schneider 001; Dmitriy Traytel (Arch. Formal Proofs, 2020)

Formalization of an Algorithm for Greedily Computing Associative Aggregations on Sliding Windows. - Lukas Heimes; Dmitriy Traytel; Joshua Schneider 001 (Arch. Formal Proofs, 2020)

VeriMon: A Formally Verified Monitoring Tool. - David A. Basin; Thibault Dardinier; Nico Hauser; Lukas Heimes; Jonathan Julián Huerta y Munive; Nicolas Kaletsch; Srdan Krstic; Emanuele Marsicano; Martin Raszyk; Joshua Schneider 001; Dawit Legesse Tirore; Dmitriy Traytel; et al. (ICTAC, 2022)

A Formal Framework for End-to-End DNS Resolution. - Si Liu 003; Huayi Duan; Lukas Heimes; Marco Bearzi; Jodok Vieli; David A. Basin; Adrian Perrig (SIGCOMM, 2023)