Pepijn Crouzen

Publication Activity (10 Years)

Years Active: 2007-2011
Publications (10 Years): 0

Saarland University (PHD)

Education History

Saarland University

PHD

Publications

Pepijn Crouzen, Frédéric Lang
Smart Reduction. FASE (2011)
Pepijn Crouzen, Ernst Moritz Hahn, Holger Hermanns, Abhishek Dhama, Oliver E. Theel, Ralf Wimmer, Bettina Braitling, Bernd Becker
Bounded Fairness for Probabilistic Distributed Algorithms. ACSD (2011)
Aleksandr Andreychenko, Pepijn Crouzen, Verena Wolf
On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models QAPL (2011)
Hichem Boudali, Pepijn Crouzen, Mariëlle Stoelinga
A Rigorous, Compositional, and Extensible Framework for Dynamic Fault Tree Analysis. IEEE Trans. Dependable Secur. Comput. 7 (2) (2010)
Ralf Wimmer, Bettina Braitling, Bernd Becker, Ernst Moritz Hahn, Pepijn Crouzen, Holger Hermanns, Abhishek Dhama, Oliver E. Theel
Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems. QEST (2010)
Pepijn Crouzen, Holger Hermanns
Aggregation Ordering for Massively Compositional Models. ACSD (2010)
Georgel Calin, Pepijn Crouzen, Pedro R. D'Argenio, Ernst Moritz Hahn, Lijun Zhang
Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains. SPIN (2010)
Abhishek Dhama, Oliver E. Theel, Pepijn Crouzen, Holger Hermanns, Ralf Wimmer, Bernd Becker
Dependability Engineering of Silent Self-stabilizing Systems. SSS (2009)
Pepijn Crouzen, Jaco van de Pol, Arend Rensink
Applying formal methods to gossiping networks with mCRL and groove. SIGMETRICS Perform. Evaluation Rev. 36 (3) (2008)
Pepijn Crouzen, Holger Hermanns, Lijun Zhang
On the Minimisation of Acyclic Models. CONCUR (2008)
Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga
Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework. ICECCS (2008)
Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga
Architectural dependability evaluation with Arcade. DSN (2008)
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)
Hichem Boudali, Pepijn Crouzen, Mariëlle Stoelinga
A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains. ATVA (2007)
Hichem Boudali, Pepijn Crouzen, Mariëlle Stoelinga
Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains. DSN (2007)

Pepijn Crouzen.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Pepijn Crouzen