Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems
From MaRDI portal
Publication:2948229
DOI10.1007/978-3-642-39721-9_2zbMath1445.68132MaRDI QIDQ2948229
Uli Fahrenberg, Axel Legay, Kim Guldstrand Larsen
Publication date: 30 September 2015
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/hal-01087921/file/markto.pdf
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Model-checking precision agriculture logistics: the case of the differential harvest, Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Reachability analysis for timed automata using max-plus algebra
- Constraint-based analysis of concurrent probabilistic hybrid systems: an application to networked automation systems
- The algorithmic analysis of hybrid systems
- Minimum and maximum delay problems in real-time systems
- Improved undecidability results on weighted timed automata
- A characterization of the minimum cycle mean in a digraph
- A theory of timed automata
- Symbolic model checking for real-time systems
- Hybrid systems: computation and control. 4th international workshop, HSCC 2001, Rome, Italy, March 28--30, 2001. Proceedings
- Uppaal in a nutshell
- 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.
- Optimal reachability for multi-priced timed automata
- Formal modeling and analysis of timed systems. Third international conference, FORMATS 2005, Uppsala, Sweden, September 26--28, 2005. Proceedings
- Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic
- Generalized Mean-payoff and Energy Games
- Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems
- Timed automata with observers under energy constraints
- Efficient CTMC Model Checking of Linear Real-Time Objectives
- On the Interval-Bound Problem for Weighted Timed Automata
- Energy Games in Multiweighted Automata
- Statistical Model Checking for Networks of Priced Timed Automata
- Verification, Performance Analysis and Controller Synthesis for Real-Time Systems
- Timed Control with Observation Based and Stuttering Invariant Strategies
- Inferring Min and Max Invariants Using Max-Plus Polyhedra
- Semantics and Verification of a Language for Modelling Hardware Architectures
- Infinite Runs in Weighted Timed Automata with Energy Constraints
- Energy Parity Games
- On the synthesis of discrete controllers for timed systems
- Discount-Optimal Infinite Runs in Priced Timed Automata
- Hybrid Systems: Computation and Control
- Tools and Algorithms for the Construction and Analysis of Systems
- Tools and Algorithms for the Construction and Analysis of Systems
- Reactive Systems
- Computer Aided Verification
- Almost Optimal Strategies in One Clock Priced Timed Games
- Probabilistic and Topological Semantics for Timed Automata
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
- Automata, Languages and Programming
- Correct Hardware Design and Verification Methods
- Formal Methods for the Design of Real-Time Systems
- Foundations of Software Science and Computational Structures
- Lectures on Concurrency and Petri Nets
- CONCUR 2005 – Concurrency Theory
- Formal Modeling and Analysis of Timed Systems
- Formal Modeling and Analysis of Timed Systems
- Computer Aided Verification
- Verification, Model Checking, and Abstract Interpretation
- Formal design and analysis of a gear controller
