| 2008 |
|---|
| 5 | EE | Pepijn Crouzen,
Holger Hermanns,
Lijun Zhang:
On the Minimisation of Acyclic Models.
CONCUR 2008: 295-309 |
| 4 | EE | Hichem Boudali,
Pepijn Crouzen,
Boudewijn R. Haverkort,
Matthias Kuntz,
Mariëlle Stoelinga:
Architectural dependability evaluation with Arcade.
DSN 2008: 512-521 |
| 2007 |
|---|
| 3 | 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 |
| 2 | EE | Hichem Boudali,
Pepijn Crouzen,
Mariëlle Stoelinga:
Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains.
DSN 2007: 708-717 |
| 1 | EE | 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 |
