Timed regular expressions
From MaRDI portal
Recommendations
Cited in
(45)- A Kleene theorem for splitable signals
- An algebraic approach to data languages and timed languages
- A logical characterization of data languages.
- Duration-constrained regular expressions
- A study on shuffle, stopwatches and independently evolving clocks
- Almost event-rate independent monitoring
- A survey of challenges for runtime verification from advanced application domains (beyond software)
- The compound interest in relaxing punctuality
- Survey on mining signal temporal logic specifications
- Entropy of regular timed languages
- Timed substitutions for regular signal-event languages
- Categories of timed stochastic relations
- Interval duration logic: expressiveness and decidability
- Balanced timed regular expressions
- On equivalences for a class of timed regular expressions
- Timed definite clause -grammars
- Performance evaluation of schedulers in a probabilistic setting
- Volume and Entropy of Regular Timed Languages: Discretization Approach
- Multi-head monitoring of metric temporal logic
- On timed regular languages defined by inverse monoid morphisms
- Intersection of Regular Signal-Event (Timed) Languages
- MTL with Bounded Variability: Decidability and Complexity
- On Scheduling Policies for Streams of Structured Jobs
- Volume and entropy of regular timed languages: analytic approach
- A survey of timed automata for the development of real-time systems
- scientific article; zbMATH DE number 2040946 (Why is no real title available?)
- Language equations for timed alternating finite automata
- scientific article; zbMATH DE number 1500641 (Why is no real title available?)
- Chop expressions and discrete duration calculus
- scientific article; zbMATH DE number 1405646 (Why is no real title available?)
- A Survey on Analog Models of Computation
- A logic for monitoring dynamic networks of spatially-distributed cyber-physical systems
- On the Modeling of Sequential Reactive Systems by Means of Real Time Automata
- From Nondeterministic to Multi-Head Deterministic Finite-State Transducers
- Making Metric Temporal Logic Rational
- The Unmet Challenge of Timed Systems
- Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
- A Kleene-Schützenberger Theorem for Weighted Timed Automata
- Timed pattern matching
- The efficiency of identifying timed automata and the power of clocks
- CONCUR 2005 – Concurrency Theory
- Pattern Matching and Parameter Identification for Parametric Timed Regular Expressions
- A Kleene-Schützenberger theorem for weighted timed automata
- Active learning of deterministic timed automata with Myhill-Nerode style characterization
- On the complexity of timed pattern matching
This page was built for publication: Timed regular expressions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3196640)
