Recommendations
- Better abstractions for timed automata
- Automatic Abstraction Refinement for Timed Automata
- Automatic abstraction algorithm for timed automata
- Trace abstraction refinement for timed automata
- scientific article; zbMATH DE number 1796133
- On timed models and full abstraction
- Lectures on Concurrency and Petri Nets
- Improvements for the Symbolic Verification of Timed Automata
- Complete abstractions of dynamical systems by timed automata
Cites work
- scientific article; zbMATH DE number 1956585 (Why is no real title available?)
- scientific article; zbMATH DE number 1512618 (Why is no real title available?)
- A quadratic-time DBM-based successor algorithm for checking timed automata
- A theory of timed automata
- Analysis of timed systems using time-abstracting bisimulations
- Automatic verification of real-time systems with discrete probability distributions.
- Better abstractions for timed automata
- Deciding Linear Inequalities by Computing Loop Residues
- Forward analysis of updatable timed automata
- Lectures on Concurrency and Petri Nets
- Model-checking timed temporal logics
- Symbolic optimal reachability in weighted timed automata
- Using non-convex approximations for efficient analysis of timed automata
- Verifying abstractions of timed systems
Cited in
(24)- Abstraction Strategies for Computing Travelling or Looping Durations in Networks of Timed Automata
- Spotlight abstraction in model checking real-time task schedulability
- Certifying emptiness of timed Büchi automata
- Reachability in timed automata with diagonal constraints
- Efficient convex zone merging in parametric timed automata
- Zone-based verification of timed automata: extrapolations, simulations and what next?
- Backward symbolic optimal reachability in weighted timed automata
- Difference bound constraint abstraction for timed automata reachability checking
- Trading plaintext-awareness for simulatability to achieve chosen ciphertext security
- Using non-convex approximations for efficient analysis of timed automata
- Reachability relations of timed pushdown automata
- Automatic Abstraction Refinement for Timed Automata
- scientific article; zbMATH DE number 7566065 (Why is no real title available?)
- Energy Büchi problems
- From non-punctuality to non-adjacency: a quest for decidability of timed temporal logics with quantifiers
- scientific article; zbMATH DE number 1956585 (Why is no real title available?)
- scientific article; zbMATH DE number 1796133 (Why is no real title available?)
- Better abstractions for timed automata
- Checking timed Büchi automata emptiness using LU-abstractions
- Abstractions for the local-time semantics of timed automata: a foundation for partial-order methods
- scientific article; zbMATH DE number 7559498 (Why is no real title available?)
- Verified certification of reachability checking for timed automata
- On Interleaving in Timed Automata
- Tools and Algorithms for the Construction and Analysis of Systems
This page was built for publication: Better abstractions for timed automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q342707)
