Hichem Boudali

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