Online Timed Pattern Matching Using Automata.

Alexey Bakhirkin Thomas Ferrère Dejan Nickovic Oded Maler Eugene Asarin

Published in: FORMATS (2018)

Keyphrases

pattern matching
regular expressions
timed automata
finite state machines
pattern matching algorithm
tree matching
string matching
matching process
petri net
boyer moore
matching strategy
suffix tree
cost model
data model
hamming distance
model checking
bit parallel