Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Pepijn Crouzen
2010 – today
- 2011
[c13]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: 89-97- [c12]
- [c11]Aleksander Andreychenko, Pepijn Crouzen, Verena Wolf: On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models. QAPL 2011: 1
- 2010
- [j2]Hichem Boudali, Pepijn Crouzen, Mariëlle Stoelinga: A Rigorous, Compositional, and Extensible Framework for Dynamic Fault Tree Analysis. IEEE Trans. Dependable Sec. Comput. 7(2): 128-143 (2010)
- [c10]Pepijn Crouzen, Holger Hermanns: Aggregation Ordering for Massively Compositional Models. ACSD 2010: 171-180
- [c9]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: 27-36
- [c8]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: 193-211
2000 – 2009
- 2009
- [c7]Abhishek Dhama, Oliver E. Theel, Pepijn Crouzen, Holger Hermanns, Ralf Wimmer, Bernd Becker: Dependability Engineering of Silent Self-stabilizing Systems. SSS 2009: 238-253
- 2008
- [j1]Pepijn Crouzen, Jaco van de Pol, Arend Rensink: Applying formal methods to gossiping networks with mCRL and groove. SIGMETRICS Performance Evaluation Review 36(3): 7-16 (2008)
- [c6]Pepijn Crouzen, Holger Hermanns, Lijun Zhang: On the Minimisation of Acyclic Models. CONCUR 2008: 295-309
- [c5]Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga: Architectural dependability evaluation with Arcade. DSN 2008: 512-521
- [c4]Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga: Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework. ICECCS 2008: 243-248
- 2007
- [c3]Hichem Boudali, Pepijn Crouzen, Mariëlle Stoelinga: A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains. ATVA 2007: 441-456
- [c2]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
- [c1]Hichem Boudali, Pepijn Crouzen, Mariëlle Stoelinga: Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains. DSN 2007: 708-717
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-01-26 23:45 CET by the dblp team