According to our database1, Pepijn Crouzen authored at least 16 papers between 2007 and 2015.
Legend:Book In proceedings Article PhD thesis Other
Modularity and determinism in compositional Markov models.
PhD thesis, 2015
On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models
Proceedings of the Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, 2011
Proceedings of the Fundamental Approaches to Software Engineering, 2011
Bounded Fairness for Probabilistic Distributed Algorithms.
Proceedings of the 11th International Conference on Application of Concurrency to System Design, 2011
A Rigorous, Compositional, and Extensible Framework for Dynamic Fault Tree Analysis.
IEEE Trans. Dependable Sec. Comput., 2010
Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains.
Proceedings of the Model Checking Software, 2010
Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems.
Proceedings of the QEST 2010, 2010
Aggregation Ordering for Massively Compositional Models.
Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010
Dependability Engineering of Silent Self-stabilizing Systems.
Proceedings of the Stabilization, 2009
Applying formal methods to gossiping networks with mCRL and groove.
SIGMETRICS Performance Evaluation Review, 2008
Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework.
Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008
Architectural dependability evaluation with Arcade.
Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2008
On the Minimisation of Acyclic Models.
Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008
Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains.
Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007
07101 Working Group Report -- Performance Measures Other Than Time.
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.
Proceedings of the Automated Technology for Verification and Analysis, 2007