-
1
-
-
29144457584
-
-
University of Maryland, College Park, Maryland, USA
-
QRAS 1.7 User's manual. University of Maryland, College Park, Maryland, USA; 2002.
-
(2002)
QRAS 1.7 User's Manual
-
-
-
2
-
-
29144475919
-
Probabilistic risk assessment for the international space station PRA
-
Torino, Italy; September 16-20
-
Smith C, O'Connor B. Probabilistic risk assessment for the international space station PRA. In: Proceedings of the ESREL 2001, Torino, Italy; September 16-20, 2001.
-
(2001)
Proceedings of the ESREL 2001
-
-
Smith, C.1
O'Connor, B.2
-
4
-
-
0003764410
-
-
NUREG/CR 2300, US NRC, Washington DC
-
PRA procedures guide, NUREG/CR 2300, US NRC, Washington DC; 1983.
-
(1983)
PRA Procedures Guide
-
-
-
6
-
-
0032710909
-
The event sequence diagram framework for dynamic probabilistic risk assessment
-
S. Swaminathan, and C. Smidts The event sequence diagram framework for dynamic probabilistic risk assessment Reliab Eng Syst Saf 63 1 1999 73 90
-
(1999)
Reliab Eng Syst Saf
, vol.63
, Issue.1
, pp. 73-90
-
-
Swaminathan, S.1
Smidts, C.2
-
7
-
-
0004149831
-
-
4th ed Cambridge University Press Cambridge
-
S. Wolfram The mathematica book 4th ed 1999 Cambridge University Press Cambridge
-
(1999)
The Mathematica Book
-
-
Wolfram, S.1
-
10
-
-
0022769976
-
Graph based algorithms for Boolean function manipulation
-
R. Bryant Graph based algorithms for Boolean function manipulation IEEE Trans Comput 1986 677 691
-
(1986)
IEEE Trans Comput
, pp. 677-691
-
-
Bryant, R.1
-
12
-
-
0031276402
-
Exact and truncated computations of prime implicants of coherent and non-coherent fault trees within Aralia
-
A. Rauzy, and Y. Dutuit Exact and truncated computations of prime implicants of coherent and non-coherent fault trees within Aralia Reliab Eng Syst Saf 58 2 1997 127 144
-
(1997)
Reliab Eng Syst Saf
, vol.58
, Issue.2
, pp. 127-144
-
-
Rauzy, A.1
Dutuit, Y.2
-
13
-
-
0034197755
-
Event tree analysis using binary decision diagrams
-
J.D. Andrews, and S.J. Dunnett Event tree analysis using binary decision diagrams IEEE Trans Reliab 49 2 2000 230 238
-
(2000)
IEEE Trans Reliab
, vol.49
, Issue.2
, pp. 230-238
-
-
Andrews, J.D.1
Dunnett, S.J.2
-
14
-
-
0017983865
-
Binary decision diagrams
-
B. Akers Binary decision diagrams IEEE Trans Comput 276 1978 509 516
-
(1978)
IEEE Trans Comput
, vol.276
, pp. 509-516
-
-
Akers, B.1
-
15
-
-
0026913667
-
Symbolic manipulation with ordered binary decision diagrams
-
R. Bryant Symbolic manipulation with ordered binary decision diagrams ACM Comput Surveys 24 1992 293 318
-
(1992)
ACM Comput Surveys
, vol.24
, pp. 293-318
-
-
Bryant, R.1
-
16
-
-
0027289814
-
New algorithms for fault tree analysis
-
A. Rauzy New algorithms for fault tree analysis Reliab Eng Syst Saf 40 3 1993 203 211
-
(1993)
Reliab Eng Syst Saf
, vol.40
, Issue.3
, pp. 203-211
-
-
Rauzy, A.1
-
17
-
-
0031222261
-
Improved efficiency in qualitative fault tree analysis
-
R.M. Sinnamon, and J.D. Andrews Improved efficiency in qualitative fault tree analysis Qual Reliab Eng Int 13 5 1997 293 298
-
(1997)
Qual Reliab Eng Int
, vol.13
, Issue.5
, pp. 293-298
-
-
Sinnamon, R.M.1
Andrews, J.D.2
-
18
-
-
0030781549
-
A modular approach for analyzing static and dynamic fault trees
-
Gulati R, Dugan J. A modular approach for analyzing static and dynamic fault trees. In: Proceedings of the RAMS 97; 1997.
-
(1997)
Proceedings of the RAMS 97
-
-
Gulati, R.1
Dugan, J.2
-
19
-
-
0032657827
-
Efficient basic event ordering schemes for fault tree analysis
-
L.M. Bartlett, and J.D. Andrews Efficient basic event ordering schemes for fault tree analysis Qual Reliab Eng Int 15 2 1999 95 101
-
(1999)
Qual Reliab Eng Int
, vol.15
, Issue.2
, pp. 95-101
-
-
Bartlett, L.M.1
Andrews, J.D.2
-
20
-
-
0035341763
-
Efficient algorithms to assess component and gate importance in fault tree analysis
-
Y. Dutuit, and A. Rauzy Efficient algorithms to assess component and gate importance in fault tree analysis Reliab Eng Syst Saf 72 2 2001 213 222
-
(2001)
Reliab Eng Syst Saf
, vol.72
, Issue.2
, pp. 213-222
-
-
Dutuit, Y.1
Rauzy, A.2
-
21
-
-
0014926051
-
A time-dependent methodology for fault tree evaluation
-
W. Vesely A time-dependent methodology for fault tree evaluation Nucl Eng Des 13 2 1970 337 360
-
(1970)
Nucl Eng des
, vol.13
, Issue.2
, pp. 337-360
-
-
Vesely, W.1
-
25
-
-
0012208099
-
BDD-based fault tree processing: A comparison of variable ordering heuristics
-
Bouissou M, Bruyere F, Rauzy A. BDD-based fault tree processing: a comparison of variable ordering heuristics. In: Proceedings of the ESREL97; 1997.
-
(1997)
Proceedings of the ESREL97
-
-
Bouissou, M.1
Bruyere, F.2
Rauzy, A.3
-
26
-
-
0035329289
-
Comparison of two new approaches to variable ordering for binary decision diagrams
-
L. Bartlett, and J. Andrews Comparison of two new approaches to variable ordering for binary decision diagrams Qual Reliab Eng Int 17 3 2001 151 158
-
(2001)
Qual Reliab Eng Int
, vol.17
, Issue.3
, pp. 151-158
-
-
Bartlett, L.1
Andrews, J.2
-
27
-
-
0029755826
-
An ordering heuristic for building binary decision diagrams from fault trees
-
Las Vegas
-
Bouissou M. An ordering heuristic for building binary decision diagrams from fault trees. In: Proceedings of the RAMS. 96. Las Vegas; 1996. p. 208-14.
-
(1996)
Proceedings of the RAMS. 96
, pp. 208-214
-
-
Bouissou, M.1
-
28
-
-
0034197755
-
Event tree analysis using binary decision diagrams
-
J.D. Andrews, and S.J. Dunnett Event tree analysis using binary decision diagrams IEEE Trans Reliab 49 2 2000 230 239
-
(2000)
IEEE Trans Reliab
, vol.49
, Issue.2
, pp. 230-239
-
-
Andrews, J.D.1
Dunnett, S.J.2
-
29
-
-
0013352654
-
Binary decision diagrams and the multiple variable order problem
-
Cabodi G, Quer S, Meinel C, Sack H, Slobodova A, Stangier C. Binary decision diagrams and the multiple variable order problem. In: Proceedings of the international workshop on logic synthesis; 1998. p. 346-52.
-
(1998)
Proceedings of the International Workshop on Logic Synthesis
, pp. 346-52
-
-
Cabodi, G.1
Quer, S.2
Meinel, C.3
Sack, H.4
Slobodova, A.5
Stangier, C.6
-
30
-
-
84949802600
-
The multiple variable order problem for binary decision diagrams: Theory and application
-
Asia and South Pacific design automation conference, Yokohama, Japan
-
Scholl C, Becker B, Brogle A. The multiple variable order problem for binary decision diagrams: theory and application. In: Proceedings of the ASP-DAC 2001. Asia and South Pacific design automation conference, Yokohama, Japan; 2001.
-
(2001)
Proceedings of the ASP-DAC 2001
-
-
Scholl, C.1
Becker, B.2
Brogle, A.3
-
31
-
-
0017478292
-
Phased mission analysis: A review of new developments and an application
-
G.R. Burdick, J.B. Fussell, D.M. Rasmussen, and R. Wilson Phased mission analysis: a review of new developments and an application IEEE Trans Reliab 26 1 1977 43 49
-
(1977)
IEEE Trans Reliab
, vol.26
, Issue.1
, pp. 43-49
-
-
Burdick, G.R.1
Fussell, J.B.2
Rasmussen, D.M.3
Wilson, R.4
-
32
-
-
0018468345
-
A comparison of three methods for selecting values of input variables in the analysis of output from a computer code
-
M.D. McKay, W.J. Conover, and R. Beckman A comparison of three methods for selecting values of input variables in the analysis of output from a computer code Technometrics 21 1979 239 245
-
(1979)
Technometrics
, vol.21
, pp. 239-245
-
-
McKay, M.D.1
Conover, W.J.2
Beckman, R.3
-
33
-
-
29144471313
-
-
NUREG/CR-6532
-
Russell KD, Hoffman CL, Kvarfordt KJ, Lois E, Smith CL, Telwood S. Systems analysis programs for hands-on integrated reliability evaluations (SAPHIRE) Version 6.0 system overview manual, NUREG/CR-6532; 1999.
-
(1999)
Systems Analysis Programs for Hands-on Integrated Reliability Evaluations (SAPHIRE) Version 6.0 System Overview Manual
-
-
Russell, K.D.1
Hoffman, C.L.2
Kvarfordt, K.J.3
Lois, E.4
Smith, C.L.5
Telwood, S.6
-
34
-
-
29144453502
-
-
@RISK 4.5, Palisade Corporation
-
@RISK 4.5, Palisade Corporation, http://www.palisade.com/html/risk.asp.
-
-
-
|