| Dynamic fault tree analysis using input/output interactive Markov chains H Boudali, P Crouzen, M Stoelinga 37th Annual IEEE/IFIP International Conference on Dependable Systems and …, 2007 | 214 | 2007 |
| A rigorous, compositional, and extensible framework for dynamic fault tree analysis H Boudali, P Crouzen, M Stoelinga IEEE Transactions on Dependable and Secure Computing 7 (2), 128-143, 2009 | 181 | 2009 |
| A compositional semantics for Dynamic Fault Trees in terms of Interactive Markov Chains H Boudali, P Crouzen, M Stoelinga Automated Technology for Verification and Analysis: 5th International …, 2007 | 123 | 2007 |
| Architectural dependability evaluation with Arcade H Boudali, P Crouzen, BR Haverkort, M Kuntz, MIA Stoelinga 2008 IEEE International Conference on Dependable Systems and Networks With …, 2008 | 66 | 2008 |
| Smart reduction P Crouzen, F Lang Fundamental Approaches to Software Engineering: 14th International …, 2011 | 54 | 2011 |
| Symblicit calculation of long-run averages for concurrent probabilistic systems R Wimmer, B Braitling, B Becker, EM Hahn, P Crouzen, H Hermanns, ... 2010 Seventh International Conference on the Quantitative Evaluation of …, 2010 | 31 | 2010 |
| Arcade-A formal, extensible, model-based dependability evaluation framework H Boudali, P Crouzen, BR Haverkort, M Kuntz, M Stoelinga 13th IEEE International Conference on Engineering of Complex Computer …, 2008 | 28 | 2008 |
| Applying formal methods to gossiping networks with mCRL and GROOVE P Crouzen, J van de Pol, A Rensink ACM SIGMETRICS performance evaluation review 36 (3), 7-16, 2008 | 26 | 2008 |
| On-the-fly uniformization of time-inhomogeneous infinite Markov population models A Andreychenko, P Crouzen, L Mikeev, V Wolf arXiv preprint arXiv:1006.4425, 2010 | 17 | 2010 |
| Dynamic Fault Tree analysis through input/output interactive Markov chains H Boudali, P Crouzen, M Stoelinga Proceedings of the International Conference on Dependable Systems and …, 2007 | 17 | 2007 |
| Aggregation ordering for massively compositional models P Crouzen, H Hermanns 2010 10th International Conference on Application of Concurrency to System …, 2010 | 16 | 2010 |
| On the minimisation of acyclic models P Crouzen, H Hermanns, L Zhang Lecture Notes in Computer Science 5201, 295-309, 2008 | 16 | 2008 |
| Dependability Engineering of Silent Self-stabilizing Systems. A Dhama, OE Theel, P Crouzen, H Hermanns, R Wimmer, B Becker SSS, 238-253, 2009 | 15 | 2009 |
| CORAL-a tool for compositional reliability and availability analysis H Boudali, P Crouzen, M Stoelinga ARTIST workshop. Presented at the 19th international conference on Computer …, 2007 | 12 | 2007 |
| Compositional analysis of dynamic fault trees P Crouzen MSc thesis, University of Twente, Enschede, Netherlands, 2006 | 9 | 2006 |
| Time-bounded reachability in distributed input/output interactive probabilistic chains G Calin, P Crouzen, PR D’Argenio, EM Hahn, L Zhang Model Checking Software: 17th International SPIN Workshop, Enschede, The …, 2010 | 8 | 2010 |
| Acyclic phase-type distributions in fault trees P Crouzen, R Pulungan Proceedings of the International Workshop on Performability Modeling of …, 2009 | 6 | 2009 |
| Bounded fairness for probabilistic distributed algorithms P Crouzen, EM Hahn, H Hermanns, A Dhama, O Theel, R Wimmer, ... 2011 Eleventh International Conference on Application of Concurrency to …, 2011 | 5 | 2011 |
| Modularity and determinism in compositional markov models P Crouzen | 3 | 2014 |
| Rich interfaces for dependability: Compositional methods for dynamic fault trees and Arcade models H Boudali, P Crouzen, BR Haverkort, M Kuntz, M Stoelinga Foundations of Interface Technologies (FIT), 2008 | 3 | 2008 |
