Online timed pattern matching using derivatives

DOI10.1007/978-3-662-49674-9_47MaRDI QIDQ2272934zbMATH OpenOpenAlexFDO

Authors Dogan Ulus, Thomas Ferrère, Eugene Asarin, Oded Maler

Publication date 17 September 2019

Full work available at URL https://doi.org/10.1007/978-3-662-49674-9_47

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Online algorithms; streaming algorithms (68W27) Algorithms on strings (68W32)

Recommendations

• Timed pattern matching
• Online timed pattern matching using automata
• Efficient online timed pattern matching by automata-based skipping
• Online quantitative timed pattern matching with semiring-valued weighted automata
• A Boyer-Moore type algorithm for timed pattern matching

Cited in

(15)

• Online timed pattern matching using automata
• Efficient online timed pattern matching by automata-based skipping
• Almost event-rate independent monitoring
• A survey of challenges for runtime verification from advanced application domains (beyond software)
• Monitoring timed properties (revisited)
• Online quantitative timed pattern matching with semiring-valued weighted automata
• Extended Nested Dual System Groups, Revisited
• Almost event-rate independent monitoring of metric temporal logic
• scientific article; zbMATH DE number 1740051 (Why is no real title available?)
• A Boyer-Moore type algorithm for timed pattern matching
• Timed pattern matching
• Pattern Matching and Parameter Identification for Parametric Timed Regular Expressions
• Online monitoring of metric temporal logic using sequential networks
• Efficient monitoring of timed properties
• On the complexity of timed pattern matching

This page was built for publication: Online timed pattern matching using derivatives

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2272934)