Towards Performance Prediction of Compositional Models in Industrial GALS Designs
From MaRDI portal
Publication:3636862
DOI10.1007/978-3-642-02658-4_18zbMath1242.68005MaRDI QIDQ3636862
Holger Hermanns, Nicolas Coste, Etienne Lantreibecq, Wendelin Serwe
Publication date: 30 June 2009
Published in: Computer Aided Verification (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/inria-00381657/file/final_version.pdf
60J20: Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.)
68M20: Performance evaluation, queueing, and scheduling in the context of computer systems
68M07: Mathematical problems of computer architecture
Related Items
The linear time-branching time spectrum of equivalences for stochastic systems with non-determinism, Equivalence checking 40 years after: a review of bisimulation tools, Efficient approximation of optimal control for continuous-time Markov games, Deciding probabilistic automata weak bisimulation: theory and practice, Polynomial time decision algorithms for probabilistic automata, Branching bisimulation congruence for probabilistic systems, Markov automata with multiple objectives, A Tutorial on Interactive Markov Chains, The How and Why of Interactive Markov Chains
Uses Software