Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata
From MaRDI portal
Publication:3614855
DOI10.1007/978-3-540-73196-2_16zbMath1215.68041MaRDI QIDQ3614855
Fei He, Carlo Ghezzi, Paola Spoletini, Luciano Baresi
Publication date: 10 March 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-73196-2_16
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Performance analysis of probabilistic timed automata using digital clocks
- A theory of timed automata
- A logic for reasoning about time and reliability
- Automatic verification of real-time systems with discrete probability distributions.
- Model checking expected time and expected reward formulae with random time bounds
- Using source transformation to test and model check implicit-invocation systems
- Model checking of probabilistic and nondeterministic systems
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Model-checking continuous-time Markov chains