Leslie Cheung, Leana Golubchik, Nenad Medvidovic. SHARP: a scalable approach to architecture-level reliability prediction of concurrent systems. In Carlo Ghezzi, Lars Grunske, Raffaela Mirandola, editors, Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems, QUOVADIS '10, May 3, 2010, Cape Town, South Africa. pages 1-8, ACM, 2010. [doi]
Abstract is missing.