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 | 244 | 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 | 198 | 2009 |
A compositional semantics for Dynamic Fault Trees in terms of Interactive Markov Chains H Boudali, P Crouzen, M Stoelinga International Symposium on Automated Technology for Verification and …, 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 | 74 | 2008 |
Smart reduction P Crouzen, F Lang International Conference on Fundamental Approaches to Software Engineering …, 2011 | 55 | 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 | 34 | 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 | 31 | 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 | 27 | 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 |
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 CONCUR 2008-Concurrency Theory: 19th International Conference, CONCUR 2008 …, 2008 | 16 | 2008 |
Dependability engineering of silent self-stabilizing systems A Dhama, O Theel, P Crouzen, H Hermanns, R Wimmer, B Becker Stabilization, Safety, and Security of Distributed Systems: 11th …, 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 | 10 | 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 | 7 | 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 | 4 | 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 |
Stochastic Dynamics in Systems Biology Lecture Notes V Wolf, P Crouzen | 1 | 2010 |