67 citations · 98 across the 6 of their papers we have counts for
1 paper · 1 filter
Masaki Waga, Takumi Akazaki, Ichiro Hasuo
The timed pattern matching problem is formulated by Ulus et al. and has been actively studied since, with its evident application in monitoring real-time systems. The problem takes…