From queueing networks to Markov chains: the XMARCA interface

A new approach combining simulation and randomization for the analysis of large continuous time Markov chains

ACM Transactions on Modeling and Computer Simulation (TOMACS) - Special issue on modeling and analysis of stochastic systems

Numerical Analysis Methods

Performance Evaluation: Origins and Directions

Modeling, analysis, measurement and experimentation with the Tangram-II integrated environment

valuetools '06 Proceedings of the 1st international conference on Performance evaluation methodolgies and tools

Performance modelling and Markov chains

SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation

A new parallel block aggregated algorithm for solving Markov chains

The Journal of Supercomputing