-
2
-
-
84957369657
-
Verifying continuous time Markov chains
-
In: Alur, R., Henzinger, T.A. (eds.) Lecture Notes in Computer Science Springer, Berlin Heidelberg New York
-
Aziz, A., Sanwal, K., Singhal, V., Brayton, R.: Verifying continuous time Markov chains. In: Alur, R., Henzinger, T.A. (eds.) Proceedings of the 8th International Conference on Computer-Aided Verification. Lecture Notes in Computer Science, vol. 1102, pp. 269-276. Springer, Berlin Heidelberg New York (1996)
-
(1996)
Proceedings of the 8th International Conference on Computer-Aided Verification
, vol.1102
, pp. 269-276
-
-
Aziz, A.1
Sanwal, K.2
Singhal, V.3
Brayton, R.4
-
3
-
-
84941709469
-
Modelchecking continuous-time Markov chains
-
Aziz, A., Sanwal, K., Singhal, V., Brayton, R.: Modelchecking continuous-time Markov chains. ACM Trans. Comput. Logic 1 (1), 162-170 (2000)
-
(2000)
ACM Trans. Comput. Logic
, vol.1
, Issue.1
, pp. 162-170
-
-
Aziz, A.1
Sanwal, K.2
Singhal, V.3
Brayton, R.4
-
4
-
-
0027880685
-
Algebraic decision diagrams and their applications
-
IEEE Press, New York
-
Bahar, R.I., Frohm, E.A., Gaona, C.M., Hachtel, G.D., Macii, E., Pardo, A., Somenzi, F.: Algebraic decision diagrams and their applications. In: Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, pp. 188-191. IEEE Press, New York (1993)
-
(1993)
Proceedings of the IEEE/ACM International Conference on Computer-Aided Design
, pp. 188-191
-
-
Bahar, R.I.1
Frohm, E.A.2
Gaona, C.M.3
Hachtel, G.D.4
Macii, E.5
Pardo, A.6
Somenzi, F.7
-
5
-
-
84944391391
-
Model checking continuous-time Markov chains by transient analysis
-
In: Emerson, E.A., Sistla, A.P. (eds.) Lecture Notes in Computer Science Springer, Berlin Heidelberg New York
-
Baier, C., Haverkort, B.R., Hermanns, H., Katoen, J.-P.: Model checking continuous-time Markov chains by transient analysis. In: Emerson, E.A., Sistla, A.P. (eds.) Proceedings of the 12th International Conference on Computer-Aided Verification, Lecture Notes in Computer Science, vol. 1855, pp. 358-372. Springer, Berlin Heidelberg New York (2000)
-
(2000)
Proceedings of the 12th International Conference on Computer-Aided Verification
, vol.1855
, pp. 358-372
-
-
Baier, C.1
Haverkort, B.R.2
Hermanns, H.3
Katoen, J.-P.4
-
6
-
-
0042349303
-
Model-checking algorithms for continuous-time Markov chains
-
Baier, C., Haverkort, B.R., Hermanns, H., Katoen, J.-P.: Model-checking algorithms for continuous-time Markov chains. IEEE Trans Softw. Eng. 29 (6), 524-541 (2003)
-
(2003)
IEEE Trans Softw. Eng.
, vol.29
, Issue.6
, pp. 524-541
-
-
Baier, C.1
Haverkort, B.R.2
Hermanns, H.3
Katoen, J.-P.4
-
7
-
-
0022769976
-
Graph-based algorithms for Boolean function manipulation
-
Bryant, R.E.: Graph-based algorithms for Boolean function manipulation. IEEE Trans. Comput. C-35 (8), 677-691 (1986)
-
(1986)
IEEE Trans. Comput.
, vol.C-35
, Issue.8
, pp. 677-691
-
-
Bryant, R.E.1
-
8
-
-
0032036166
-
A new approach combining simulation and randomization for the analysis of large continuous time Markov chains
-
Buchholz, P.: A new approach combining simulation and randomization for the analysis of large continuous time Markov chains. ACM Trans. Model. Comput. Simulat. 8 (2), 194-222 (1998)
-
(1998)
ACM Trans. Model. Comput. Simulat.
, vol.8
, Issue.2
, pp. 194-222
-
-
Buchholz, P.1
-
9
-
-
19244370184
-
Spectral transforms for large Boolean functions with applications to technology mapping
-
ACM Press, New York
-
Clarke, E.M., McMillan, K.L., Zhao, X., Fujita, M.: Spectral transforms for large Boolean functions with applications to technology mapping. In: Proceedings of the 30th International Conference on Design Automation, pp. 54-60. ACM Press, New York (1993)
-
(1993)
Proceedings of the 30th International Conference on Design Automation
, pp. 54-60
-
-
Clarke, E.M.1
McMillan, K.L.2
Zhao, X.3
Fujita, M.4
-
10
-
-
20444367552
-
Numerical methods for transient Markov chains
-
Technical Report No. 810. School of Operations Research and Industrial Engineering, Cornell University, Ithaca, NY
-
Fox, B.L.: Numerical methods for transient Markov chains. Technical Report No. 810. School of Operations Research and Industrial Engineering, Cornell University, Ithaca, NY (1988)
-
(1988)
-
-
Fox, B.L.1
-
11
-
-
0023999020
-
Computing Poisson probabilities
-
Fox, B.L., Glynn, P.W.: Computing Poisson probabilities. Commun. ACM 31 (4), 440-445 (1988)
-
(1988)
Commun. ACM
, vol.31
, Issue.4
, pp. 440-445
-
-
Fox, B.L.1
Glynn, P.W.2
-
12
-
-
0031120522
-
Multiterminal binary decision diagrams: An efficient data structure for matrix representation
-
Fujita, M., McGeer, P.C., Yang, J.C.-Y.: Multiterminal binary decision diagrams: An efficient data structure for matrix representation. Formal Methods Syst. Des. 10 (2/3), 149-169 (1997)
-
(1997)
Formal Methods Syst. Des.
, vol.10
, Issue.2-3
, pp. 149-169
-
-
Fujita, M.1
McGeer, P.C.2
Yang, J.C.-Y.3
-
13
-
-
0037565652
-
Multi terminal binary decision diagrams to represent and analyse continuous time Markov chains
-
In: Plateau, B., Stewart, W.J., Silva, M. (eds.) Prensas Universitarias de Zaragoza
-
Hermanns, H., Meyer-Kayser, J., Siegle, M.: Multi terminal binary decision diagrams to represent and analyse continuous time Markov chains. In: Plateau, B., Stewart, W.J., Silva, M. (eds.) Proceedings of the 3rd International Workshop on the Numerical Solution of Markov Chains, pp. 188-207. Prensas Universitarias de Zaragoza (1999)
-
(1999)
Proceedings of the 3rd International Workshop on the Numerical Solution of Markov Chains
, pp. 188-207
-
-
Hermanns, H.1
Meyer-Kayser, J.2
Siegle, M.3
-
15
-
-
0025589089
-
Stochastic Petri net models of polling systems
-
Ibe, O.C., Trivedi, K.S.: Stochastic Petri net models of polling systems. IEEE J. Select. Areas Commun. 8 (9), 1649-1657 (1990)
-
(1990)
IEEE J. Select. Areas Commun.
, vol.8
, Issue.9
, pp. 1649-1657
-
-
Ibe, O.C.1
Trivedi, K.S.2
-
16
-
-
84957800656
-
Beyond memoryless distributions: Model checking semi-Markov chains
-
In: de Alfaro, L., Gilmore, S. (eds.) Lecture Notes in Computer Science Springer, Berlin Heidelberg New York
-
Infante López, G.G., Hermanns, H., Katoen, J.-P.: Beyond memoryless distributions: Model cDecking semi-Markov chains. In: de Alfaro, L., Gilmore, S. (eds.) Proceedings of the 1st Joint International PAPM-PROBMIV Workshop. Lecture Notes in Computer Science, vol. 2165, pp. 57-70. Springer, Berlin Heidelberg New York (2001)
-
(2001)
Proceedings of the 1st Joint International PAPM-PROBMIV Workshop
, vol.2165
, pp. 57-70
-
-
Infante López, G.G.1
Hermanns, H.2
Katoen, J.-P.3
-
17
-
-
84945610644
-
Markoff chains as an aid in the study of Markoff processes
-
Jensen, A.: Markoff chains as an aid in the study of Markoff processes. Skandinavisk Aktuarietidskrift 36, 87-91 (1953)
-
(1953)
Skandinavisk Aktuarietidskrift
, vol.36
, pp. 87-91
-
-
Jensen, A.1
-
18
-
-
84957808510
-
Faster and symbolic CTMC model checking
-
In: de Alfaro, L., Gilmore, S. (eds.) Lecture Notes in Computer Science Springer, Berlin Heidelberg New York
-
Katoen, J.-P., Kwiatkowska, M., Norman, G., Parker, D.: Faster and symbolic CTMC model checking. In: De Alfaro, L., Gilmore, S. (eds.) Proceedings of the 1st Joint International PAPM-PROBMIV Workshop. Lecture Notes in Computer Science, vol. 2165, pp. 23-38. Springer, Berlin Heidelberg New York (2001)
-
(2001)
Proceedings of the 1st Joint International PAPM-PROBMIV Workshop
, vol.2165
, pp. 23-38
-
-
Katoen, J.-P.1
Kwiatkowska, M.2
Norman, G.3
Parker, D.4
-
19
-
-
84863981780
-
PRISM: Probabilistic symbolic model checker
-
In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) Lecture Notes in Computer Science Springer, Berlin Heidelberg New York
-
Kwiatkowska, M., Norman, G., Parker, D.: PRISM: Probabilistic symbolic model checker. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) Proceedings of the 12th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation. Lecture Notes in Computer Science, vol. 2324, pp. 200-204. Springer, Berlin Heidelberg New York (2002)
-
(2002)
Proceedings of the 12th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation
, vol.2324
, pp. 200-204
-
-
Kwiatkowska, M.1
Norman, G.2
Parker, D.3
-
20
-
-
84896694223
-
Probabilistic symbolic model checking with PRISM: A hybrid approach
-
Kwiatkowska, M., Norman, G., Parker, D.: Probabilistic symbolic model checking with PRISM: A hybrid approach. Int. J. Softw. Tools Technol. Transfer 6 (2), 128-142 (2004)
-
(2004)
Int. J. Softw. Tools Technol. Transfer
, vol.6
, Issue.2
, pp. 128-142
-
-
Kwiatkowska, M.1
Norman, G.2
Parker, D.3
-
21
-
-
84885235139
-
Verifying quantitative properties of continuous probabilistic timed automata
-
In: Palamidessi, C. (ed.) Lecture Notes in Computer Science Springer, Berlin Heidelberg New York
-
Kwiatkowska, M., Norman, G., Segala, R., Sproston, J.: Verifying quantitative properties of continuous probabilistic timed automata. In: Palamidessi, C. (ed.) Proceedings of the 11th International Conference on Concurrency Theory. Lecture Notes in Computer Science, vol. 1877, pp. 123-137. Springer, Berlin Heidelberg New York (2000)
-
(2000)
Proceedings of the 11th International Conference on Concurrency Theory
, vol.1877
, pp. 123-137
-
-
Kwiatkowska, M.1
Norman, G.2
Segala, R.3
Sproston, J.4
-
22
-
-
0002343520
-
Nearly optimal squential tests of composite hypotheses
-
Lai, T.L.: Nearly optimal squential tests of composite hypotheses. Ann. Stat. 16 (2), 856-886 (1988)
-
(1988)
Ann. Stat.
, vol.16
, Issue.2
, pp. 856-886
-
-
Lai, T.L.1
-
23
-
-
0346405517
-
Sequential analysis: Some classical problems and new challenges
-
Lai, T.L.: SequSntial analysis: some classical problems and new challenges. Statistica Sinica 11 (2), 303-408 (2001)
-
(2001)
Statistica Sinica
, vol.11
, Issue.2
, pp. 303-408
-
-
Lai, T.L.1
-
24
-
-
0028533108
-
Stiffnesstolerant methods for transient analysis of stiff Markov chains
-
Malhotra, M., Muppala, J.K., Trivedi, K.S.: Stiffnesstolerant methods for transient analysis of stiff Markov chains. Microelectron. Reliabil. 34 (11), 1825-1841 (1994)
-
(1994)
Microelectron. Reliabil.
, vol.34
, Issue.11
, pp. 1825-1841
-
-
Malhotra, M.1
Muppala, J.K.2
Trivedi, K.S.3
-
25
-
-
0037903748
-
Implementation of symbolic model checking for probabilistic systems
-
PhD Thesis, University of Birmingham
-
Parker, D.: Implementation of symbolic model checking for probabilistic systems. PhD Thesis, University of Birmingham (2002)
-
(2002)
-
-
Parker, D.1
-
26
-
-
0023825824
-
Numerical transient analysis of Markov models
-
Reibman, A., Trivedi, K.S.: Numerical transient analysis of Markov models. Comput. Operat. Res. 15 (1), 19-36 (1988)
-
(1988)
Comput. Operat. Res.
, vol.15
, Issue.1
, pp. 19-36
-
-
Reibman, A.1
Trivedi, K.S.2
-
27
-
-
0037486058
-
Asymptotic shapes of Bayes sequential testing regions
-
Schwarz, G.: Asymptotic shapes of Bayes sequential testing regions. Ann. Math. Stat. 33 (1), 224-236 (1962)
-
(1962)
Ann. Math. Stat.
, vol.33
, Issue.1
, pp. 224-236
-
-
Schwarz, G.1
-
28
-
-
35048875856
-
Statistical model checking of black-box probabilistic systems
-
In: Alur, R., Peled, D.A. (eds.) Lecture Notes in Computer Science Springer, Berlin Heidelberg New York
-
Sen, K., Viswanathan, M., Agha, G.: Statistical model checking of black-box probabilistic systems. In: Alur, R., Peled, D.A. (eds.) Proceedings of the 16th International Conference on Computer-Aided Verification. Lecture Notes in Computer Science, vol. 3114, pp. 202-215. Springer, Berlin Heidelberg New York (2004)
-
(2004)
Proceedings of the 16th International Conference on Computer-Aided Verification
, vol.3114
, pp. 202-215
-
-
Sen, K.1
Viswanathan, M.2
Agha, G.3
-
29
-
-
0020844913
-
A unifying view of hybrid simulation/analytic models and modeling
-
Shanthikumar, J.G., Sargent, R.G.: A unifying view of hybrid simulation/ analytic models and modeling. Operat. Res. 31 (6), 1030-1052 (1983)
-
(1983)
Operat. Res.
, vol.31
, Issue.6
, pp. 1030-1052
-
-
Shanthikumar, J.G.1
Sargent, R.G.2
-
30
-
-
0017935507
-
A comparison of numerical techniques in Markov modeling
-
Stewart,W.J.: A comparison of numerical techniques in Markov modeling. Commun. ACM 21 (2), 144-152 (1978)
-
(1978)
Commun. ACM
, vol.21
, Issue.2
, pp. 144-152
-
-
Stewart, W.J.1
-
31
-
-
33749007534
-
Computer simulation - Discussion of the techniques and comparison of languages
-
Teichroew, D., Lubin, J.F.: Computer simulation - Discussion of the techniques and comparison of languages. Commun. ACM 9 (10), 723-741 (1966)
-
(1966)
Commun. ACM
, vol.9
, Issue.10
, pp. 723-741
-
-
Teichroew, D.1
Lubin, J.F.2
-
32
-
-
0000090155
-
Sequential tests of statistical hypotheses
-
Wald, A.: Sequential tests of statistical hypotheses. Ann. Math. Stat. 16 (2), 117-186 (1945)
-
(1945)
Ann. Math. Stat.
, vol.16
, Issue.2
, pp. 117-186
-
-
Wald, A.1
-
33
-
-
0003503387
-
Sequential Analysis
-
Wiley, New York
-
Wald, A.: Sequential Analysis. Wiley, New York (1947)
-
(1947)
-
-
Wald, A.1
-
34
-
-
0000193326
-
Optimum character of the sequential probability ratio test
-
Wald, A., Wolfowitz, J.: Optimum character of the sequential probability ratio test. Ann. Math. Stat. 19 (3), 326-339 (1948)
-
(1948)
Ann. Math. Stat.
, vol.19
, Issue.3
, pp. 326-339
-
-
Wald, A.1
Wolfowitz, J.2
-
35
-
-
33747796062
-
Probabilistic verification for "black-box" systems
-
In: Etessami, K., Rajamani, S. (eds.) Springer, Berlin Heidelberg New York
-
Younes, H.L.S.: Probabilistic verification for "black-box" systems. In: Etessami, K., Rajamani, S. (eds.) Proceedings of the 17th International Conference on Computer-Aided Verification. Springer, Berlin Heidelberg New York (2005)
-
(2005)
Proceedings of the 17th International Conference on Computer-Aided Verification
-
-
Younes, H.L.S.1
-
36
-
-
9444296873
-
A framework for planning in continuous-time stochastic domains
-
In: Giunchiglia, E., Muscettola, N., Nau, D.S. (eds.) AAAI Press, Meno Park, CA
-
Younes, H.L.S., Musliner, D.J., Simmons, R.G.: A framework for planning in continuous-time stochastic domains. In: Giunchiglia, E., Muscettola, N., Nau, D.S. (eds.) Proceedings of the 13th International Conference on Automated Planning and Scheduling, pp. 195-204. AAAI Press, Meno Park, CA (2003)
-
(2003)
Proceedings of the 13th International Conference on Automated Planning and Scheduling
, pp. 195-204
-
-
Younes, H.L.S.1
Musliner, D.J.2
Simmons, R.G.3
-
37
-
-
84921391802
-
Probabilistic verification of discrete event systems using acceptance sampling
-
In: Brinksma, E., Larsen, K.G. (eds.) Lecture Notes in Computer Science Springer, Berlin Heidelberg New York
-
Younes, H.L.S., Simmons, R.G.: Probabilistic verification of discrete event systems using acceptance sampling. In: Brinksma, E., Larsen, K.G. (eds.) Proceedings of the 14th International Conference on Computer-Aided Verification. Lecture Notes in Computer Science, vol. 2404, pp. 223-235. Springer, Berlin Heidelberg New York (2002)
-
(2002)
Proceedings of the 14th International Conference on Computer-Aided Verification
, vol.2404
, pp. 223-235
-
-
Younes, H.L.S.1
Simmons, R.G.2
|