Pepijn Crouzen

According to our database, Pepijn Crouzen authored at least 16 papers between 2007 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Modularity and determinism in compositional Markov models.

Pepijn Crouzen

PhD thesis, 2015

2011

On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models

Aleksandr Andreychenko, Pepijn Crouzen, Verena Wolf

Proceedings of the Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, 2011

Smart Reduction.

Pepijn Crouzen, Frédéric Lang

Proceedings of the Fundamental Approaches to Software Engineering, 2011

Bounded Fairness for Probabilistic Distributed Algorithms.

Pepijn Crouzen, Ernst Moritz Hahn, Holger Hermanns, Abhishek Dhama, Oliver E. Theel, Ralf Wimmer, Bettina Braitling, Bernd Becker

Proceedings of the 11th International Conference on Application of Concurrency to System Design, 2011

2010

A Rigorous, Compositional, and Extensible Framework for Dynamic Fault Tree Analysis.

Hichem Boudali, Pepijn Crouzen, Mariëlle Stoelinga

IEEE Trans. Dependable Secur. Comput., 2010

Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains.

Georgel Calin, Pepijn Crouzen, Pedro R. D'Argenio, Ernst Moritz Hahn, Lijun Zhang

Proceedings of the Model Checking Software, 2010

Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems.

Ralf Wimmer, Bettina Braitling, Bernd Becker, Ernst Moritz Hahn, Pepijn Crouzen, Holger Hermanns, Abhishek Dhama, Oliver E. Theel

Proceedings of the QEST 2010, 2010

Aggregation Ordering for Massively Compositional Models.

Pepijn Crouzen, Holger Hermanns

Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010

2009

Dependability Engineering of Silent Self-stabilizing Systems.

Abhishek Dhama, Oliver E. Theel, Pepijn Crouzen, Holger Hermanns, Ralf Wimmer, Bernd Becker

Proceedings of the Stabilization, 2009

2008

Applying formal methods to gossiping networks with mCRL and groove.

Pepijn Crouzen, Jaco van de Pol, Arend Rensink

SIGMETRICS Perform. Evaluation Rev., 2008

Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework.

Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga

Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008

Architectural dependability evaluation with Arcade.

Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga

Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2008

On the Minimisation of Acyclic Models.

Pepijn Crouzen, Holger Hermanns, Lijun Zhang

Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

2007

Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains.

Hichem Boudali, Pepijn Crouzen, Mariëlle Stoelinga

Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007

07101 Working Group Report -- Performance Measures Other Than Time.

Lucia Cloth, Pepijn Crouzen, Matthias Fruth, Tingting Han, David N. Jansen, Mark Kattenbelt, Gerard J. M. Smit, Lijun Zhang

Proceedings of the Quantitative Aspects of Embedded Systems, 04.03. - 09.03.2007, 2007

A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains.

Hichem Boudali, Pepijn Crouzen, Mariëlle Stoelinga

Proceedings of the Automated Technology for Verification and Analysis, 2007