PEPIJN CROUZEN

Born and raised in the south-eastern province of Limburg in the Netherlands I got my masters degree in computer science from the Formal Methods and Tools group at the University of Twente in 2006. In early 2007 I joined the Depend group here in Saarbruecken to pursue a PhD in computer science.

My main research interest is the field of compositional Markov models. My personal goal is to combine the powerful idea of compositionality with Markovian models (a type of probabilistic models). Specifically I am working on modeling formalisms that are mathematically sound and meaningful on the one side and efficiently analyzeable on the other side. It is also important not to forget possbile application areas for these compositional Markov models such that the models are not only beautiful but also useful. Application areas that I am interested in include dependable systems, security and cellular biology.

	AVACS,
	Quasimodo, and
	ROCKS.

	Compositional modelling
	Stochastic models
	Process algebras

Address:	Campus Saarbrücken, 66123 Saarbrücken
Phone:	+49 681 302 5608
Fax:	+49 681 302 5636
Location:	Bldg. E1 3, Room 534
E-mail:

	Pepijn Crouzen, Frédéric Lang: Smart Reduction. Accepted for publication at the 14th International Conference on Fundamental Approaches to Software Engineering (FASE), 2011
	[1] Georgel Calin, Pepijn Crouzen, Pedro R. D’Argenio, E. Moritz Hahn, Lijun Zhang: Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains. In Proceedings of the 17th International Workshop on Model Checking of Software (SPIN), 2010
	[2] Ralf Wimmer, Bettina Braitling, Bernd Becker, Ernst Moritz Hahn, Pepijn Crouzen, Holger Hermanns, Abhishek Dhama, Oliver Theel: Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems. In Proceedings of the 7th International Conference on Quantitative Evaluation of SysTems (QEST), 2010
	[3] Pepijn Crouzen, Holger Hermanns: Aggregation Ordering for Massively Compositional Models. In Proceedings of the 10th International Conference on Application of Concurrency to System Design (ACSD), 2010
	[4] Abhishek Dhama, Oliver E. Theel, Pepijn Crouzen, Holger Hermanns, Ralf Wimmer, Bernd Becker: Dependability Engineering of Silent Self-stabilizing Systems. In Proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS) 2009: 238–253
	[5] Pepijn Crouzen, Holger Hermanns, Lijun Zhang: On the Minimisation of Acyclic Models. In Proceedings of the 19th International Conference on Concurrency Theory (CONCUR) 2008: 295–309
	[6] Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga: Architectural dependability evaluation with Arcade. In Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) 2008: 512–521
	[7] Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga: Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework. In Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS) 2008: 243–248
	[8] Hichem Boudali, Pepijn Crouzen, Mariëlle Stoelinga: A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains. In Proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis (ATVA) 2007: 441–456
	[9] Hichem Boudali, Pepijn Crouzen, Mariëlle Stoelinga: Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains. In Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) 2007: 708–717
	[10] Hichem Boudali, Pepijn Crouzen, Mariëlle Stoelinga: A Rigorous, Compositional, and Extensible Framework for Dynamic Fault Tree Analysis. IEEE Transactions on Dependable and Secure Computing 99-1, 2009
	[11] Pepijn Crouzen, Jaco van de Pol, Arend Rensink: Applying formal methods to gossiping networks with mCRL and groove. ACM SIGMETRICS Performance Evaluation Review 36-3, December 2008: 7–16