16 citations · 35 across the 15 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2018
MONAA: A Tool for Timed Pattern Matching with Automata-Based Acceleration
Masaki Waga, Ichiro Hasuo, Kohei Suenaga
We present monaa, a monitoring tool over a real-time property specified by either a timed automaton or a timed regular expression. It implements a timed pattern matching algorithm…
cs.FL2017
Efficient Online Timed Pattern Matching by Automata-Based Skipping
Masaki Waga, Ichiro Hasuo, Kohei Suenaga
The timed pattern matching problem is an actively studied topic because of its relevance in monitoring of real-time systems. There one is given a log and a specification $\math…