Timed pattern matching

DOI10.1007/978-3-319-10512-3_16zbMATH Open1419.68221OpenAlexW6669264MaRDI QIDQ5500566FDOQ5500566

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

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

Mathematics Subject Classification ID

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

Cited In (8)

• On the complexity of timed pattern matching
• Asynchronous Pattern Matching
• Almost event-rate independent monitoring
• Monitoring timed properties (revisited)
• A survey of challenges for runtime verification from advanced application domains (beyond software)
• Offline and online monitoring of scattered uncertain logs using uncertain linear dynamical systems
• Pattern Matching and Parameter Identification for Parametric Timed Regular Expressions
• Title not available (Why is that?)

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)