Hichem Boudali, Ph.D.
Affiliations: | 2005 | University of Virginia, Charlottesville, VA |
Area:
Electronics and Electrical EngineeringGoogle:
"Hichem Boudali"Parents
Sign in to add mentorJoanne B. Dugan | grad student | 2005 | UVA | |
(A temporal Bayesian network reliability modeling and analysis framework.) |
BETA: Related publications
See more...
Publications
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
Sözer H, Stoelinga M, Boudali H, et al. (2016) Availability analysis of software architecture decomposition alternatives for local recovery Software Quality Journal. 1-27 |
Boudali H, Crouzen P, Stoelinga M. (2010) A rigorous, compositional, and extensible framework for dynamic fault tree analysis Ieee Transactions On Dependable and Secure Computing. 7: 128-143 |
Boudali H, Sözer H, Stoelinga M. (2009) Architectural availability analysis of software decomposition for local recovery Ssiri 2009 - 3rd Ieee International Conference On Secure Software Integration Reliability Improvement. 14-22 |
Boudali H, Dugan JB. (2008) Corrections on “A Continuous-Time Bayesian Network Reliability Modeling and Analysis Framework” [Mar 06 86-97] Ieee Transactions On Reliability. 57: 532-533 |
Boudali H, Crouzen P, Haverkort BR, et al. (2008) Arcade - A formal, extensible, model-based dependability evaluation framework Proceedings of the Ieee International Conference On Engineering of Complex Computer Systems, Iceccs. 243-248 |
Boudali H, Crouzen P, Haverkort BR, et al. (2008) Architectural dependability evaluation with Arcade Proceedings of the International Conference On Dependable Systems and Networks. 512-521 |
Montani S, Boudali H. (2008) Special session on Bayesian networks in dependability Reliability Engineering and System Safety. 93: 921 |
Boudali H, Crouzen P, Stoelinga M. (2007) Dynamic fault tree analysis using input/output interactive Markov chains Proceedings of the International Conference On Dependable Systems and Networks. 708-717 |
Boudali H, Crouzen P, Stoelinga M. (2007) A compositional semantics for dynamic fault trees in terms of interactive Markov chains Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4762: 441-456 |
Boudali H, Dugan JB. (2006) A continuous-time Bayesian network reliability modeling, and analysis framework Ieee Transactions On Reliability. 55: 86-97 |