Improving stochastic model checking with stochastic bounds

Proceedings - 2005 Symposium on Applications and the Internet Workshops, SAINT2005

Volumn 2005, Issue , 2005, Pages 264-267

  Fourneau, J M ^a   Pekergin, N ^a,b   Younes, S ^a  

^a UNIVERSITY OF VERSAILLES   (France)

^b UNIVERSITÉ PARIS 1 PANTHÉON SORBONNE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL METHODS; MARKOV PROCESSES; MATHEMATICAL MODELS; NUMERICAL METHODS; PROBABILITY DISTRIBUTIONS;

SOPHISTICATED ALGORITHMIC TECHNIQUES; STOCHASTIC BOUNDS; TRANSIENT DISTRIBUTION;

STOCHASTIC MODELS;

EID: 33947102691     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/saintw.2005.1620026     Document Type: Conference Paper

References (13)

1. O. Abu-Amsha, J-M. Vincent: An algorithm to bound functionals of Markov chains with large state space. Int: 4th INFORMS Conference on Telecommunications, Boca Raton, Florida, (1998)
2. S.Andova, H.Hermanns, J-P. Katoen. Disrete-time rewards model-checked. In proceeding AHK03. Springer-verlag (FORMATS 2003)
3. A. Aziz, K. Sanwal, V. Singhal, and R. Brayton Verifying continuous time Markov chains In Proc. CAV'96, pp 269-276, 1996 (Available as Volume 1102 of LNCS, Springer Verlag)
4. M. Benmammoun, J.M. Fourneau, N. Pekergin, A. Troubnikoff, "An algorithmic and numerical approach to bound the performance of high speed networks", IEEE MASCOTS 2002, Fort Worth, USA, pp. 375-382.
5. Courtois P.J., Semal P.: Computable bounds for conditional steady-state probabilities in large Markov chains and queueing models. In: IEEE JSAC, V4, N6, (1986)
6. J.M. Fourneau, N. Pekergin, "An algorithmic approach to stochastic bounds", LNCS 2459, Performance evaluation of complex systems: Techniques and Tools, pp 64-88, 2002.
7. J.M. Fourneau, M. Lecoz, F.Quessette. Algorithms for irreducible and lumpable strong stochastic bound, in Linear Algebra and its Applications 386(2004) 167-185, 2004.
8. H. Hansson and B.Jonsson. A logic for reasoning about time and reliability. Form. Asp. of Comp. 6: 512-535, 1994.
9. B. Haverkort, L. Cloth, H. Hermanns, J.-P. Katoen, and C. Baier Model Checking Performability Properties In Proc. DSN 2002, IEEE CS Press, 2002.
10. M. Kwiatkowska, G. Norman and D. Parker PRISM: Probabilistic Symbolic Model Checker In Proc. TOOLS 2002, volume 2324 of LNCS, pages 200-204, Springer-Verlag April 2002
11. Stewart W. J.: Introduction to the Numerical Solution of Markov Chains. Princeton University Press, (1994)
12. Stoyan D.: Comparison Methods for Queues and Other Stochastic Models. John Wiley & Sons, Berlin, Germany, (1983)
13. Van Dijk N.: Error bound analysis for queueing networks", In: Performane 96 Tutorials, Lausanne, (1996)