4 papers
Time for Timed Monitorability
Thomas M. Grosen, Sean Kauffman, Kim G. Larsen +1
Monitoring is an important part of the verification toolbox, in particular in situations where exhaustive verification using, e.g., model-checking is infeasible. The goal of online…
Efficient Monitoring of Timed Properties
Thomas Møller Grosen, Thomas Møller Grosen, Sean Kauffman +2
In this paper we study monitoring of real-time systems with respect to properties given by a pair of Timed Büchi Automata, one for the property and one for its complement. This inc…
Exploiting Assumptions for Effective Monitoring of Real-Time Properties under Partial Observability
Alessandro Cimatti, Thomas M. Grosen, Kim G. Larsen +2
Runtime verification of temporal properties is essential for ensuring the correctness and reliability of real-time systems, particularly in cyber-physical systems. A significant ch…
Efficient Runtime Verification of Real-Time Systems under Parametric Communication Delays
Martin Fränzle, Thomas M. Grosen, Kim G. Larsen +1
Timed Büchi automata provide a very expressive formalism for expressing requirements of real-time systems. Online monitoring and active testing of embedded real-time systems can t…