A survey of timed automata for the development of real-time systems (Q394966): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+Q45
@@ Property / Mathematics Subject Classification ID: 68Q45 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q55
@@ Property / Mathematics Subject Classification ID: 68Q55 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+-02
@@ Property / Mathematics Subject Classification ID: 68-02 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6251045
@@ Property / zbMATH DE Number: 6251045 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+timed automata
@@ Property / zbMATH Keywords: timed automata / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+survey
@@ Property / zbMATH Keywords: survey / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+real-time systems
@@ Property / zbMATH Keywords: real-time systems / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+formal models
@@ Property / zbMATH Keywords: formal models / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+semantics
@@ Property / zbMATH Keywords: semantics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+timed regular languages
@@ Property / zbMATH Keywords: timed regular languages / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+decision problems
@@ Property / zbMATH Keywords: decision problems / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+variants
@@ Property / zbMATH Keywords: variants / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+implementability
@@ Property / zbMATH Keywords: implementability / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+tools
@@ Property / zbMATH Keywords: tools / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+UPPAAL TIGA
@@ Property / describes a project that uses: UPPAAL TIGA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Synthia
@@ Property / describes a project that uses: Synthia / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+IMITATOR
@@ Property / describes a project that uses: IMITATOR / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Kronos
@@ Property / describes a project that uses: Kronos / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Rabbit
@@ Property / describes a project that uses: Rabbit / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+IF-2.0
@@ Property / describes a project that uses: IF-2.0 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+McAiT
@@ Property / describes a project that uses: McAiT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CoVer
@@ Property / describes a project that uses: CoVer / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+REDLIB
@@ Property / describes a project that uses: REDLIB / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TREX
@@ Property / describes a project that uses: TREX / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TAXYS
@@ Property / describes a project that uses: TAXYS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HyTech
@@ Property / describes a project that uses: HyTech / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PRISM
@@ Property / describes a project that uses: PRISM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DREAM Tool
@@ Property / describes a project that uses: DREAM Tool / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Tempo
@@ Property / describes a project that uses: Tempo / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CMC
@@ Property / describes a project that uses: CMC / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.cosrev.2013.05.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2091661303
@@ Property / OpenAlex ID: W2091661303 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4038702
@@ Property / cites work: Q4038702 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4264103
@@ Property / cites work: Q4264103 / rank @@
+Normal rank
@@ Property / cites work @@
+Model-checking in dense real-time
@@ Property / cites work: Model-checking in dense real-time / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472228
@@ Property / cites work: Q4472228 / rank @@
+Normal rank
@@ Property / cites work @@
+Analysis of timed systems using time-abstracting bisimulations
+Normal rank
@@ Property / cites work @@
+Q3241581
@@ Property / cites work: Q3241581 / rank @@
+Normal rank
@@ Property / cites work @@
+Lectures on Concurrency and Petri Nets
@@ Property / cites work: Lectures on Concurrency and Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Checking timed Büchi automata emptiness efficiently
+Normal rank
@@ Property / cites work @@
+Checking timed Büchi automata emptiness on simulation graphs
+Normal rank
@@ Property / cites work @@
+Formal methods and software engineering. 5th international conference on formal engineering methods, ICFEM 2003, Singapore, November 5--7, 2003. Proceedings
+Normal rank
@@ Property / cites work @@
+Forward analysis of updatable timed automata
@@ Property / cites work: Forward analysis of updatable timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Modeling and Analysis of Timed Systems
@@ Property / cites work: Formal Modeling and Analysis of Timed Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Timed regular expressions
@@ Property / cites work: Timed regular expressions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4807830
@@ Property / cites work: Q4807830 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4452097
@@ Property / cites work: Q4452097 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3396582
@@ Property / cites work: Q3396582 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Methods for the Design of Real-Time Systems
+Normal rank
@@ Property / cites work @@
+Minimum and maximum delay problems in real-time systems
+Normal rank
@@ Property / cites work @@
+Time-abstracted bisimulation: Implicit specifications and decidability
+Normal rank
@@ Property / cites work @@
+Verifying abstractions of timed systems
@@ Property / cites work: Verifying abstractions of timed systems / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidable Problems About Timed Automata
@@ Property / cites work: Undecidable Problems About Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Folk theorems on the determinization and minimization of timed automata
+Normal rank
@@ Property / cites work @@
+Q4270062
@@ Property / cites work: Q4270062 / rank @@
+Normal rank
@@ Property / cites work @@
+Event-clock automata: a determinizable class of timed automata
+Normal rank
@@ Property / cites work @@
+Q4552456
@@ Property / cites work: Q4552456 / rank @@
+Normal rank
@@ Property / cites work @@
+Task automata: Schedulability, decidability and undecidability
+Normal rank
@@ Property / cites work @@
+Q4552463
@@ Property / cites work: Q4552463 / rank @@
+Normal rank
@@ Property / cites work @@
+On probabilistic timed automata.
@@ Property / cites work: On probabilistic timed automata. / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification of real-time systems with discrete probability distributions.
+Normal rank
@@ Property / cites work @@
+Pushdown timed automata: A binary reachability characterization and safety verification.
+Normal rank
@@ Property / cites work @@
+Updatable timed automata
@@ Property / cites work: Updatable timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic and Topological Semantics for Timed Automata
+Normal rank
@@ Property / cites work @@
+Q4514735
@@ Property / cites work: Q4514735 / rank @@
+Normal rank
@@ Property / cites work @@
+Timed automata and additive clock constraints
@@ Property / cites work: Timed automata and additive clock constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Q4953401
@@ Property / cites work: Q4953401 / rank @@
+Normal rank
@@ Property / cites work @@
+Parametric real-time reasoning
@@ Property / cites work: Parametric real-time reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769587
@@ Property / cites work: Q2769587 / rank @@
+Normal rank
@@ Property / cites work @@
+Timed Automata with Integer Resets: Language Inclusion and Expressiveness
+Normal rank
@@ Property / cites work @@
+Model checking weighted integer reset timed automata
+Normal rank
@@ Property / cites work @@
+Q4234084
@@ Property / cites work: Q4234084 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536599
@@ Property / cites work: Q4536599 / rank @@
+Normal rank
@@ Property / cites work @@
+Distributed Time-Asynchronous Automata
@@ Property / cites work: Distributed Time-Asynchronous Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Distributed Timed Automata with Independently Evolving Clocks
+Normal rank
@@ Property / cites work @@
+Interrupt Timed Automata
@@ Property / cites work: Interrupt Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769586
@@ Property / cites work: Q2769586 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal reachability for multi-priced timed automata
+Normal rank
@@ Property / cites work @@
+Concavely-Priced Timed Automata
@@ Property / cites work: Concavely-Priced Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Concavely-Priced Probabilistic Timed Automata
@@ Property / cites work: Concavely-Priced Probabilistic Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Timed P Automata
@@ Property / cites work: Timed P Automata / rank @@
+Normal rank
@@ Property / cites work @@
+FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Q4036557
@@ Property / cites work: Q4036557 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536598
@@ Property / cites work: Q4536598 / rank @@
+Normal rank
@@ Property / cites work @@
+Superposition-Based Analysis of First-Order Probabilistic Timed Automata
+Normal rank
@@ Property / cites work @@
+Communicating Timed Automata: The More Synchronous, the More Difficult to Verify
+Normal rank
@@ Property / cites work @@
+Modeling Long–Running Transactions with Communicating Hierarchical Timed Automata
+Normal rank
@@ Property / cites work @@
+Automatic Verification of Multi-queue Discrete Timed Automata
+Normal rank
@@ Property / cites work @@
+Verification in loosely synchronous queue-connected discrete timed automata.
+Normal rank
@@ Property / cites work @@
+Q4507819
@@ Property / cites work: Q4507819 / rank @@
+Normal rank
@@ Property / cites work @@
+FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Q4501664
@@ Property / cites work: Q4501664 / rank @@
+Normal rank
@@ Property / cites work @@
+On Continuous Timed Automata with Input-Determined Guards
+Normal rank
@@ Property / cites work @@
+Counter-Free Input-Determined Timed Automata
@@ Property / cites work: Counter-Free Input-Determined Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Event-Clock Visibly Pushdown Automata
@@ Property / cites work: Event-Clock Visibly Pushdown Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Past pushdown timed automata and safety verification.
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Timed Automata
@@ Property / cites work: Recursive Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Technology for Verification and Analysis
+Normal rank
@@ Property / cites work @@
+Timed automata with urgent transitions
@@ Property / cites work: Timed automata with urgent transitions / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating timed automata
@@ Property / cites work: Alternating timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Weak Alternating Timed Automata
@@ Property / cites work: Weak Alternating Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+On the synthesis of discrete controllers for timed systems
+Normal rank
@@ Property / cites work @@
+On the power of non-observable actions in timed automata
+Normal rank
@@ Property / cites work @@
+Removing ε-transitions in timed automata
@@ Property / cites work: Removing ε-transitions in timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Removing All Silent Transitions from Timed Automata
+Normal rank
@@ Property / cites work @@
+Decision problems for lower/upper bound parametric timed automata
+Normal rank
@@ Property / cites work @@
+Parametric temporal logic for “model measuring”
+Normal rank
@@ Property / cites work @@
+Real-Time Model-Checking: Parameters everywhere
@@ Property / cites work: Real-Time Model-Checking: Parameters everywhere / rank @@
+Normal rank
@@ Property / cites work @@
+Parametric timing analysis for real-time systems
@@ Property / cites work: Parametric timing analysis for real-time systems / rank @@
+Normal rank
@@ Property / cites work @@
+HyTech: A model checker for hybrid systems
@@ Property / cites work: HyTech: A model checker for hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Parametric Model Checking with VerICS
@@ Property / cites work: Parametric Model Checking with VerICS / rank @@
+Normal rank
@@ Property / cites work @@
+Q4551165
@@ Property / cites work: Q4551165 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5437180
@@ Property / cites work: Q5437180 / rank @@
+Normal rank
@@ Property / cites work @@
+Determinization and Expressiveness of Integer Reset Timed Automata with Silent Transitions
+Normal rank
@@ Property / cites work @@
+State equivalences for rectangular hybrid automata
+Normal rank
@@ Property / cites work @@
+Q5714448
@@ Property / cites work: Q5714448 / rank @@
+Normal rank
@@ Property / cites work @@
+Languages and Tools for Hybrid Systems Design
@@ Property / cites work: Languages and Tools for Hybrid Systems Design / rank @@
+Normal rank
@@ Property / cites work @@
+On the optimal reachability problem of weighted timed automata
+Normal rank
@@ Property / cites work @@
+Formal Methods for Components and Objects
@@ Property / cites work: Formal Methods for Components and Objects / rank @@
+Normal rank
@@ Property / cites work @@
+Q2920149
@@ Property / cites work: Q2920149 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
+Normal rank
@@ Property / cites work @@
+Model-Checking One-Clock Priced Timed Automata
@@ Property / cites work: Model-Checking One-Clock Priced Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Costs Are Expensive!
@@ Property / cites work: Costs Are Expensive! / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Q4472261
@@ Property / cites work: Q4472261 / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-processor Schedulability Analysis of Preemptive Real-Time Tasks with Variable Execution Times
+Normal rank
@@ Property / cites work @@
+Computing with membranes
@@ Property / cites work: Computing with membranes / rank @@
+Normal rank
@@ Property / cites work @@
+Membrane Computing
@@ Property / cites work: Membrane Computing / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic model checking for probabilistic timed automata
+Normal rank
@@ Property / cites work @@
+Statecharts: a visual formalism for complex systems
+Normal rank
@@ Property / cites work @@
+Design and verification of long-running transactions in a timed framework
+Normal rank
@@ Property / cites work @@
+Q2775864
@@ Property / cites work: Q2775864 / rank @@
+Normal rank
@@ Property / cites work @@
+On the power of bounded concurrency I
@@ Property / cites work: On the power of bounded concurrency I / rank @@
+Normal rank
@@ Property / cites work @@
+Q4934330
@@ Property / cites work: Q4934330 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2766656
@@ Property / cites work: Q2766656 / rank @@
+Normal rank
@@ Property / cites work @@
+A Logical Characterisation of Event Clock Automata
+Normal rank
@@ Property / cites work @@
+Visibly pushdown languages
@@ Property / cites work: Visibly pushdown languages / rank @@
+Normal rank
@@ Property / cites work @@
+Alternation
@@ Property / cites work: Alternation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938632
@@ Property / cites work: Q4938632 / rank @@
+Normal rank
@@ Property / cites work @@
+On the decidability and complexity of Metric Temporal Logic over finite words
+Normal rank
@@ Property / cites work @@
+Complexity of some problems in Petri nets
@@ Property / cites work: Complexity of some problems in Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Computer aided verification. 19th international conference, CAV 2007, Berlin, Germany, July 3--7, 2007. Proceedings.
+Normal rank
@@ Property / cites work @@
+Minimum-Time Reachability in Timed Games
@@ Property / cites work: Minimum-Time Reachability in Timed Games / rank @@
+Normal rank
@@ Property / cites work @@
+Discrete-time control for rectangular hybrid automata
+Normal rank
@@ Property / cites work @@
+Reachability-Time Games on Timed Automata
@@ Property / cites work: Reachability-Time Games on Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736580
@@ Property / cites work: Q4736580 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic Robustness Analysis of Timed Automata
@@ Property / cites work: Symbolic Robustness Analysis of Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamical Properties of Timed Automata Revisited
@@ Property / cites work: Dynamical Properties of Timed Automata Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Robust Model-Checking of Linear-Time Properties in Timed Automata
+Normal rank
@@ Property / cites work @@
+Quantitative Robustness Analysis of Flat Timed Automata
+Normal rank
@@ Property / cites work @@
+Robust Specification of Real Time Components
@@ Property / cites work: Robust Specification of Real Time Components / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Modeling and Analysis of Timed Systems
@@ Property / cites work: Formal Modeling and Analysis of Timed Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Sampled Semantics of Timed Automata
@@ Property / cites work: Sampled Semantics of Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Timed Automata Can Always Be Made Implementable
@@ Property / cites work: Timed Automata Can Always Be Made Implementable / rank @@
+Normal rank
@@ Property / cites work @@
+Q4251920
@@ Property / cites work: Q4251920 / rank @@
+Normal rank
@@ Property / cites work @@
+FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Q4493880
@@ Property / cites work: Q4493880 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4551173
@@ Property / cites work: Q4551173 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Methods for the Design of Real-Time Systems
+Normal rank
@@ Property / cites work @@
+Validation and verification of web services choreographies by using timed automata
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q2848144
@@ Property / cites work: Q2848144 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4939617
@@ Property / cites work: Q4939617 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:394966