6 citations · 16 across the 21 of their papers we have counts for
Showing 2018Show all
3 papers · 1 filter
eess.SY2018
Offline timed pattern matching under uncertainty
Étienne André, Ichiro Hasuo, Masaki Waga
Given a log and a specification, timed pattern matching aims at exhibiting for which start and end dates a specification holds on that log. For example, "a given action is always f…
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.FL2018
Moore-Machine Filtering for Timed and Untimed Pattern Matching
Masaki Waga, Ichiro Hasuo
Monitoring is an important body of techniques in runtime verification of real-time, embedded, and cyber-physical systems. Mathematically, the monitoring problem can be formalized a…