Pepijn Crouzen

16 papers A 2B 4C 1Journal 2Unranked 6
YearRankTypeTitle / Venue / Authors
2015 — —
Modularity and determinism in compositional Markov models.
Pepijn Crouzen
2011 — conf
Bounded Fairness for Probabilistic Distributed Algorithms.
ACSD
Pepijn Crouzen, Ernst Moritz Hahn, Holger Hermanns, Abhishek Dhama, Oliver E. Theel, Ralf Wimmer, Bettina Braitling, Bernd Becker
2011 — conf
On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models
QAPL
Aleksandr Andreychenko, Pepijn Crouzen, Verena Wolf
2011 B conf
Smart Reduction.
FASE
Pepijn Crouzen, Frédéric Lang
2010 J jnl
A Rigorous, Compositional, and Extensible Framework for Dynamic Fault Tree Analysis.
IEEE Trans. Dependable Secur. Comput.
Hichem Boudali, Pepijn Crouzen, Mariëlle Stoelinga
2010 — conf
Aggregation Ordering for Massively Compositional Models.
ACSD
Pepijn Crouzen, Holger Hermanns
2010 — conf
Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems.
QEST
Ralf Wimmer, Bettina Braitling, Bernd Becker, Ernst Moritz Hahn, Pepijn Crouzen, Holger Hermanns, Abhishek Dhama, Oliver E. Theel
2010 — conf
Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains.
SPIN
Georgel Calin, Pepijn Crouzen, Pedro R. D'Argenio, Ernst Moritz Hahn, Lijun Zhang
2009 C conf
Dependability Engineering of Silent Self-stabilizing Systems.
SSS
Abhishek Dhama, Oliver E. Theel, Pepijn Crouzen, Holger Hermanns, Ralf Wimmer, Bernd Becker
2008 J jnl
Applying formal methods to gossiping networks with mCRL and groove.
SIGMETRICS Perform. Evaluation Rev.
Pepijn Crouzen, Jaco van de Pol, Arend Rensink
2008 B conf
Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework.
ICECCS
Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga
2008 A conf
Architectural dependability evaluation with Arcade.
DSN
Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga
2008 B conf
On the Minimisation of Acyclic Models.
CONCUR
Pepijn Crouzen, Holger Hermanns, Lijun Zhang
2007 — conf
07101 Working Group Report -- Performance Measures Other Than Time.
Quantitative Aspects of Embedded Systems
Lucia Cloth, Pepijn Crouzen, Matthias Fruth, Tingting Han, David N. Jansen, Mark Kattenbelt, Gerard J. M. Smit, Lijun Zhang
2007 B conf
A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains.
ATVA
Hichem Boudali, Pepijn Crouzen, Mariëlle Stoelinga
2007 A conf
Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains.
DSN
Hichem Boudali, Pepijn Crouzen, Mariëlle Stoelinga