1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.FL2025
Hyper pattern matching
Masaki Waga, Étienne André
In runtime verification, pattern matching, which searches for occurrences of a specific pattern within a word, provides more information than a simple violation detection of the mo…
eess.SY2024
Tuning Trains Speed in Railway Scheduling
Étienne André
Railway scheduling consists in ensuring that a set of trains evolve in a shared rail network without collisions, while meeting schedule constraints. This problem is notoriously dif…