A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains. - Hichem Boudali; Pepijn Crouzen; Mariëlle Stoelinga (ATVA, 2007)

07101 Working Group Report – Performance Measures Other Than Time. - Lucia Cloth; Pepijn Crouzen; Matthias Fruth; Tingting Han 001; David N. Jansen; Mark Kattenbelt; Gerard J. M. Smit; Lijun Zhang 001 (Quantitative Aspects of Embedded Systems, 2007)

Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains. - Hichem Boudali; Pepijn Crouzen; Mariëlle Stoelinga (DSN, 2007)

On the Minimisation of Acyclic Models. - Pepijn Crouzen; Holger Hermanns; Lijun Zhang 001 (CONCUR, 2008)

Architectural dependability evaluation with Arcade. - Hichem Boudali; Pepijn Crouzen; Boudewijn R. Haverkort; Matthias Kuntz; Mariëlle Stoelinga (DSN, 2008)

Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework. - Hichem Boudali; Pepijn Crouzen; Boudewijn R. Haverkort; Matthias Kuntz; Mariëlle Stoelinga (ICECCS, 2008)

Applying formal methods to gossiping networks with mCRL and groove. - Pepijn Crouzen; Jaco van de Pol; Arend Rensink (SIGMETRICS Perform. Evaluation Rev., 2008)

Dependability Engineering of Silent Self-stabilizing Systems. - Abhishek Dhama; Oliver E. Theel; Pepijn Crouzen; Holger Hermanns; Ralf Wimmer 001; Bernd Becker 001 (SSS, 2009)

Aggregation Ordering for Massively Compositional Models. - Pepijn Crouzen; Holger Hermanns (ACSD, 2010)

Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems. - Ralf Wimmer 001; Bettina Braitling; Bernd Becker 001; Ernst Moritz Hahn; Pepijn Crouzen; Holger Hermanns; Abhishek Dhama; Oliver E. Theel (QEST, 2010)

Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains. - Georgel Calin; Pepijn Crouzen; Pedro R. D'Argenio; Ernst Moritz Hahn; Lijun Zhang 001 (SPIN, 2010)

A Rigorous, Compositional, and Extensible Framework for Dynamic Fault Tree Analysis. - Hichem Boudali; Pepijn Crouzen; Mariëlle Stoelinga (IEEE Trans. Dependable Secur. Comput., 2010)

Bounded Fairness for Probabilistic Distributed Algorithms. - Pepijn Crouzen; Ernst Moritz Hahn; Holger Hermanns; Abhishek Dhama; Oliver E. Theel; Ralf Wimmer 001; Bettina Braitling; Bernd Becker 001 (ACSD, 2011)

Smart Reduction. - Pepijn Crouzen; Frédéric Lang (FASE, 2011)

On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models - Aleksandr Andreychenko; Pepijn Crouzen; Verena Wolf (QAPL, 2011)

Modularity and determinism in compositional Markov models. - Pepijn Crouzen (2015)