Search Results - "Boudali, H."
-
1
A discrete-time Bayesian network reliability modeling and analysis framework
Published in Reliability engineering & system safety (01-03-2005)“…Dependability tools are becoming an indispensable tool for modeling and analyzing (critical) systems. However the growing complexity of such systems calls for…”
Get full text
Journal Article -
2
A continuous-time Bayesian network reliability modeling, and analysis framework
Published in IEEE transactions on reliability (01-03-2006)“…We present a continuous-time Bayesian network (CTBN) framework for dynamic systems reliability modeling and analysis. Dynamic systems exhibit complex behaviors…”
Get full text
Journal Article -
3
A new Bayesian network approach to solve dynamic fault trees
Published in Annual Reliability and Maintainability Symposium, 2005. Proceedings (2005)“…We explore the usage of Bayesian networks (BNs) for reliability modeling and analysis of dynamic systems. Dynamic system components exhibit complex behaviors…”
Get full text
Conference Proceeding
-
4
Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains
Published in 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07) (01-06-2007)“…Dynamic fault trees (DFT) extend standard fault trees by allowing the modeling of complex system components' behaviors and interactions. Being a high level…”
Get full text
Conference Proceeding -
5
Corrections on "A Continuous-Time Bayesian Network Reliability Modeling and Analysis Framework" [Mar 06 86-97]
Published in IEEE transactions on reliability (01-09-2008)“…In the above titled paper (ibid., vol 55, no. 1, pp. 86-97, Mar 06), a few errors and typos occurred. The corrections are presented here…”
Get full text
Journal Article -
6
Architectural dependability evaluation with Arcade
Published in 2008 IEEE International Conference on Dependable Systems and Networks With FTCS and DCC (DSN) (01-06-2008)“…This paper proposes a formally well-rooted and extensible framework for dependability evaluation: Arcade (architectural dependability evaluation). It has been…”
Get full text
Conference Proceeding -
7
Architectural Availability Analysis of Software Decomposition for Local Recovery
Published in 2009 Third IEEE International Conference on Secure Software Integration and Reliability Improvement (01-07-2009)“…Non-functional properties, such as timeliness, resource consumption and reliability are of crucial importance for today's software systems. Therefore, it is…”
Get full text
Conference Proceeding