Timed regular expressions
From MaRDI portal
Publication:3196640
DOI10.1145/506147.506151zbMath1323.68335OpenAlexW1975120975MaRDI QIDQ3196640
Oded Maler, Eugene Asarin, Paul Caspi
Publication date: 30 October 2015
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/506147.506151
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (32)
On the complexity of timed pattern matching ⋮ Performance Evaluation of Schedulers in a Probabilistic Setting ⋮ On the Modeling of Sequential Reactive Systems by Means of Real Time Automata ⋮ Volume and Entropy of Regular Timed Languages: Discretization Approach ⋮ Timed substitutions for regular signal-event languages ⋮ A survey of timed automata for the development of real-time systems ⋮ An algebraic approach to data languages and timed languages ⋮ A study on shuffle, stopwatches and independently evolving clocks ⋮ A Kleene-Schützenberger theorem for weighted timed automata ⋮ Pattern Matching and Parameter Identification for Parametric Timed Regular Expressions ⋮ Unnamed Item ⋮ MTL with Bounded Variability: Decidability and Complexity ⋮ On Scheduling Policies for Streams of Structured Jobs ⋮ Multi-head Monitoring of Metric Temporal Logic ⋮ Unnamed Item ⋮ The Unmet Challenge of Timed Systems ⋮ Almost event-rate independent monitoring ⋮ A survey of challenges for runtime verification from advanced application domains (beyond software) ⋮ The efficiency of identifying timed automata and the power of clocks ⋮ The compound interest in relaxing punctuality ⋮ Checking Temporal Properties of Discrete, Timed and Continuous Behaviors ⋮ A Kleene-Schützenberger Theorem for Weighted Timed Automata ⋮ Categories of Timed Stochastic Relations ⋮ From Nondeterministic to Multi-Head Deterministic Finite-State Transducers ⋮ A Kleene theorem for splitable signals ⋮ Volume and Entropy of Regular Timed Languages: Analytic Approach ⋮ Interval Duration Logic ⋮ Making Metric Temporal Logic Rational ⋮ A logical characterization of data languages. ⋮ Entropy of regular timed languages ⋮ Survey on mining signal temporal logic specifications ⋮ A Survey on Analog Models of Computation
This page was built for publication: Timed regular expressions
