Pepijn Crouzen
Pepijn Crouzen
Geverifieerd e-mailadres voor google.com
Titel
Geciteerd door
Geciteerd door
Jaar
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
1732007
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
1522009
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
1022007
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
582008
Smart reduction
P Crouzen, F Lang
International Conference on Fundamental Approaches to Software Engineering …, 2011
482011
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
272010
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
222008
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
202008
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
162010
Aggregation ordering for massively compositional models
P Crouzen, H Hermanns
2010 10th International Conference on Application of Concurrency to System …, 2010
162010
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
162007
On the minimisation of acyclic models
P Crouzen, H Hermanns, L Zhang
International conference on concurrency theory, 295-309, 2008
132008
Dependability engineering of silent self-stabilizing systems
A Dhama, O Theel, P Crouzen, H Hermanns, R Wimmer, B Becker
Symposium on Self-Stabilizing Systems, 238-253, 2009
112009
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
92007
Time-bounded reachability in distributed input/output interactive probabilistic chains
G Calin, P Crouzen, PR D’argenio, EM Hahn, L Zhang
International SPIN Workshop on Model Checking of Software, 193-211, 2010
82010
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
52011
Acyclic phase-type distributions in fault trees
P Crouzen, R Pulungan
Proceedings of the International Workshop on Performability Modeling of …, 2009
52009
Compositional analysis of dynamic fault trees using input/output interactive markov chains
P Crouzen
52006
Modularity and determinism in compositional Markov models
P Crouzen
32014
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
32008
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20