-
1
-
-
2942590918
-
Aggregation of stochastic automata networks with replicas
-
A. Benoit, L. Brenner, P. Fernandes, and B. Plateau. Aggregation of stochastic automata networks with replicas. In Linear Algebra and Its Applications, 386:111-136, 2004.
-
(2004)
Linear Algebra and Its Applications
, vol.386
, pp. 111-136
-
-
Benoit, A.1
Brenner, L.2
Fernandes, P.3
Plateau, B.4
-
2
-
-
21344479789
-
Exact and ordinary lumpability in finite Markov chains
-
P. Buchholz. Exact and ordinary lumpability in finite Markov chains. J. of App. Prob., 31:59-74, 1994.
-
(1994)
J. of App. Prob.
, vol.31
, pp. 59-74
-
-
Buchholz, P.1
-
3
-
-
0000840867
-
Equivalence relations for stochastic automata networks
-
W. J. Stewart, editor. Kluwer
-
P. Buchholz. Equivalence relations for stochastic automata networks. In W. J. Stewart, editor. Computation with Markov Chains, Kluwer, 1995.
-
(1995)
Computation with Markov Chains
-
-
Buchholz, P.1
-
4
-
-
0027703137
-
Stochastic well-formed colored nets and symmetric modeling applications
-
November
-
G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad. Stochastic well-formed colored nets and symmetric modeling applications. IEEE Trans. on Computers, 42(11):1343-1360, November 1993.
-
(1993)
IEEE Trans. on Computers
, vol.42
, Issue.11
, pp. 1343-1360
-
-
Chiola, G.1
Dutheillet, C.2
Franceschinis, G.3
Haddad, S.4
-
5
-
-
35248894348
-
Saturation unbound
-
Springer
-
G. Ciardo, R. Marmorstein, and R. Siminiceanu. Saturation unbound. In Proc. of TACAS, LNCS 2619, pages 379-393, Springer, 2003.
-
(2003)
Proc. of TACAS, LNCS
, vol.2619
, pp. 379-393
-
-
Ciardo, G.1
Marmorstein, R.2
Siminiceanu, R.3
-
6
-
-
84967699997
-
A data structure for the efficient Kronecker solution of GSPNs
-
IEEE CS
-
G. Ciardo and A. Miner. A data structure for the efficient Kronecker solution of GSPNs. In Proc. of PNPM, pages 22-31, IEEE CS, 1999.
-
(1999)
Proc. of PNPM
, pp. 22-31
-
-
Ciardo, G.1
Miner, A.2
-
7
-
-
0036821893
-
The Möbius framework and its implementation
-
October
-
D. D. Deavours, G. Clark, T. Courtney, D. Daly, S. Derisavi, J. M. Doyle, W. H. Sanders, and P. G. Webster. The Möbius framework and its implementation. IEEE Trans. on Soft. Eng., 28(10):956-969, October 2002.
-
(2002)
IEEE Trans. on Soft. Eng.
, vol.28
, Issue.10
, pp. 956-969
-
-
Deavours, D.D.1
Clark, G.2
Courtney, T.3
Daly, D.4
Derisavi, S.5
Doyle, J.M.6
Sanders, W.H.7
Webster, P.G.8
-
8
-
-
2942547914
-
Performance evaluation with asynchronously decomposable SWN: Implementation and case study
-
IEEE CS
-
C. Delamare, Y. Gardan, and P. Moreaux. Performance evaluation with asynchronously decomposable SWN: implementation and case study. In Proc. of PNPM, pages 20-29, IEEE CS, 2003.
-
(2003)
Proc. of PNPM
, pp. 20-29
-
-
Delamare, C.1
Gardan, Y.2
Moreaux, P.3
-
9
-
-
0041466320
-
Optimal state-space lumping in Markov chains
-
September
-
S. Derisavi, H. Hermanns, and W. H. Sanders. Optimal state-space lumping in Markov chains. Inf. Proc. Letters, 87(6):309-315, September 2003.
-
(2003)
Inf. Proc. Letters
, vol.87
, Issue.6
, pp. 309-315
-
-
Derisavi, S.1
Hermanns, H.2
Sanders, W.H.3
-
10
-
-
2942620807
-
Symbolic state-space exploration and numerical analysis of state-sharing composed models
-
July
-
S. Derisavi, P. Kemper, and W. H. Sanders. Symbolic state-space exploration and numerical analysis of state-sharing composed models. Linear Algebra and Its Applications, 386:137-166, July 2004.
-
(2004)
Linear Algebra and Its Applications
, vol.386
, pp. 137-166
-
-
Derisavi, S.1
Kemper, P.2
Sanders, W.H.3
-
14
-
-
0003652825
-
-
John Wiley & Sons
-
M. Ajmone Marsan, G. Balbo, 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
Balbo, G.2
Conte, G.3
Donatelli, S.4
Franceschinis, G.5
-
15
-
-
84957825799
-
Efficient solution of GSPNs using canonical matrix diagams
-
IEEE CS
-
A. Miner. Efficient solution of GSPNs using canonical matrix diagams. In Proc. of PNPM, pages 101-110, IEEE CS, 2001.
-
(2001)
Proc. of PNPM
, pp. 101-110
-
-
Miner, A.1
-
17
-
-
0026239753
-
Stochastic automata network for modeling parallel systems
-
October
-
B. Plateau and K. Atif. Stochastic automata network for modeling parallel systems. IEEE Trans. in Soft. Eng., 17(10):1093-1108, October 1991.
-
(1991)
IEEE Trans. in Soft. Eng.
, vol.17
, Issue.10
, pp. 1093-1108
-
-
Plateau, B.1
Atif, K.2
-
18
-
-
0026054286
-
Reduced base model construction methods for stochastic activity networks
-
January
-
W. H. Sanders and J. F. Meyer. Reduced base model construction methods for stochastic activity networks. IEEE J. on Selected Areas in Communications, 9(1):25-36, January 1991.
-
(1991)
IEEE J. on Selected Areas in Communications
, vol.9
, Issue.1
, pp. 25-36
-
-
Sanders, W.H.1
Meyer, J.F.2
|