-
1
-
-
0003652825
-
-
John Wiley & Sons
-
M. Ajmone Marsan, G. Balb o, G. Conte, S. Donatelli, and G. Franceschinis. Modelling with Generalized Stochastic Petri Nets. John Wiley & Sons, 1995.
-
(1995)
Modelling with Generalized Stochastic Petri Nets
-
-
Ajmone Marsan, M.1
Balb O, G.2
Conte, G.3
Donatelli, S.4
Franceschinis, G.5
-
2
-
-
77049084629
-
It usually works: The temporal logic of stochastic systems
-
A. Aziz, V. Singhal, F. Balarin, R. Brayton and A. Sangiovanni-Vincentelli. It usually works: the temporal logic of stochastic systems. In CAV, LNCS 939, pp. 155–165, 1995.
-
(1995)
CAV, LNCS
, vol.939
, pp. 155-165
-
-
Aziz, A.1
Singhal, V.2
Balarin, F.3
Brayton, R.4
Sangiovanni-Vincentelli, A.5
-
3
-
-
84957369657
-
Verifying continuous time Markov chains
-
A. Aziz, K. Sanwal, V. Singhal and R. Bra yton. Verifying continuous time Markov chains. In CAV, LNCS 1102, pp. 269–276, 1996.
-
(1996)
CAV, LNCS
, vol.1102
, pp. 269-276
-
-
Aziz, A.1
Sanwal, K.2
Singhal, V.3
Bra Yton, R.4
-
4
-
-
0031122218
-
Algebraic decision diagrams and their applications
-
I. Bahar, E. F rohm, C. Gaona, G. Hac htel, E. Macii, A. P adro and F. Somenzi. Algebraic decision diagrams and their applications. Form. Meth. in Syst. Design, 10(2/3): 171–206, 1997.
-
(1997)
Form. Meth. In Syst. Design
, vol.10
, Issue.2-3
, pp. 171-206
-
-
Bahar, I.1
Rohm, E.F.2
Gaona, C.3
Hac Htel, G.4
Macii, E.5
Adro, A.P.6
Somenzi, F.7
-
6
-
-
41149144239
-
Approximate symbolic model checking of continuous-time Markov chains
-
C. Baier, J. -P. Katoen and H. Hermanns. Approximate symbolic model checking of continuous-time Markov chains. In CONCUR, LNCS 1664, pp. 146–162, 1999.
-
(1999)
CONCUR, LNCS
, vol.1664
, pp. 146-162
-
-
Baier, C.1
Katoen, J.-P.2
Hermanns, H.3
-
8
-
-
0024035719
-
Characterizing finite Kripke structures in propositional temporal logic
-
M. Brown, E. Clarke, O. Grumberg. Characterizing finite Kripke structures in propositional temporal logic. Th. Comp. Sc., 59: 115–131, 1988.
-
(1988)
Th. Comp. Sc
, vol.59
, pp. 115-131
-
-
Brown, M.1
Clarke, E.2
Grumberg, O.3
-
9
-
-
0022769976
-
Graph-based algorithms for boolean function manipulation
-
R. Bryant. Graph-based algorithms for boolean function manipulation. IEEE Trans. on Comp., C-35(8): 677–691, 1986.
-
(1986)
IEEE Trans. On Comp
, vol.C-35
, Issue.8
, pp. 677-691
-
-
Bryant, R.1
-
10
-
-
21344479789
-
Exact and ordinary lumpability in finite Markov chains
-
P. Buchholz: Exact and ordinary lumpability in finite Markov chains. J. of Appl. Prob., 31: 59–75, 1994.
-
(1994)
J. Of Appl. Prob.
, vol.31
, pp. 59-75
-
-
Buchholz, P.1
-
11
-
-
0041452788
-
Markovian process algebra
-
Fachbereich Informatik, Univ. of Dortmund
-
P. Buchholz. Markovian process algebra. Tech. Rep. 500, Fachbereich Informatik, Univ. of Dortmund, 1994.
-
(1994)
Tech. Rep. 500
-
-
Buchholz, P.1
-
12
-
-
0037565605
-
Multi-terminal binary decision diagrams: An efficient data structure for matrix representation
-
E. Clarke, M. Fujita, P. McGeer, J. Yang and X. Zhao. Multi-terminal binary decision diagrams: an efficient data structure for matrix representation. In Proc. IEEE Int. Workshop on Logic Synthesis, pp. 1–15, 1993.
-
(1993)
Proc. IEEE Int. Workshop on Logic Synthesis
, pp. 1-15
-
-
Clarke, E.1
Fujita, M.2
McGeer, P.3
Yang, J.4
Zhao, X.5
-
14
-
-
0023999020
-
Computing Poisson probabilities
-
B. L. Fox and P. W. Glynn. Computing Poisson probabilities. Comm. of the ACM 31(4): 440–445, 1988.
-
(1988)
Comm. Of the ACM
, vol.31
, Issue.4
, pp. 440-445
-
-
Fox, B.L.1
Glynn, P.W.2
-
15
-
-
0040862006
-
Finding transient solutions in Markovian event systems through randomization
-
W. J. Stewart, ed, Marcel Dekker
-
W. K. Grassmann. Finding transient solutions in Markovian event systems through randomization. In W. J. Stewart, ed, Num. Sol. of Markov Chains, pp. 357–371, Marcel Dekker, 1991.
-
(1991)
Num. Sol. Of Markov Chains
, pp. 357-371
-
-
Grassmann, W.K.1
-
16
-
-
0021385426
-
The randomization technique as a modeling tool and solution procedure for transient Markov chains
-
D. Gross and D. R. Miller. The randomization technique as a modeling tool and solution procedure for transient Markov chains. Oper. Res. 32(2): 343–361, 1984.
-
(1984)
Oper. Res
, vol.32
, Issue.2
, pp. 343-361
-
-
Gross, D.1
Miller, D.R.2
-
17
-
-
0003096318
-
A logic for reasoning about time and reliability
-
H. Hansson and B. Jonsson. A logic for reasoning about time and reliability. Form. Asp. of Comp. 6: 512–535, 1994.
-
(1994)
Form. Asp. Of Comp.
, vol.6
, pp. 512-535
-
-
Hansson, H.1
Jonsson, B.2
-
19
-
-
0030110228
-
Performability modelling tools and techniques
-
B. R. Haverkort and I. Niemegeers. Performability modelling tools and techniques. Perf. Ev., 25: 17–40, 1996.
-
(1996)
Perf. Ev
, vol.25
, pp. 17-40
-
-
Haverkort, B.R.1
Niemegeers, I.2
-
21
-
-
0033891003
-
Automated compositional Markov chain generation for a plain-old telephone system
-
H. Hermanns and J. -P. Katoen. Automated compositional Markov chain generation for a plain-old telephone system. Sci. of Comp. Programming, 36(1): 97–127, 2000.
-
(2000)
Sci. Of Comp. Programming
, vol.36
, Issue.1
, pp. 97-127
-
-
Hermanns, H.1
Katoen, J.-P.2
-
22
-
-
84863955305
-
A Markov chain model checker
-
H. Hermanns, J. -P. Katoen, J. Meyer-Kayser and M. Siegle. A Markov chain model checker. In TACAS, LNCS 1785, pp. 347–362, 2000.
-
(2000)
TACAS, LNCS 1785
, pp. 347-362
-
-
Hermanns, H.1
Katoen, J.-P.2
Meyer-Kayser, J.3
Siegle, M.4
-
23
-
-
84957674725
-
Bisimulation algorithms for stochastic process algebras and their BDD-based implementation
-
H. Hermanns and M. Siegle. Bisimulation algorithms for stochastic process algebras and their BDD-based implementation. In ARTS, LNCS 1601, pp. 244–265, 1999.
-
(1999)
ARTS, LNCS 1601
, pp. 244-265
-
-
Hermanns, H.1
Siegle, M.2
-
25
-
-
84945610644
-
Markov chains as an aid in the study of Markov processes
-
A. Jensen. Markov chains as an aid in the study of Markov processes. Skand. Aktuarietidskrift 3: 87–91, 1953.
-
(1953)
Skand. Aktuarietidskrift
, vol.3
, pp. 87-91
-
-
Jensen, A.1
-
26
-
-
0026222347
-
Bisimulation through probabilistic testing
-
K. G. Larsen and A. Skou. Bisimulation through probabilistic testing. Inf. and Comp., 94(1): 1–28, 1992.
-
(1992)
Inf. And Comp
, vol.94
, Issue.1
, pp. 1-28
-
-
Larsen, K.G.1
Skou, A.2
-
27
-
-
0030166409
-
Probabilistic evaluation for the analytical solution of large Markov models
-
A. P. A. van Moorsel and B. R. Haverkort. Probabilistic evaluation for the analytical solution of large Markov models. Microelectron. and Reliab. 36(6): 733–755, 1996.
-
(1996)
Microelectron. And Reliab
, vol.36
, Issue.6
, pp. 733-755
-
-
Van Moorsel, A.1
Haverkort, B.R.2
|