Decentralised Runtime Verification of Timed Regular Expressions.
Victor RoussanalyYliès FalconePublished in: TIME (2022)
Keyphrases
- regular expressions
- finite state machines
- pattern matching
- finite automata
- query language
- semistructured data
- colored petri nets
- petri net
- matching algorithm
- tree automata
- regular languages
- model checking
- xml schema
- query evaluation
- regular path queries
- deterministic finite automata
- graph databases
- context free grammars
- domain knowledge
- discrete event
- databases
- text mining