A compositional approach to performance modelling
A compositional approach to performance modelling
Model-checking continuous-time Markov chains
ACM Transactions on Computational Logic (TOCL)
Model-Checking Algorithms for Continuous-Time Markov Chains
IEEE Transactions on Software Engineering
Optimal state-space lumping in Markov chains
Information Processing Letters
Probabilistic symbolic model checking with PRISM: a hybrid approach
International Journal on Software Tools for Technology Transfer (STTT) - Special section on tools and algorithms for the construction and analysis of systems
ProbMela and verification of Markov decision processes
ACM SIGMETRICS Performance Evaluation Review
QEST '05 Proceedings of the Second International Conference on the Quantitative Evaluation of Systems
Abstract interpretation of programs as Markov decision processes
Science of Computer Programming - Special issue: Static analysis symposium (SAS 2003)
Compositional Performability Evaluation for STATEMATE
QEST '06 Proceedings of the 3rd international conference on the Quantitative Evaluation of Systems
Comparative branching-time semantics for Markov chains
Information and Computation
Partial order reduction for markov decision processes: a survey
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
Hi-index | 0.00 |