88 citations · 339 across the 67 of their papers we have counts for
1 paper · 2 filters
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…