Model-based verification, optimization, synthesis and performance evaluation of real-time systems
From MaRDI portal
Recommendations
Cites work
- A characterization of the minimum cycle mean in a digraph
- A theory of timed automata
- Almost Optimal Strategies in One Clock Priced Timed Games
- Automata, Languages and Programming
- Computer Aided Verification
- CONCUR 2005 – Concurrency Theory
- Constraint-based analysis of concurrent probabilistic hybrid systems: an application to networked automation systems
- Correct Hardware Design and Verification Methods
- Discount-optimal infinite runs in priced timed automata
- Efficient CTMC Model Checking of Linear Real-Time Objectives
- Energy games in multiweighted automata
- Energy parity games
- Formal design and analysis of a gear controller
- Formal Methods for the Design of Real-Time Systems
- Formal Modeling and Analysis of Timed Systems
- Formal Modeling and Analysis of Timed Systems
- Formal modeling and analysis of timed systems. Third international conference, FORMATS 2005, Uppsala, Sweden, September 26--28, 2005. Proceedings
- Foundations of Software Science and Computational Structures
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
- Generalized mean-payoff and energy games
- Guided synthesis of control programs using UPPAAL
- scientific article; zbMATH DE number 1670779 (Why is no real title available?)
- scientific article; zbMATH DE number 1696495 (Why is no real title available?)
- scientific article; zbMATH DE number 176728 (Why is no real title available?)
- scientific article; zbMATH DE number 177824 (Why is no real title available?)
- scientific article; zbMATH DE number 1337733 (Why is no real title available?)
- scientific article; zbMATH DE number 1956642 (Why is no real title available?)
- scientific article; zbMATH DE number 1487476 (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 2102690 (Why is no real title available?)
- scientific article; zbMATH DE number 2102717 (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 3045589 (Why is no real title available?)
- Hybrid Systems: Computation and Control
- Hybrid systems: computation and control. 4th international workshop, HSCC 2001, Rome, Italy, March 28--30, 2001. Proceedings
- 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
- Labelled Markov processes.
- Lectures on Concurrency and Petri Nets
- Memory arbiter synthesis and verification for a radar memory interface card
- Minimum and maximum delay problems in real-time systems
- Model-based verification, optimization, synthesis and performance evaluation of real-time systems
- Monitor-based statistical model checking for weighted metric temporal logic
- On the Interval-Bound Problem for Weighted Timed Automata
- On the synthesis of discrete controllers for timed systems
- Optimal reachability for multi-priced timed automata
- Probabilistic and Topological Semantics for Timed Automata
- Reachability analysis for timed automata using max-plus algebra
- Reactive Systems
- Semantics and Verification of a Language for Modelling Hardware Architectures
- Statistical Model Checking for Networks of Priced Timed Automata
- Symbolic model checking for real-time systems
- The algorithmic analysis of hybrid systems
- Timed automata with observers under energy constraints
- Timed Control with Observation Based and Stuttering Invariant Strategies
- 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
- Tools and algorithms for the construction and analysis of systems. 10th international conference, TACAS 2004, held as part of the joint conferences on theory and practice of software, ETAPS 2004, Barcelona, Spain, March 29 -- April 2, 2004. Proceedings.
- Uppaal in a nutshell
- Using non-convex approximations for efficient analysis of timed automata
- Verification, Model Checking, and Abstract Interpretation
- Verification, performance analysis and controller synthesis for real-time systems
Cited in
(11)- How to verify a Safe real-time system: The application of model checking and timed automata to the production cell case study
- Continuous modeling of real-time and hybrid systems: From concepts to tools
- Model-checking precision agriculture logistics: the case of the differential harvest
- Formal verification of multitasking applications based on timed automata model
- Model-based verification, optimization, synthesis and performance evaluation of real-time systems
- Verification, performance analysis and controller synthesis for real-time systems
- OOPM/RT
- scientific article; zbMATH DE number 2176488 (Why is no real title available?)
- scientific article; zbMATH DE number 1832228 (Why is no real title available?)
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Formal Modeling and Analysis of Timed Systems
This page was built for publication: Model-based verification, optimization, synthesis and performance evaluation of real-time systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2948229)
