-
2
-
-
0033907723
-
Monte Carlo simulation using Excel® spreadsheet for predicting reliability of a complex system
-
Gedam, S. G. & Beaudet, S. 2000. Monte Carlo simulation using Excel® spreadsheet for predicting reliability of a complex system. Reliability and Maintainability Symposium: pp. 188-193.
-
(2000)
Reliability and Maintainability Symposium
, pp. 188-193
-
-
Gedam, S.G.1
Beaudet, S.2
-
5
-
-
0028377592
-
A combinatorial algorithm for performance and reliability analysis using multistate models
-
Veeraraghavan, M. & Trivedi, K. S. 1994. A combinatorial algorithm for performance and reliability analysis using multistate models. IEEE Trans. Computers. Vol. 43, no. 2: pp. 229-234.
-
(1994)
IEEE Trans. Computers
, vol.43
, Issue.2
, pp. 229-234
-
-
Veeraraghavan, M.1
Trivedi, K.S.2
-
6
-
-
0141793198
-
A new formalism that combines advantages of fault trees and Markov models: Boolean logic driven Markov processes
-
Bouissou, M. & Bonc, J. L. 2003. A new formalism that combines advantages of fault trees and Markov models: Boolean logic driven Markov processes. Reliability Engineering and System Safety. Vol. 82, no. 2: pp. 149-163.
-
(2003)
Reliability Engineering and System Safety
, vol.82
, Issue.2
, pp. 149-163
-
-
Bouissou, M.1
Bonc, J.L.2
-
7
-
-
0029378948
-
Dependability modeling using Petri-nets
-
Malhotra, M. & Trivedi, K. S. 1995. Dependability modeling using Petri-nets. IEEE Transaction on Reliability. Vol. 44, no. 3: pp. 428-440.
-
(1995)
IEEE Transaction on Reliability
, vol.44
, Issue.3
, pp. 428-440
-
-
Malhotra, M.1
Trivedi, K.S.2
-
8
-
-
0037340045
-
Parametric fault tree for the dependability analysis of redundant systems and its high-level Petri net semantics
-
Bobbio, A., Franceschinis, G., Gaeta, R., Portinaie, L. 2003. "Parametric fault tree for the dependability analysis of redundant systems and its high-level Petri net semantics. IEEE Trans. Software Engineering. Vol. 29, no. 3: 270-287.
-
(2003)
IEEE Trans. Software Engineering
, vol.29
, Issue.3
, pp. 270-287
-
-
Bobbio, A.1
Franceschinis, G.2
Gaeta, R.3
Portinaie, L.4
-
9
-
-
0003268981
-
Stochastic reward nets for reliability prediction
-
Zuppala, J., Ciardo, G., Trivedi, K. S. 1994. Stochastic reward nets for reliability prediction. Communications in Reliability, Maintainability and Serviceability. Vol. 1, no. 2: 9-20.
-
(1994)
Communications in Reliability, Maintainability and Serviceability
, vol.1
, Issue.2
, pp. 9-20
-
-
Zuppala, J.1
Ciardo, G.2
Trivedi, K.S.3
-
10
-
-
34250007198
-
Reliability analysis of multistate systems based on Bayesian networks
-
Washington, DC, USA: IEEE Computer Society: pp
-
Zhou, Z., Jin, G., Dong, D., Zhou, J. 2006. Reliability analysis of multistate systems based on Bayesian networks. Proceedings of the 13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems (ECBS'06). Washington, DC, USA: IEEE Computer Society: pp. 344-352.
-
(2006)
Proceedings of the 13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems (ECBS'06)
, pp. 344-352
-
-
Zhou, Z.1
Jin, G.2
Dong, D.3
Zhou, J.4
-
11
-
-
33750965749
-
Automatically translating dynamic fault trees into dynamic bayesian networks by means of a software tool
-
IEEE Computer Society: pp
-
Montani, S., Portinaie, L., Bobbio, A., Reiteri, D. C. 2006. Automatically translating dynamic fault trees into dynamic bayesian networks by means of a software tool. Proceedings of the The First International Conference on Availability, Reliability and Security, ARES 2006. IEEE Computer Society: pp. 804-809.
-
(2006)
Proceedings of the The First International Conference on Availability, Reliability and Security, ARES 2006
, pp. 804-809
-
-
Montani, S.1
Portinaie, L.2
Bobbio, A.3
Reiteri, D.C.4
-
13
-
-
56149103470
-
-
Vesely, W.E., Goldberg, F. F., Roberts, N. H., Haasl, D. F. 1981. Fault Tree Handbook. U. S. Nuclear Regulatory Commission, NUREG-0492, Washington DC.
-
Vesely, W.E., Goldberg, F. F., Roberts, N. H., Haasl, D. F. 1981. Fault Tree Handbook. U. S. Nuclear Regulatory Commission, NUREG-0492, Washington DC.
-
-
-
-
19
-
-
34548752181
-
Modeling distributed computing system reliability with DRBD
-
Washington, DC, USA. IEEE Computer Society: pp
-
Distefano, S., Scarpa, M., Puliafito, A. 2006. Modeling distributed computing system reliability with DRBD. Proceedings of the 25th IEEE Symposium on Reliable Distributed Systems (SRDS'06). Washington, DC, USA. IEEE Computer Society: pp. 106-118.
-
(2006)
Proceedings of the 25th IEEE Symposium on Reliable Distributed Systems (SRDS'06)
, pp. 106-118
-
-
Distefano, S.1
Scarpa, M.2
Puliafito, A.3
-
21
-
-
0026925395
-
Dynamic fault tree models for fault tolerant computer systems
-
Dugan, J. B., Bavuso, S., Boyd M. 1992. Dynamic fault tree models for fault tolerant computer systems. IEEE Transactions on Reliability. Vol. 41, no. 3: pp. 363-377.
-
(1992)
IEEE Transactions on Reliability
, vol.41
, Issue.3
, pp. 363-377
-
-
Dugan, J.B.1
Bavuso, S.2
Boyd, M.3
-
22
-
-
84992414199
-
Combining various solution techniques for dynamic fault tree analysis of computer systems
-
Manian, R., Dugan, J. B., Coppit, D., Sullivan, K. J. 1998. Combining various solution techniques for dynamic fault tree analysis of computer systems. Proceedings of IEEE International High-Assurance Systems Engineering Symposium.
-
(1998)
Proceedings of IEEE International High-Assurance Systems Engineering Symposium
-
-
Manian, R.1
Dugan, J.B.2
Coppit, D.3
Sullivan, K.J.4
-
23
-
-
0041852296
-
Reliability and performability techniques and tools: A survey
-
Malhotra, M. & Trivedi, K. S. 1993. Reliability and performability techniques and tools: a survey. MMB: pp. 27-48.
-
(1993)
MMB
, pp. 27-48
-
-
Malhotra, M.1
Trivedi, K.S.2
-
24
-
-
34250164195
-
Reliability analysis techniques explored through a communication network example
-
Trivedi, K. S., Hunter, S., Garg, S., Fricks, R. 1996. Reliability analysis techniques explored through a communication network example. International Workshop on Computer-Aided Design, Test, and Evaluation for Dependability.
-
(1996)
International Workshop on Computer-Aided Design, Test, and Evaluation for Dependability
-
-
Trivedi, K.S.1
Hunter, S.2
Garg, S.3
Fricks, R.4
-
25
-
-
0034542615
-
Formal semantics for computational engineering: A case study on dynamic fault trees
-
Coppit, D., Sullivan, K. J., Dugan, J. B. 2000. Formal semantics for computational engineering: A case study on dynamic fault trees. ISSRE: pp. 270-282.
-
(2000)
ISSRE
, pp. 270-282
-
-
Coppit, D.1
Sullivan, K.J.2
Dugan, J.B.3
-
26
-
-
2142697193
-
Modeling of system reliability using Petri nets with aging tokens
-
Volovoi, V. V. 2004 "Modeling of system reliability using Petri nets with aging tokens," Reliability Engineering and System Safety, Vol. 84, no. 2: pp. 149-161.
-
(2004)
Reliability Engineering and System Safety
, vol.84
, Issue.2
, pp. 149-161
-
-
Volovoi, V.V.1
-
27
-
-
84889396610
-
-
2nd ed. Wiley-Interscience
-
Bolch, G., Greiner, S. De Meer, H., Trivedi, K. S. 2006, Queuing Networks and Markov Chains: Modeling and Performance Evaluation with Computer Science Applications. 2nd ed. Wiley-Interscience.
-
(2006)
Queuing Networks and Markov Chains: Modeling and Performance Evaluation with Computer Science Applications
-
-
Bolch, G.1
Greiner, S.2
De Meer, H.3
Trivedi, K.S.4
-
28
-
-
0033872918
-
A modeling framework to implement preemption policies in non-Markovian SPNs
-
Bobbio, A., Puliafito, A., Telek, M. 2000. "A modeling framework to implement preemption policies in non-Markovian SPNs. IEEE Transaction on Software Engineering. Vol. 26, no. 1: pp. 36-54.
-
(2000)
IEEE Transaction on Software Engineering
, vol.26
, Issue.1
, pp. 36-54
-
-
Bobbio, A.1
Puliafito, A.2
Telek, M.3
-
29
-
-
4344576589
-
Reliability block diagram simulation techniques applied to the IEEE std. 493 standard network
-
Wang, W., Loman, J. M., Arno, R. G., Vassiliou, P., Furlong, E. R., Ogden, D. 2004. Reliability block diagram simulation techniques applied to the IEEE std. 493 standard network. IEEE Transaction on Industry Applications. Vol. 40, no. 3: pp. 887-895.
-
(2004)
IEEE Transaction on Industry Applications
, vol.40
, Issue.3
, pp. 887-895
-
-
Wang, W.1
Loman, J.M.2
Arno, R.G.3
Vassiliou, P.4
Furlong, E.R.5
Ogden, D.6
-
30
-
-
0025560285
-
A generalized reliability block diagram (RBD) simulation
-
Figiel, K. D. & Sule, D. R. 1990. A generalized reliability block diagram (RBD) simulation. Simulation Conference: pp. 551-556.
-
(1990)
Simulation Conference
, pp. 551-556
-
-
Figiel, K.D.1
Sule, D.R.2
-
31
-
-
35248817928
-
A parallel approach for the solution of non Markovian Petri Nets
-
10th European PVM/MPI Users' Group Conference EuroPVM/MPI03, Springer Verlag
-
Scarpa, M., Puliafito, A., Distefano, S. 2003. A parallel approach for the solution of non Markovian Petri Nets. 10th European PVM/MPI Users' Group Conference (EuroPVM/MPI03). Springer Verlag LNCS 2840: pp. 196-203.
-
(2003)
LNCS
, vol.2840
, pp. 196-203
-
-
Scarpa, M.1
Puliafito, A.2
Distefano, S.3
|