Timed Pattern Matching

DOI10.1007/978-3-319-10512-3_16zbMath1419.68221OpenAlexW6669264MaRDI QIDQ5500566

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

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)

Related Items (6)

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

This page was built for publication: Timed Pattern Matching