3 papers
cs.LO2019
Runtime Verification For Timed Event Streams With Partial Information
Martin Leucker, César Sánchez, Torben Scheffel +2
Runtime Verification (RV) studies how to analyze execution traces of a system under observation. Stream Runtime Verification (SRV) applies stream transformations to obtain informat…
cs.FL2018
TeSSLa: Temporal Stream-based Specification Language
Lukas Convent, Sebastian Hungerecker, Martin Leucker +3
Runtime verification is concerned with monitoring program traces. In particular, stream runtime verification (SRV) takes the program trace as input streams and incrementally derive…
cs.LO2017
Model-checking Counting Temporal Logics on Flat Structures
Normann Decker, Peter Habermehl, Martin Leucker +2
We study several extensions of linear-time and computation-tree temporal logics with quantifiers that allow for counting how often certain properties hold. For most of these extens…