88 citations · 339 across the 67 of their papers we have counts for
1 paper · 2 filters
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 w and a specification $\math…