Timed pattern matching

DOI10.1007/978-3-319-10512-3_16MaRDI QIDQ5500566zbMATH OpenOpenAlexFDO

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

Publication date 6 August 2015

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-10512-3_16

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Algorithms on strings (68W32)

Recommendations

• Online timed pattern matching using derivatives
• Online timed pattern matching using automata
• Timed regular expressions
• scientific article; zbMATH DE number 2040946
• On the quantitative semantics of regular expressions over real-valued signals

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 timed pattern matching using derivatives
• scientific article; zbMATH DE number 2040946 (Why is no real title available?)
• A Boyer-Moore type algorithm for timed pattern matching
• Asynchronous Pattern Matching
• Pattern Matching and Parameter Identification for Parametric Timed Regular Expressions
• Online monitoring of metric temporal logic using sequential networks
• Estimating event probabilities via signal temporal logic and first occurrence distributions
• Temporal behavior trees: robustness and segmentation
• Efficient monitoring of timed properties
• On the complexity of timed pattern matching

This page was built for publication: Timed pattern matching

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