2 citations · 2 across the 4 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.FL2022
Efficient Monitoring of Timed Properties
Thomas Møller Grosen, Sean Kauffman, Kim Guldstrand Larsen +1
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…
cs.LO2022
The Complexity of Evaluating nfer
Sean Kauffman, Martin Zimmermann
Nfer is a rule-based language for abstracting event streams into a hierarchy of intervals with data. Nfer has multiple implementations and has been applied in the analysis of space…