-
1
-
-
0037258748
-
A new approach to solve dynamic fault-trees
-
Tampa, FL, USA
-
S. Amari, G. Dill, and E. Howals, "A new approach to solve dynamic fault-trees," in Proceedings of the IEEE Annual Reliability and Maintainability Symposium, Tampa, FL, USA, 2003, pp. 374-379.
-
(2003)
Proceedings of the IEEE Annual Reliability and Maintainability Symposium
, pp. 374-379
-
-
Amari, S.1
Dill, G.2
Howals, E.3
-
2
-
-
2342642742
-
Parametric Fault-trees with dynamic gates and repair boxes
-
Los Angeles, CA, USA
-
A. Bobbio and D. Codetta Raiteri, "Parametric Fault-trees with dynamic gates and repair boxes," in Proceedings of the IEEE Annual Reliability and Maintainability Symposium, Los Angeles, CA, USA, 2004, pp. 459-465.
-
(2004)
Proceedings of the IEEE Annual Reliability and Maintainability Symposium
, pp. 459-465
-
-
Bobbio, A.1
Codetta Raiteri, D.2
-
3
-
-
49149122017
-
Dynamic fault tree analysis through input/output interactive Markov chains
-
Edinburgh, UK
-
H. Boudali, P. Crouzen, and M. Stoelinga, "Dynamic fault tree analysis through input/output interactive Markov chains," in Proceedings of the International Conference on Dependable Systems and Networks (DSN 2007), Edinburgh, UK, 2007, pp. 25-38.
-
(2007)
Proceedings of the International Conference on Dependable Systems and Networks (DSN 2007)
, pp. 25-38
-
-
Boudali, H.1
Crouzen, P.2
Stoelinga, M.3
-
4
-
-
38149124009
-
A compositional semantics for dynamic fault tree in terms of interactive Markov chains
-
H. Boudali, P. Crouzen, and M. Stoelinga, "A compositional semantics for dynamic fault tree in terms of interactive Markov chains," in International Symposium on Automated Technology for Verification and Analysis (ATVA'07), 2007, vol. 4762, pp. 441-456.
-
(2007)
International Symposium on Automated Technology for Verification and Analysis (ATVA'07)
, vol.4762
, pp. 441-456
-
-
Boudali, H.1
Crouzen, P.2
Stoelinga, M.3
-
5
-
-
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, vol. 87, no. 3, pp. 337-349, 2005.
-
(2005)
Reliability Engineering and System Safety
, vol.87
, Issue.3
, pp. 337-349
-
-
Boudali, H.1
Dugan, J.B.2
-
6
-
-
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 on Theoretical Computer Science, vol. 127, no. 2, pp. 45-60, 2005.
-
(2005)
Electronic Notes on Theoretical Computer Science
, vol.127
, Issue.2
, pp. 45-60
-
-
Codetta Raiteri, D.1
-
7
-
-
0034542615
-
Formal semantics of models for computational engineering: A case study on dynamic fault trees
-
San Jose, CA, USA
-
D. Coppit, K. J. Sullivan, and J. B. Dugan, "Formal semantics of models for computational engineering: A case study on dynamic fault trees," in International Symposium on Software Reliability Engineering (ISSRE'2000), San Jose, CA, USA, 2000, pp. 270-282.
-
(2000)
International Symposium on Software Reliability Engineering (ISSRE'2000)
, pp. 270-282
-
-
Coppit, D.1
Sullivan, K.J.2
Dugan, J.B.3
-
8
-
-
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 Trans. Reliability, vol. 41, no. 3, pp. 363-377, 1992.
-
(1992)
IEEE Trans. Reliability
, vol.41
, Issue.3
, pp. 363-377
-
-
Dugan, J.B.1
Bavuso, S.J.2
Boyd, M.A.3
-
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 Trans. Reliability, vol. 49, no. 1, pp. 49-59, 2000.
-
(2000)
IEEE Trans. Reliability
, vol.49
, Issue.1
, pp. 49-59
-
-
Dugan, J.B.1
Sullivan, K.J.2
Coppit, D.3
-
10
-
-
0030245278
-
A linear-time algorithm to find modules of fault tree
-
Y. Dutuit and A. Rauzy, "A linear-time algorithm to find modules of fault tree," IEEE Trans. Reliability, vol. 45, no. 3, pp. 422-425, 1996.
-
(1996)
IEEE Trans. Reliability
, vol.45
, Issue.3
, pp. 422-425
-
-
Dutuit, Y.1
Rauzy, A.2
-
11
-
-
0017266096
-
On the quantitative analysis of priority-AND failure logic
-
J. B. Fussel, E. F. Aber, and R. G. Rahl, "On the quantitative analysis of priority-AND failure logic," IEEE Trans. Reliability, vol. 25, no. 5, pp. 324-326, 1976.
-
(1976)
IEEE Trans. Reliability
, vol.25
, Issue.5
, pp. 324-326
-
-
Fussel, J.B.1
Aber, E.F.2
Rahl, R.G.3
-
12
-
-
0030781549
-
A modular approach for analyzing static and dynamic fault-trees
-
Philadelphia, PA, USA
-
R. Gulati and J. B. Dugan, "A modular approach for analyzing static and dynamic fault-trees," in Proceedings of the IEEE Annual Reliability and Maintainability Symposium, Philadelphia, PA, USA, 1997, pp. 57-63.
-
(1997)
Proceedings of the IEEE Annual Reliability and Maintainability Symposium
, pp. 57-63
-
-
Gulati, R.1
Dugan, J.B.2
-
15
-
-
0028508088
-
Power-hierarchy among dependability model types
-
M. Malhotra and K. Trivedi, "Power-hierarchy among dependability model types," IEEE Trans. Reliability, vol. 43, no. 3, pp. 493-502, 1994.
-
(1994)
IEEE Trans. Reliability
, vol.43
, Issue.3
, pp. 493-502
-
-
Malhotra, M.1
Trivedi, K.2
-
16
-
-
79960898127
-
Algebraic modelling of fault trees with Priority AND gates
-
Cachan, France
-
G. Merle and J. M. Roussel, "Algebraic modelling of fault trees with Priority AND gates," in Proceedings of the 1st IFAC Workshop on Dependable Control of Discrete Systems (DCDS'07), Cachan, France, 2007, pp. 175-180.
-
(2007)
Proceedings of the 1st IFAC Workshop on Dependable Control of Discrete Systems (DCDS'07)
, pp. 175-180
-
-
Merle, G.1
Roussel, J.M.2
-
17
-
-
77949271781
-
-
G. Merle, J. M. Roussel, and J. J. Lesage, Algebraic Framework for the Modelling of Priority Dynamic Fault Trees 2008 [Online]. Available: http://www.lurpa.ens-cachan.fr/isa/aadft/documents/LURPA-2008-Framework.pdf, Internal report
-
G. Merle, J. M. Roussel, and J. J. Lesage, Algebraic Framework for the Modelling of Priority Dynamic Fault Trees 2008 [Online]. Available: http://www.lurpa.ens-cachan.fr/isa/aadft/documents/LURPA-2008-Framework.pdf, Internal report
-
-
-
-
18
-
-
0035720977
-
Mathematical foundations of minimal cutsets
-
A. Rauzy, "Mathematical foundations of minimal cutsets," IEEE Trans. Reliability, vol. 50, no. 4, pp. 389-396, 2001.
-
(2001)
IEEE Trans. Reliability
, vol.50
, Issue.4
, pp. 389-396
-
-
Rauzy, A.1
-
20
-
-
2342504409
-
Minimal cutset/sequence generation for dynamic fault trees
-
Los Angeles, CA, USA
-
Z. Tang and J. B. Dugan, "Minimal cutset/sequence generation for dynamic fault trees," in Proceedings of the IEEE Annual Reliability and Maintainability Symposium, Los Angeles, CA, USA, 2004, pp. 207-213.
-
(2004)
Proceedings of the IEEE Annual Reliability and Maintainability Symposium
, pp. 207-213
-
-
Tang, Z.1
Dugan, J.B.2
-
22
-
-
44349127262
-
Quantitative analysis of a fault tree with priority AND gates
-
T. Yuge and S. Yanagi, "Quantitative analysis of a fault tree with priority AND gates," Reliability Engineering and System Safety, vol. 93, no. 11, pp. 1577-1583, 2008.
-
(2008)
Reliability Engineering and System Safety
, vol.93
, Issue.11
, pp. 1577-1583
-
-
Yuge, T.1
Yanagi, S.2
|