-
1
-
-
33845518171
-
-
NUREG/CR-6901, U.S. NRC
-
T. Aldemir, D.W. Miller, M. Stovsky, J. Kirschenbaum, P. Bucci, A.W. Fentiman, and L.T. Mangan, "Current State of Reliability Modeling Methodologies for Digital Systems and Their Acceptance Criteria for Nuclear Power Plant Assessments," NUREG/CR-6901, U.S. NRC (2006).
-
(2006)
Current State of Reliability Modeling Methodologies for Digital Systems and Their Acceptance Criteria for Nuclear Power Plant Assessments
-
-
Aldemir, T.1
Miller, D.W.2
Stovsky, M.3
Kirschenbaum, J.4
Bucci, P.5
Fentiman, A.W.6
Mangan, L.T.7
-
2
-
-
0026925395
-
Dynamic Fault -Tree Models for Fault-Tolerant Computer Systems
-
J.B. Dugan, S.J. Bavuso, and M.A. Boyd, "Dynamic Fault -Tree Models for Fault-Tolerant Computer Systems," IEEE Transactions on Reliability, 41, 363 (1992).
-
(1992)
IEEE Transactions on Reliability
, vol.41
, pp. 363
-
-
Dugan, J.B.1
Bavuso, S.J.2
Boyd, M.A.3
-
3
-
-
0032597677
-
The Galileo Fault Tree Analysis Tool
-
Madison, USA, Jun. 15-18
-
K.J. Sullivan, J.B. Dugan, and D. Coppit, "The Galileo Fault Tree Analysis Tool," Proceedings of Annual International Symposium on Fault-Tolerant computing, Madison, USA, Jun. 15-18, 1999.
-
(1999)
Proceedings of Annual International Symposium on Fault-Tolerant computing
-
-
Sullivan, K.J.1
Dugan, J.B.2
Coppit, D.3
-
4
-
-
0032648757
-
Bridging the Gap between Systems and Dynamic Fault Tree Models
-
Washington DC, USA, Jan. 18-21
-
R. Manian, D.W. Coppit, K.J. Sullivan, and J.B. Dugan, "Bridging the Gap between Systems and Dynamic Fault Tree Models," Proceedings of Annual Reliability and Maintainability Symposium, Washington DC, USA, Jan. 18-21, 1999.
-
(1999)
Proceedings of Annual Reliability and Maintainability Symposium
-
-
Manian, R.1
Coppit, D.W.2
Sullivan, K.J.3
Dugan, J.B.4
-
5
-
-
0037258748
-
A New Approach to Solve Dynamic Fault Trees
-
Tampa, USA, Jan. 27-30
-
S. Amari, G. Dill, and E. Howald, "A New Approach to Solve Dynamic Fault Trees," Proceedings of Annual Reliability and Maintainability Symposium, Tampa, USA, Jan. 27-30, 2003.
-
(2003)
Proceedings of Annual Reliability and Maintainability Symposium
-
-
Amari, S.1
Dill, G.2
Howald, E.3
-
6
-
-
0030781549
-
A Modular Approach for Analyzing Static and Dynamic Fault Trees
-
Philadelphia, USA, Jan. 13-16
-
R. Gulati and J.B. Dugan, "A Modular Approach for Analyzing Static and Dynamic Fault Trees," Proceedings of Annual Reliability and Maintainability Symposium, Philadelphia, USA, Jan. 13-16, 1997
-
(1997)
Proceedings of Annual Reliability and Maintainability Symposium
-
-
Gulati, R.1
Dugan, J.B.2
-
7
-
-
0000314447
-
Quantitative Fault Tree Analysis using Binary Decision Diagrams
-
R.M. Sinnamon and J.D. Andrews, "Quantitative Fault Tree Analysis using Binary Decision Diagrams," European Journal of Automation, 30, 1051 (1996).
-
(1996)
European Journal of Automation
, vol.30
, pp. 1051
-
-
Sinnamon, R.M.1
Andrews, J.D.2
-
9
-
-
0034155553
-
Developing a Low-Cost High-Quality Software Tool for Dynamic Fault-Tree Analysis
-
J.B. Dugan, K.J. Sullivan, and D. Coppit, "Developing a Low-Cost High-Quality Software Tool for Dynamic Fault-Tree Analysis," IEEE Transactions on reliability, 49, 49 (2000).
-
(2000)
IEEE Transactions on reliability
, vol.49
, pp. 49
-
-
Dugan, J.B.1
Sullivan, K.J.2
Coppit, D.3
-
10
-
-
9444266483
-
A Discrete-time Bayesian Network Reliability Modeling and Analysis Framework
-
H. Boudali and J.B. Dugan, "A Discrete-time Bayesian Network Reliability Modeling and Analysis Framework," Reliability Engineering and System Safety, 87, 337 (2005).
-
(2005)
Reliability Engineering and System Safety
, vol.87
, pp. 337
-
-
Boudali, H.1
Dugan, J.B.2
-
11
-
-
33644900957
-
A Contiuous-Time Bayesian Network Reliability Modeling, and Analysis Framework
-
H. Boudali and J.B. Dugan, "A Contiuous-Time Bayesian Network Reliability Modeling, and Analysis Framework," IEEE Transactions of Reliability, 55, 86 (2006).
-
(2006)
IEEE Transactions of Reliability
, vol.55
, pp. 86
-
-
Boudali, H.1
Dugan, J.B.2
-
12
-
-
39749155904
-
Radyban: A Tool for Reliability Analysis of Dynamic Fault Trees through Conversion into Dynamic Bayesian Networks
-
S. Montani, L. Portinale, A. Bobbio, D. Codetta-Raiteri, "Radyban: A Tool for Reliability Analysis of Dynamic Fault Trees through Conversion into Dynamic Bayesian Networks," Reliability Engineering & System Safety, 93, 922(2008).
-
(2008)
Reliability Engineering & System Safety
, vol.93
, pp. 922
-
-
Montani, S.1
Portinale, L.2
Bobbio, A.3
Codetta-Raiteri, D.4
-
13
-
-
0027540587
-
Generalized Stochastic Petri Nets: A Definition at the Net Level and its Implications
-
G. Chiola, M.A. Marsan, G. Balbo, and G. Conte, "Generalized Stochastic Petri Nets: A Definition at the Net Level and its Implications," IEEE Transactions on Software Engineering, 19, 89 (1993).
-
(1993)
IEEE Transactions on Software Engineering
, vol.19
, pp. 89
-
-
Chiola, G.1
Marsan, M.A.2
Balbo, G.3
Conte, G.4
-
14
-
-
0010646794
-
GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets
-
G. Chiola, G. Franceschinis, R. Gaeta, and M. Ribaudo, "GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets," Performance Evaluation, 24, 47 (1995).
-
(1995)
Performance Evaluation
, vol.24
, pp. 47
-
-
Chiola, G.1
Franceschinis, G.2
Gaeta, R.3
Ribaudo, M.4
-
15
-
-
14944386109
-
The Conversion of Dynamic Fault Trees to Stochastic Petri Nets, as a Case of Graph Transformation
-
D. Codetta-Raiteri, "The Conversion of Dynamic Fault Trees to Stochastic Petri Nets, as a Case of Graph Transformation," Electronic Notes in Theoretical Computer Science, 127, 45 (2005).
-
(2005)
Electronic Notes in Theoretical Computer Science
, vol.127
, pp. 45
-
-
Codetta-Raiteri, D.1
-
16
-
-
0033872918
-
A Modeling Framework to implement Preemption Policies in Non-Markovian SPNs
-
A. Bobbio, A. Puliafito, and M. Tekel, "A Modeling Framework to implement Preemption Policies in Non-Markovian SPNs," IEEE Transactions on Software Engineering, 26, 36 (2000).
-
(2000)
IEEE Transactions on Software Engineering
, vol.26
, pp. 36
-
-
Bobbio, A.1
Puliafito, A.2
Tekel, M.3
-
17
-
-
2142697193
-
Modeling of System Reliability using Petri Nets with Aging Tokens
-
V. Volovoi, "Modeling of System Reliability using Petri Nets with Aging Tokens," Reliability Engineering & System Safety, 84, 149 (2004).
-
(2004)
Reliability Engineering & System Safety
, vol.84
, pp. 149
-
-
Volovoi, V.1
-
19
-
-
34250168669
-
A New Approach to Modeling the System Reliability: Dynamic Reliability Block Diagrams
-
Newport Beach, USA, Jan. 23-26
-
S. Distefano, L. Xing, "A New Approach to Modeling the System Reliability: Dynamic Reliability Block Diagrams," Proceedings of Annual Reliability and Maintainability Symposium, Newport Beach, USA, Jan. 23-26, 2006.
-
(2006)
Proceedings of Annual Reliability and Maintainability Symposium
-
-
Distefano, S.1
Xing, L.2
-
20
-
-
34548707284
-
Dependability Modeling and Analysis in Dynamic Systems
-
Long Beach, USA, Mar. 26-30
-
S. Distefano, A. Puliafito, "Dependability Modeling and Analysis in Dynamic Systems," Proceedings of Parallel and Distributed Processing Symposium, Long Beach, USA, Mar. 26-30, 2007.
-
(2007)
Proceedings of Parallel and Distributed Processing Symposium
-
-
Distefano, S.1
Puliafito, A.2
-
21
-
-
2442463433
-
FPGA-based Monte Carlo Simulation for Fault Tree Analysis
-
A. Ejlali, S.G. Miremadi, "FPGA-based Monte Carlo Simulation for Fault Tree Analysis," Microelectronics Reliability, 44, 1017 (2004).
-
(2004)
Microelectronics Reliability
, vol.44
, pp. 1017
-
-
Ejlali, A.1
Miremadi, S.G.2
-
22
-
-
0036890848
-
Reliability Graph with General Gates: An Intuitive and Practical Method for System Reliability Analysis
-
M.C. Kim and P.H. Seong, "Reliability Graph with General Gates: an Intuitive and Practical Method for System Reliability Analysis," Reliability Engineering and System Safety, 78, 239 (2002).
-
(2002)
Reliability Engineering and System Safety
, vol.78
, pp. 239
-
-
Kim, M.C.1
Seong, P.H.2
-
23
-
-
31544459218
-
A computational method for probabilistic safety assessment of I&C systems and human operators in nuclear power plants
-
M.C. Kim and P.H. Seong, "A computational method for probabilistic safety assessment of I&C systems and human operators in nuclear power plants," Reliability Engineering and System Safety, 91, 580 (2006).
-
(2006)
Reliability Engineering and System Safety
, vol.91
, pp. 580
-
-
Kim, M.C.1
Seong, P.H.2
|