21 citations · 35 across the 5 of their papers we have counts for
5 papers
POLIMON: Checking Temporal Properties over Out-of-order Streams at Runtime
Felix Klaedtke
This paper presents the monitoring tool POLIMON for checking system behavior at runtime against specifications expressed as formulas in the real-time logic MTL or its extension wit…
Runtime Verification over Out-of-order Streams
David Basin, Felix Klaedtke, Eugen Zalinescu
We present an approach for verifying systems at runtime. Our approach targets distributed systems whose components communicate with monitors over unreliable channels, where message…
Runtime Verification of Temporal Properties over Out-of-order Data Streams
David Basin, Felix Klaedtke, Eugen Zălinescu
We present a monitoring approach for verifying systems at runtime. Our approach targets systems whose components communicate with the monitors over unreliable channels, where messa…
The μ-Calculus Alternation Hierarchy Collapses over Structures with Restricted Connectivity
Julian Gutierrez, Felix Klaedtke, Martin Lange
It is known that the alternation hierarchy of least and greatest fixpoint operators in the mu-calculus is strict. However, the strictness of the alternation hierarchy does not nece…
Bounds on the Automata Size for Presburger Arithmetic
Felix Klaedtke
Automata provide a decision procedure for Presburger arithmetic. However, until now only crude lower and upper bounds were known on the sizes of the automata produced by this appro…