Hichem Boudali

According to our database, Hichem Boudali authored at least 12 papers between 2005 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Availability analysis of software architecture decomposition alternatives for local recovery.

Hasan Sözer, Mariëlle Stoelinga, Hichem Boudali, Mehmet Aksit

Softw. Qual. J., 2017

2010

A Rigorous, Compositional, and Extensible Framework for Dynamic Fault Tree Analysis.

Hichem Boudali, Pepijn Crouzen, Mariëlle Stoelinga

IEEE Trans. Dependable Secur. Comput., 2010

2009

Architectural Availability Analysis of Software Decomposition for Local Recovery.

Hichem Boudali, Hasan Sözer, Mariëlle Stoelinga

Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009

DFTSim: a simulation tool for extended dynamic fault trees.

Hichem Boudali, A. P. Nijmeijer, Mariëlle Stoelinga

Proceedings of the 2009 Spring Simulation Multiconference, SpringSim 2009, 2009

2008

Corrections on "A Continuous-Time Bayesian Network Reliability Modeling and Analysis Framework".

Hichem Boudali, Joanne Bechta Dugan

IEEE Trans. Reliab., 2008

Special session on Bayesian networks in dependability.

Stefania Montani, Hichem Boudali

Reliab. Eng. Syst. Saf., 2008

Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework.

Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga

Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008

Architectural dependability evaluation with Arcade.

Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga

Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2008

2007

Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains.

Hichem Boudali, Pepijn Crouzen, Mariëlle Stoelinga

Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007

A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains.

Hichem Boudali, Pepijn Crouzen, Mariëlle Stoelinga

Proceedings of the Automated Technology for Verification and Analysis, 2007

2006

A continuous-time Bayesian network reliability modeling, and analysis framework.

Hichem Boudali, Joanne Bechta Dugan

IEEE Trans. Reliab., 2006

2005

A discrete-time Bayesian network reliability modeling and analysis framework.

Hichem Boudali, Joanne Bechta Dugan

Reliab. Eng. Syst. Saf., 2005