A discrete-time Bayesian network reliability modeling and analysis framework. - Hichem Boudali; Joanne Bechta Dugan (Reliab. Eng. Syst. Saf., 2005)

A continuous-time Bayesian network reliability modeling, and analysis framework. - Hichem Boudali; Joanne Bechta Dugan (IEEE Trans. Reliab., 2006)

A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains. - Hichem Boudali; Pepijn Crouzen; Mariëlle Stoelinga (ATVA, 2007)

Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains. - Hichem Boudali; Pepijn Crouzen; Mariëlle Stoelinga (DSN, 2007)

Architectural dependability evaluation with Arcade. - Hichem Boudali; Pepijn Crouzen; Boudewijn R. Haverkort; Matthias Kuntz; Mariëlle Stoelinga (DSN, 2008)

Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework. - Hichem Boudali; Pepijn Crouzen; Boudewijn R. Haverkort; Matthias Kuntz; Mariëlle Stoelinga (ICECCS, 2008)

Special session on Bayesian networks in dependability. - Stefania Montani; Hichem Boudali (Reliab. Eng. Syst. Saf., 2008)

Corrections on "A Continuous-Time Bayesian Network Reliability Modeling and Analysis Framework". - Hichem Boudali; Joanne Bechta Dugan (IEEE Trans. Reliab., 2008)

DFTSim: a simulation tool for extended dynamic fault trees. - Hichem Boudali; A. P. Nijmeijer; Mariëlle Stoelinga (SpringSim, 2009)

Architectural Availability Analysis of Software Decomposition for Local Recovery. - Hichem Boudali; Hasan Sözer; Mariëlle Stoelinga (SSIRI, 2009)

A Rigorous, Compositional, and Extensible Framework for Dynamic Fault Tree Analysis. - Hichem Boudali; Pepijn Crouzen; Mariëlle Stoelinga (IEEE Trans. Dependable Secur. Comput., 2010)

Availability analysis of software architecture decomposition alternatives for local recovery. - Hasan Sözer; Mariëlle Stoelinga; Hichem Boudali; Mehmet Aksit (Softw. Qual. J., 2017)