| * | 2008 |
|---|
| 4 | EE | Hichem Boudali,
Pepijn Crouzen,
Boudewijn R. Haverkort,
Matthias Kuntz,
Mariëlle Stoelinga:
Architectural dependability evaluation with Arcade.
DSN 2008: 512-521 |
| 3 | EE | 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 |
| 2007 |
|---|
| 2 | EE | Hichem Boudali,
Pepijn Crouzen,
Mariëlle Stoelinga:
A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains.
ATVA 2007: 441-456 |
| 1 | EE | Hichem Boudali,
Pepijn Crouzen,
Mariëlle Stoelinga:
Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains.
DSN 2007: 708-717 |
