Parametric timing analysis for real-time systems
From MaRDI portal
(Redirected from Publication:675050)
Recommendations
- Timing parameter characterization of real-time systems
- Specification and timing analysis of real-time systems
- Analyzing real-time systems: Theory and tools
- Toward parametric timed interfaces for real-time components
- scientific article; zbMATH DE number 1001709
- scientific article; zbMATH DE number 1041071
Cited in
(29)- Decision problems for lower/upper bound parametric timed automata
- A TIMED FAILURE EQUIVALENCE PRESERVING ABSTRACTION FOR PARAMETRIC TIME-INTERVAL AUTOMATA
- Counter automata for parameterised timing analysis of box-based systems
- A survey of timed automata for the development of real-time systems
- scientific article; zbMATH DE number 1832228 (Why is no real title available?)
- \textsf{IMITATOR} 3: synthesis of timing parameters beyond decidability
- A General Framework for Parameterized Schedulability Bound Analysis of Real-Time Systems
- Parametric dispatching of hard real-time tasks
- scientific article; zbMATH DE number 1670792 (Why is no real title available?)
- Quantitative timed simulation functions and refinement metrics for real-time systems
- Parametric multisingular hybrid Petri nets: formal definitions and analysis techniques
- Timing parameter characterization of real-time systems
- Parameter synthesis for hierarchical concurrent real-time systems
- Shrinking of time Petri nets
- Toward parametric timed interfaces for real-time components
- A Graph-Theoretic Approach for Timing Analysis and its Implementation
- Cutting-edge timing analysis techniques
- Parametric schedulability analysis of a launcher flight control system under reactivity constraints
- Parametric approach to the specification and analysis of real-time scheduling based on ACSR-VP
- Parameter synthesis for probabilistic timed automata using stochastic game abstractions
- scientific article; zbMATH DE number 1696512 (Why is no real title available?)
- Reachability solution characterization of parametric real-time systems
- Language emptiness of continuous-time parametric timed automata
- An inverse method for parametric timed automata
- Parametric metric interval temporal logic
- Sensitivity analysis of complex embedded real-time systems
- Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph
- scientific article; zbMATH DE number 7566044 (Why is no real title available?)
- INDUCTIVE COMPOSITION OF NUMBERS WITH MAXIMUM, MINIMUM, AND ADDITION: A New Theory for Program Execution-Time Analysis
This page was built for publication: Parametric timing analysis for real-time systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q675050)
