Concepedia

Pepijn Crouzen

PC

Statistics

Publications

9

Citations

505

H-Index

9

Active since

2007

Affiliations

Saarland University(Current)

University of Twente

Pepijn Crouzen is an author at Saarland University specializing in computer science, engineering, and state space explosion.

Publications per year

2007–2016

9

Publications

9

Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains

Hichem Boudali, Pepijn Crouzen, Mariëlle Stoelinga · 2007 · 167 citations · Full text

Engineering, Computer Science, Systems Engineering +12

A Rigorous, Compositional, and Extensible Framework for Dynamic Fault Tree Analysis

Hichem Boudali, Pepijn Crouzen, Mariëlle Stoelinga · IEEE Transactions on Dependable and Secure Computing · 2009 · 162 citations · Full text

Engineering, Computer Science, Systems Engineering +17

Architectural dependability evaluation with Arcade

Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort et al. · 2008 · 51 citations · Full text

Engineering, Computer Science, Computer Systems +17

Smart reduction

Pepijn Crouzen, Frédéric Lang · Fundamental Approaches to Software Engineering · 2011 · 31 citations

Computing, Computer Engineering, Computer Science +16

Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems

Ralf Wimmer, Bettina Braitling, Bernd Becker et al. · 2010 · 26 citations

Computing, Computer Science, Computer Systems +14

1–5 of 9