Pepijn Crouzen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2007–2011
Best venue rank
A
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | FASE | Smart Reduction. | Pepijn Crouzen, Frdric Lang |
| 2009 | SSS | Dependability Engineering of Silent Self-stabilizing Systems. | Abhishek Dhama, Oliver E. Theel, Pepijn Crouzen, Holger Hermanns, Ralf Wimmer, Bernd Becker |
| 2008 | CONCUR | On the Minimisation of Acyclic Models. | Pepijn Crouzen, Holger Hermanns, Lijun Zhang |
| 2008 | DSN | Architectural dependability evaluation with Arcade. | Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Marille Stoelinga |
| 2008 | ICECCS | Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework. | Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Marille Stoelinga |
| 2007 | ATVA | A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains. | Hichem Boudali, Pepijn Crouzen, Marille Stoelinga |
| 2007 | DSN | Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains. | Hichem Boudali, Pepijn Crouzen, Marille Stoelinga |