Login / Signup
Montre: A Tool for Monitoring Timed Regular Expressions.
Dogan Ulus
Published in:
CAV (1) (2017)
Keyphrases
</>
regular expressions
pattern matching
finite state machines
xml schema
query language
finite automata
regular languages
semistructured data
petri net
matching algorithm
frequent sequences
tree automata
regular path queries
deterministic finite automata
query evaluation
bit parallel