Event-clock automata: a determinizable class of timed automata
From MaRDI portal
Recommendations
- Event clock automata: from theory to practice
- A Logical Characterisation of Event Clock Automata
- scientific article; zbMATH DE number 1390065
- Event-clock nested automata
- On the determinization of event-clock input-driven pushdown automata
- Event-Clock Visibly Pushdown Automata
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
- Distributed event clock automata (extended abstract)
- scientific article; zbMATH DE number 7559498
- Publication:4939602
Cites work
- scientific article; zbMATH DE number 3664335 (Why is no real title available?)
- scientific article; zbMATH DE number 52331 (Why is no real title available?)
- scientific article; zbMATH DE number 1256652 (Why is no real title available?)
- A theory of timed automata
- Model-checking in dense real-time
- Symbolic model checking for real-time systems
- Temporal proof methodologies for timed transition systems
- The benefits of relaxing punctuality
- The complementation problem for Büchi automata with applications to temporal logic
- Timing verification by successive approximation
- Using mappings to prove timing properties
Cited in
(63)- Formal language properties of hybrid systems with strong resets
- Active learning of one-clock timed automata using constraint solving
- A unified model for real-time systems: symbolic techniques and implementation
- Learning assumptions for compositional verification of timed automata
- Repairing timed automata clock guards through abstraction and testing
- History-deterministic timed automata
- Simulations for event-clock automata
- Equivalence checking and intersection of deterministic timed finite state machines
- Inference of Event-Recording Automata Using Timed Decision Trees
- Reachability relations of timed pushdown automata
- Linear-time temporal logic with event freezing functions
- Timed bounded verification of inclusion based on timed bounded discretized language
- Event-clock nested automata
- Checking conformance for time-constrained scenario-based specifications
- Timed Automata with Integer Resets: Language Inclusion and Expressiveness
- Methodologies for specification of real-time systems using timed I/O automata
- Distributed event clock automata (extended abstract)
- A survey of timed automata for the development of real-time systems
- \textsf{IMITATOR} 3: synthesis of timing parameters beyond decidability
- Interval duration logic: expressiveness and decidability
- Complexity issues for timeline-based planning over dense time under future and minimal semantics
- Realizability of real-time logics
- Model checking weighted integer reset timed automata
- Model Checking Real-Time Systems
- Event clock automata: from theory to practice
- scientific article; zbMATH DE number 7559498 (Why is no real title available?)
- The efficiency of identifying timed automata and the power of clocks
- Event-Clock Visibly Pushdown Automata
- Event clock message passing automata: a logical characterization and an emptiness checking algorithm
- Predictability of event occurrences in timed systems
- One-Clock Deterministic Timed Automata Are Efficiently Identifiable in the Limit
- Context-free timed formalisms: robust automata and linear temporal logics
- Determinization and Expressiveness of Integer Reset Timed Automata with Silent Transitions
- On the determinization of event-clock input-driven pushdown automata
- Time-Bounded Verification
- Inferring Symbolic Automata
- Timed CSP = closed timed automata
- A perfect class of context-sensitive timed languages
- Compositional design of stochastic timed automata
- Updatable timed automata
- Monotonic hybrid systems
- A Logical Characterisation of Event Clock Automata
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
- scientific article; zbMATH DE number 1696511 (Why is no real title available?)
- scientific article; zbMATH DE number 7447746 (Why is no real title available?)
- Weighted Timed MSO Logics
- Memory event clocks
- scientific article; zbMATH DE number 7566065 (Why is no real title available?)
- scientific article; zbMATH DE number 1390065 (Why is no real title available?)
- Modal event-clock specifications for timed component-based design
- Learning one-clock timed automata
- A game approach to determinize timed automata
- Learning of event-recording automata
- Enzymatic competition: Modeling and verification with timed hybrid Petri nets
- Weighted register automata and weighted logic on data words
- On regions and zones for event-clock automata
- Weighted register automata and weighted logic on data words
- The language preservation problem is undecidable for parametric event-recording automata
- Conformance testing for real-time systems
- Active learning of timed automata with unobservable resets
- Automata and Logics for Timed Message Sequence Charts
- A logical characterization of data languages.
- SMT-based satisfiability of first-order LTL with event freezing functions and metric operators
This page was built for publication: Event-clock automata: a determinizable class of timed automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1274452)
