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

Leslie Cheung, Leana Golubchik, Nenad Medvidovic

Browse the full ICSE paper archive.