Pepijn Crouzen

	2011
15		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
14		Pepijn Crouzen, Frédéric Lang: Smart Reduction. FASE 2011: 111-126
13		Aleksander Andreychenko, Pepijn Crouzen, Verena Wolf: On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models QAPL 2011: 1
	2010
12		Pepijn Crouzen, Holger Hermanns: Aggregation Ordering for Massively Compositional Models. ACSD 2010: 171-180
11		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
10		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
9		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)
	2009
8		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
7		Pepijn Crouzen, Holger Hermanns, Lijun Zhang: On the Minimisation of Acyclic Models. CONCUR 2008: 295-309
6		Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga: Architectural dependability evaluation with Arcade. DSN 2008: 512-521
5		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
4		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)
	2007
3		Hichem Boudali, Pepijn Crouzen, Mariëlle Stoelinga: A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains. ATVA 2007: 441-456
2		Hichem Boudali, Pepijn Crouzen, Mariëlle Stoelinga: Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains. DSN 2007: 708-717
1		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

Coauthor Index

1	Aleksander Andreychenko	[13]
2	Bernd Becker	[8] [11] [15]
3	Hichem Boudali	[2] [3] [5] [6] [9]
4	Bettina Braitling	[11] [15]
5	Georgel Calin	[10]
6	Lucia Cloth	[1]
7	Pedro R. D'Argenio	[10]
8	Abhishek Dhama	[8] [11] [15]
9	Matthias Fruth	[1]
10	Ernst Moritz Hahn	[10] [11] [15]
11	Tingting Han	[1]
12	Boudewijn R. Haverkort	[5] [6]
13	Holger Hermanns	[7] [8] [11] [12] [15]
14	David N. Jansen	[1]
15	Mark Kattenbelt	[1]
16	Matthias Kuntz	[5] [6]
17	Frédéric Lang	[14]
18	Jaco van de Pol	[4]
19	Arend Rensink	[4]
20	Gerard J. M. Smit	[1]
21	Mariëlle Stoelinga	[2] [3] [5] [6] [9]
22	Oliver E. Theel	[8] [11] [15]
23	Ralf Wimmer	[8] [11] [15]
24	Verena Wolf	[13]
25	Lijun Zhang	[1] [7] [10]

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page