SHARP: a scalable approach to architecture-level reliability prediction of concurrent systems

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]

Authors

Leslie Cheung

This author has not been identified. Look up 'Leslie Cheung' in Google

Leana Golubchik

This author has not been identified. Look up 'Leana Golubchik' in Google

Nenad Medvidovic

This author has not been identified. Look up 'Nenad Medvidovic' in Google