MONAA: A Tool for Timed Pattern Matching with Automata-Based Acceleration
classification
💻 cs.FL
keywords
timedmonaaaccelerationautomata-basedmatchingmonitoringonlinepattern
read the original abstract
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 that combines 1) features suited for online monitoring, and 2) acceleration by automata-based skipping. Our experiments demonstrate monaa's performance advantage, especially in online usage.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.