☰

Hichem Boudali, Ph.D.

Affiliations: 
2005 University of Virginia, Charlottesville, VA 
Area:
Electronics and Electrical Engineering
Google:
"Hichem Boudali"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
Joanne B. Dugan grad student 2005 UVA
 (A temporal Bayesian network reliability modeling and analysis framework.)

Children

Sign in to add trainee

Collaborators

Sign in to add collaborator
BETA: Related publications

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
See more...