 | 2009 |
|---|
| 7 |       | Abhishek Dhama,
Oliver E. Theel,
Pepijn Crouzen,
Holger Hermanns,
Ralf Wimmer,
Bernd Becker:
Dependability Engineering of Silent Self-stabilizing Systems.
SSS 2009: 238-253 |
| 2008 |
|---|
| 6 | | Pepijn Crouzen,
Holger Hermanns,
Lijun Zhang:
On the Minimisation of Acyclic Models.
CONCUR 2008: 295-309 |
| 5 | | Hichem Boudali,
Pepijn Crouzen,
Boudewijn R. Haverkort,
Matthias Kuntz,
Mariëlle Stoelinga:
Architectural dependability evaluation with Arcade.
DSN 2008: 512-521 |
| 4 | | 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 |
|---|
| 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 |
| 1 | | Lucia Cloth,
Pepijn Crouzen,
Matthias Fruth,
Tingting Han,
David N. Jansen,
Mark Kattenbelt,
Gerard J. M. Smit,
Lijun Zhang:
07101 Working Group Report -- Performance Measures Other Than Time.
Quantitative Aspects of Embedded Systems 2007 |
