2008 | ||
---|---|---|
3 | EE | Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga: Architectural dependability evaluation with Arcade. DSN 2008: 512-521 |
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 |
1 | Pepijn Crouzen | [1] [2] [3] |
2 | Boudewijn R. Haverkort | [3] |
3 | Matthias Kuntz | [3] |
4 | Mariëlle Stoelinga | [1] [2] [3] |