Model Checking Real-Time Systems
From MaRDI portal
Recommendations
- Symbolic model checking for real-time systems
- Model-checking in dense real-time
- Model checking real-time systems within unified approach of timed interval temporal logic
- Correctness of efficient real-time model checking
- Comparing model checking and logical reasoning for real-time systems
- scientific article; zbMATH DE number 176728
- Model Checking Prioritized Timed Systems
- On Expressiveness and Complexity in Real-Time Model Checking
Cites work
- A faster algorithm for solving one-clock priced timed games
- A partial order semantics approach to the clock explosion problem of timed automata
- A really temporal logic
- A theory of timed automata
- Algebraic Methodology and Software Technology
- Almost Optimal Strategies in One Clock Priced Timed Games
- Alternating timed automata
- Analysis of timed systems using time-abstracting bisimulations
- Automata, Languages and Programming
- Automata, Languages and Programming
- Automatic Synthesis of Robust and Optimal Controllers – An Industrial Case Study
- Automatic verification of finite-state concurrent systems using temporal logic specifications
- Checking timed Büchi automata emptiness efficiently
- Checking timed Büchi automata emptiness on simulation graphs
- Computer Aided Verification
- CONCUR 2005 – Concurrency Theory
- Efficient model-checking of dense-time systems with time-convexity analysis
- Efficient verification of distributed real-time systems with broadcasting behaviors
- Event-clock automata: a determinizable class of timed automata
- Fast and Flexible Difference Constraint Propagation for DPLL(T)
- Fast Directed Model Checking Via Russian Doll Abstraction
- Formal methods and software engineering. 5th international conference on formal engineering methods, ICFEM 2003, Singapore, November 5--7, 2003. Proceedings
- Formal Modeling and Analysis of Timed Systems
- Formal Modeling and Analysis of Timed Systems
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Formal verification of multitasking applications based on timed automata model
- Foundations of Software Science and Computation Structures
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
- scientific article; zbMATH DE number 1701758 (Why is no real title available?)
- scientific article; zbMATH DE number 3709584 (Why is no real title available?)
- scientific article; zbMATH DE number 3716792 (Why is no real title available?)
- scientific article; zbMATH DE number 8771 (Why is no real title available?)
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- scientific article; zbMATH DE number 1303059 (Why is no real title available?)
- scientific article; zbMATH DE number 1304998 (Why is no real title available?)
- scientific article; zbMATH DE number 1337733 (Why is no real title available?)
- scientific article; zbMATH DE number 1361136 (Why is no real title available?)
- scientific article; zbMATH DE number 1956585 (Why is no real title available?)
- scientific article; zbMATH DE number 1956587 (Why is no real title available?)
- scientific article; zbMATH DE number 1962849 (Why is no real title available?)
- scientific article; zbMATH DE number 2017346 (Why is no real title available?)
- scientific article; zbMATH DE number 2080044 (Why is no real title available?)
- scientific article; zbMATH DE number 2080067 (Why is no real title available?)
- scientific article; zbMATH DE number 2080198 (Why is no real title available?)
- scientific article; zbMATH DE number 1487476 (Why is no real title available?)
- scientific article; zbMATH DE number 1507210 (Why is no real title available?)
- scientific article; zbMATH DE number 1759608 (Why is no real title available?)
- scientific article; zbMATH DE number 1796155 (Why is no real title available?)
- scientific article; zbMATH DE number 1796156 (Why is no real title available?)
- scientific article; zbMATH DE number 1794360 (Why is no real title available?)
- scientific article; zbMATH DE number 1794367 (Why is no real title available?)
- scientific article; zbMATH DE number 4118343 (Why is no real title available?)
- scientific article; zbMATH DE number 2086509 (Why is no real title available?)
- scientific article; zbMATH DE number 2102717 (Why is no real title available?)
- scientific article; zbMATH DE number 1400049 (Why is no real title available?)
- scientific article; zbMATH DE number 1400094 (Why is no real title available?)
- scientific article; zbMATH DE number 1424030 (Why is no real title available?)
- scientific article; zbMATH DE number 1444359 (Why is no real title available?)
- Hybrid Systems: Computation and Control
- Improved undecidability results on weighted timed automata
- Inferring Min and Max Invariants Using Max-Plus Polyhedra
- Infinite Runs in Weighted Timed Automata with Energy Constraints
- Kronos: A verification tool for real-time systems
- Lectures on Concurrency and Petri Nets
- Linear parametric model checking of timed automata
- Minimum-Time Reachability in Timed Games
- Model Checking One-clock Priced Timed Automata
- Model-checking in dense real-time
- Models and formal verification of multiprocessor system-on-chips
- Nash equilibria in concurrent priced games
- On Interleaving in Timed Automata
- On the decidability and complexity of Metric Temporal Logic over finite words
- On the expressiveness of TPTL and MTL
- On the power of non-observable actions in timed automata
- On the synthesis of discrete controllers for timed systems
- Optimal reachability for multi-priced timed automata
- Parametric real-time reasoning
- PLC-automata: A new class of implementable real-time automata
- Real-time logics: Complexity and expressiveness
- Robust safety of timed automata
- Robustness in timed automata
- Schedulability analysis of fixed-priority systems using timed automata
- Schedulability of asynchronous real-time concurrent objects
- Scheduling with timed automata
- Semantics and Verification of a Language for Modelling Hardware Architectures
- Symbolic model checking for real-time systems
- The benefits of relaxing punctuality
- The element of surprise in timed games.
- The expressive power of clocks
- Time-Bounded Verification
- Timed automata and additive clock constraints
- Timed automata and recognizability
- Timed automata with observers under energy constraints
- Timed Concurrent Game Structures
- Timed Control with Observation Based and Stuttering Invariant Strategies
- Timed tree automata with an application to temporal logic.
- To store or not to store.
- Tools and Algorithms for the Construction and Analysis of Systems
- Tools and Algorithms for the Construction and Analysis of Systems
- Two-player reachability-price games on single-clock timed automata
- Undecidability Results for Timed Automata with Silent Transitions
- Updatable timed automata
- Uppaal in a nutshell
- Verification of asynchronous circuits using timed automata
- What good are digital clocks?
- What's decidable about hybrid automata?
- When Are Timed Automata Determinizable?
Cited in
(28)- Parameterized model checking of networks of timed automata with Boolean guards
- Dynamic causes for the violation of timed reachability properties
- Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates
- Parametric real-time model checking using splitting trees
- Model-based verification, optimization, synthesis and performance evaluation of real-time systems
- Timed CTL model checking in Real-Time Maude
- Temporal logic and fair discrete systems
- Binary decision diagrams
- Combining Model Checking and Deduction
- Graph Games and Reactive Synthesis
- Verification, performance analysis and controller synthesis for real-time systems
- On Expressiveness and Complexity in Real-Time Model Checking
- A survey of timed automata for the development of real-time systems
- scientific article; zbMATH DE number 1507209 (Why is no real title available?)
- scientific article; zbMATH DE number 2102690 (Why is no real title available?)
- An introduction to timed automata
- Model-checking timed temporal logics
- A Survey on Analog Models of Computation
- Probabilistic timed automata with one clock and initialised clock-dependent probabilities
- A model for industrial real-time systems
- Model checking real-time systems within unified approach of timed interval temporal logic
- Real-Time Model Checking on Secondary Storage
- The dynamic checking of complex real time system
- scientific article; zbMATH DE number 5181779 (Why is no real title available?)
- Automated repair for timed systems
- Automata with timers
- Spotlight abstraction in model checking real-time task schedulability
- Model checking MASL specification of distributed real-time systems
This page was built for publication: Model Checking Real-Time Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3176387)
