Hichem Boudali

Publication Activity (10 Years)

Years Active: 2005-2017
Publications (10 Years): 1

Top Topics

Functional Requirements

Reference Model

Software Architecture

Top Venues

Softw. Qual. J.

Publications

Hasan Sözer, Mariëlle Stoelinga, Hichem Boudali, Mehmet Aksit
Availability analysis of software architecture decomposition alternatives for local recovery. Softw. Qual. J. 25 (2) (2017)
Hichem Boudali, Pepijn Crouzen, Mariëlle Stoelinga
A Rigorous, Compositional, and Extensible Framework for Dynamic Fault Tree Analysis. IEEE Trans. Dependable Secur. Comput. 7 (2) (2010)
Hichem Boudali, A. P. Nijmeijer, Mariëlle Stoelinga
DFTSim: a simulation tool for extended dynamic fault trees. SpringSim (2009)
Hichem Boudali, Hasan Sözer, Mariëlle Stoelinga
Architectural Availability Analysis of Software Decomposition for Local Recovery. SSIRI (2009)
Stefania Montani, Hichem Boudali
Special session on Bayesian networks in dependability. Reliab. Eng. Syst. Saf. 93 (7) (2008)
Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga
Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework. ICECCS (2008)
Hichem Boudali, Joanne Bechta Dugan
Corrections on "A Continuous-Time Bayesian Network Reliability Modeling and Analysis Framework". IEEE Trans. Reliab. 57 (3) (2008)
Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga
Architectural dependability evaluation with Arcade. DSN (2008)
Hichem Boudali, Pepijn Crouzen, Mariëlle Stoelinga
A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains. ATVA (2007)
Hichem Boudali, Pepijn Crouzen, Mariëlle Stoelinga
Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains. DSN (2007)
Hichem Boudali, Joanne Bechta Dugan
A continuous-time Bayesian network reliability modeling, and analysis framework. IEEE Trans. Reliab. 55 (1) (2006)
Hichem Boudali, Joanne Bechta Dugan
A discrete-time Bayesian network reliability modeling and analysis framework. Reliab. Eng. Syst. Saf. 87 (3) (2005)