Information Technology Reference
In-Depth Information
4. Burch, J.R., Clarke, E.M., McMillan, K.L., Dill, D.L., Hwang, L.J.: Symbolic model
checking: 10 20 states and beyond. Information and Computation 98(2), 142-170
(1992)
5. Chow, Y.S., Robbins, H.: On the asymptotic theory of fixed-width sequential con-
fidence intervals for the mean. Annals of Mathematical Statistics 36(2), 457-462
(1965)
6. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press,
Cambridge (1999)
7. El Rabih, D., Pekergin, N.: Statistical model checking using perfect simulation. In:
Liu, Z., Ravn, A.P. (eds.) ATVA 2009. LNCS, vol. 5799, pp. 120-134. Springer,
Heidelberg (2009)
8. Etessami, K., Rajamani, S.K. (eds.): CAV 2005. LNCS, vol. 3576. Springer,
Heidelberg (2005)
9. Fishman, G.S.: Monte Carlo: Concepts, Algorithms, and Applications. Springer,
Heidelberg (1996)
10. Forsythe, G.E., Leibler, R.A.: Matrix inversion by a Monte Carlo method. Mathe-
matical Tables and Other Aids to Computation 4(31), 127-129 (1950)
11. Hammersley, J.M., Handscomb, D.C.: Solution of linear operator equations. In:
Monte Carlo Methods, ch. 7, pp. 85-96. Methuen & Co, New York (1964)
12. Hansson, H., Jonsson, B.: A logic for reasoning about time and reliability. Formal
Aspects of Computing 6(5), 512-535 (1994)
13. Henzinger, T.A., Nicollin, X., Sifakis, J., Yovine, S.: Symbolic model checking for
real-time systems. Information and Computation 111(2), 193-244 (1994)
14. Hermanns, H., Meyer-Kayser, J., Siegle, M.: Multi terminal binary decision dia-
grams to represent and analyse continuous time Markov chains. In: Proc. 3rd In-
ternational Workshop on the Numerical Solution of Markov Chains, pp. 188-207,
Prensas Universitarias de Zaragoza (1999)
15. Hoeffding, W.: Probability inequalities for sums of bounded random variables.
Journal of the American Statistical Association 58(301), 13-30 (1963)
16. Ibe, O.C., Trivedi, K.S.: Stochastic Petri net models of polling systems. IEEE
Journal on Selected Areas in Communications 8(9), 1649-1657 (1990)
17. Kwiatkowska, M., Norman, G., Parker, D.: Probabilistic symbolic model check-
ing with PRISM: A hybrid approach. International Journal on Software Tools for
Technology Transfer 6(2), 128-142 (2004)
18. Lassaigne, R., Peyronnet, S.: Probabilistic verification and approximation. Annals
of Pure and Applied Logic 152(1-3), 122-131 (2008)
19. L'Ecuyer, P., Demers, V., Tun, B.: Splitting for rare-event simulation. In: Proc.
2006 Winter Simulation Conference, pp. 137-148. IEEE, Los Alamitos (2006)
20. Monniaux, D.: An abstract monte-carlo method for the analysis of probabilistic
programs. In: Proc. 28th ACM SIGPLAN-SIGACT Symposium on Principles of
Programming Languages, pp. 93-101. Association for Computing Machinery (2001)
21. Sen, K., Viswanathan, M., Agha, G.: On statistical model checking of stochastic
systems. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol. 3576, pp.
266-280. Springer, Heidelberg (2005)
22. Stewart, W.J.: Introduction to the Numerical Solution of Markov Chains. Princeton
University Press, Princeton (1994)
23. Wald, A.: Sequential tests of statistical hypotheses. Annals of Mathematical Statis-
tics 16(2), 117-186 (1945)
Search WWH ::




Custom Search