 | 2010 |
|---|
| 10 |       | Hichem Boudali,
Pepijn Crouzen,
Mariëlle Stoelinga:
A Rigorous, Compositional, and Extensible Framework for Dynamic Fault Tree Analysis.
IEEE Trans. Dependable Sec. Comput. 7(2): 128-143 (2010) |
| 2009 |
|---|
| 9 | | Hichem Boudali,
Hasan Sözer,
Mariëlle Stoelinga:
Architectural Availability Analysis of Software Decomposition for Local Recovery.
SSIRI 2009: 14-22 |
| 8 | | Hichem Boudali,
A. P. Nijmeijer,
Mariëlle Stoelinga:
DFTSim: a simulation tool for extended dynamic fault trees.
SpringSim 2009 |
| 2008 |
|---|
| 7 | | Hichem Boudali,
Pepijn Crouzen,
Boudewijn R. Haverkort,
Matthias Kuntz,
Mariëlle Stoelinga:
Architectural dependability evaluation with Arcade.
DSN 2008: 512-521 |
| 6 | | Hichem Boudali,
Pepijn Crouzen,
Boudewijn R. Haverkort,
Matthias Kuntz,
Mariëlle Stoelinga:
Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework.
ICECCS 2008: 243-248 |
| 5 | | Hichem Boudali,
Joanne Bechta Dugan:
Corrections on "A Continuous-Time Bayesian Network Reliability Modeling and Analysis Framework".
IEEE Transactions on Reliability 57(3): 532-533 (2008) |
| 4 | | Stefania Montani,
Hichem Boudali:
Special session on Bayesian networks in dependability.
Rel. Eng. & Sys. Safety 93(7): 921 (2008) |
| 2007 |
|---|
| 3 | | Hichem Boudali,
Pepijn Crouzen,
Mariëlle Stoelinga:
A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains.
ATVA 2007: 441-456 |
| 2 | | Hichem Boudali,
Pepijn Crouzen,
Mariëlle Stoelinga:
Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains.
DSN 2007: 708-717 |
| 2006 |
|---|
| 1 | | Hichem Boudali,
Joanne Bechta Dugan:
A continuous-time Bayesian network reliability modeling, and analysis framework.
IEEE Transactions on Reliability 55(1): 86-97 (2006) |
Data released under the ODC-BY 1.0 license — See also our legal information page