bibliography


[1] A. Aziz, K. Sanwal, V. Singhal, and R. Brayton, "Model Checking Continuous Time Markov Chains", ACM Trans. on Comp. Logic, 1(1), p. 162-170, 2000.

[2] E.C. Baier, B. Haverkort, H. Hermanns, J.P. Katoen, and, "Model Checking continuous - time Markov Chains by transient analysis," In Proc.In CAV 2000, Springer LNCS 1855, pages 358-372, 2000.

[3] M. Ben Mamoun, A. Busic, J. M. Fourneau, N. Pekergin, "Increasing convex monotone Markov chains, Theory, algorithms and applications", In Markov Anniversary Meeting, Charleston juin 2006.

[4] M. Ben Mamoun, N. Pekergin and S. Youn`es, "Model Checking of Continuous- Time Markov Chains by Closed-Form Bounding Distributions". In Proceedings of The Third International Conference on Quantitative Evaluation of Systems (QEST 2006) to be held 11-14 September 2006 in Riverside, California.

[5] A. Bianco and L. de Alfaro, "Model checking of probabilistic and non deterministic systems". In P. Thiagarajan, editor, Proc. 15th Conference on Foundations of  Software Technology and Theoretical Computer Science, volume 1026 of LNCS, pages 499-513. Springer, 1995.

[6] J.G. dai On the positive Harris recurrence for multiclass queueing networks : A unified approach vai fluid limit models Annals of Applied Probability, 5, pp 49-77, 1995.

[7] T. Dayar, J.M. Fourneau, N. Pekergin, J. M. Vincent, "Polynomials of a stochastic matrix and strong stochastic bounds", In Markov Anniversary Meeting, Charleston juin 2006.

[8] J. G. Dopper, B. Gaujal, J.M. Vincent, "Bounds for the coupling time in queueing networks perfect simulation", In Markov Anniversary Meeting, Charleston juin 2006.

[9] J.M. Fourneau, N. Pekergin, "An algorithmic approach to stochastic bounds", Performance Evaluation of Complex Systems : Techniques et Tools ( Performance 2002 Tutorial Lecture Notes), pages 64-89, LNCS Springer Verlag 2459, 2002.

[10] Hansson,H. and Jonsson B.: A logic for reasoning about time and reliability. In Form. Asp. of Comp. 6: 512-535, 1994

[11] S.P. Meyn and R.L. Tweedy Markov Chains and Staochastic Stability Springer Verlag, 1993.

[12] J. Propp, D. Wilson, "Exact sampling with couples Markov chains and applications to statistical mechanics, Random structures and Algorithms Vol. 9, p. 223- 252, 1996.

[13] N. Pekergin, "Stochastic performance bounds by state space reduction", Performance Evaluation, 36-37, pages 1-17, 1999.

[14] N. Pekergin, S. Youn`es, "Stochastic Model Checking with Stochastic Comparison," In EPEW 2005, Springer LNCS, V 3670, pages 109-123, 2005.

[15] A. Remke, B. Haverkort, L. Cloth, "Model Checking Infinite-State Markov Chains", In 11th International Conference on Tools and Algorithms for the Constructions and Analysis of Systems, TACAS05, p. 237-252, 2005.

[16] A. N. Rybko and A.N. Stolyar , Ergodicity of stochastic processes describing the operation of open queueing networks, Problemy Peredachi informatsiii 28-3 pp 3-26, 1992.

[17] K. Sen, M. Viswanathan, G. Algha, "Statistical model checking of black-box probabilistic systems", In "16th conference on Computer Aided Verification (CAVí04, LNCS, Springer 2004.

[18] A.Muller and D. Stoyan, Comparison Methods for StochasticModels and Risks, Wiley , New York, 2002.

[19] H. L. S. Younes and R. G. Simmons, "Probabilistic verification of discrete event systems using acceptance sampling," In 14th International Conference on Computer Aided Verification (CAV), volume 2404 of LNCS, pages 223-235. Springer, 2002.

[20] H.L.S. Younes , M. Kwiatkowska, G. Norman, D. Parker, "Numerical vs. Statistical Probablistic Model Checking: An Emprical Study", In 10th International Conference on Tools and Algorithms for the Constructions and Analysis of Systems, TACAS04, volume 2988 of LNCS, p. 46-60, 2004.

[21] J.M. Vincent, C. Marchand, "On the exact simulation functionals of stationary of Markov chains", Linear Algebra and its Applications, vol. 386, 2004.

[22] J.M. Vincent, "Perfect simulation of queueing networks with blocking and rejection", IEEE Saint Conference, Trento 2005.

[23] J.M. Vincent, C. Marchand "Perfect simulation of monotone systems for rare event probability estimation", Winter simulation conference, Orlando, 2005.