SPNP: Stochastic Petri Net Package. G Ciardo, JK Muppala, KS Trivedi PNPM 89, 142-151, 1989 | 897 | 1989 |
Automated generation and analysis of Markov reward models using stochastic reward nets G Ciardo, A Blakemore, PF Chimento Jr, JK Muppala, KS Trivedi Linear algebra, Markov chains, and queueing models, 145-191, 1993 | 417 | 1993 |
Stochastic reward nets for reliability prediction J Muppala, G Ciardo, KS Trivedi Communications in reliability, maintainability and serviceability 1 (2), 9-20, 1994 | 260 | 1994 |
Composite performance and dependability analysis KS Trivedi, JK Muppala, SP Woolet, BR Haverkort Performance Evaluation 14 (3-4), 197-215, 1992 | 235 | 1992 |
Stiffness-tolerant methods for transient analysis of stiff Markov chains M Malhotra, JK Muppala, KS Trivedi Microelectronics Reliability 34 (11), 1825-1841, 1994 | 148 | 1994 |
On the solution of GSPN reward models G Ciardo, J Muppala, KS Trivedi Performance evaluation 12 (4), 237-253, 1991 | 148 | 1991 |
Real-time systems performance in the presence of failures JK Muppala, SP Woolet, KS Trivedi Computer 24 (5), 37-47, 1991 | 131 | 1991 |
Data center networks: Topologies, architectures and fault-tolerance characteristics Y Liu, JK Muppala, M Veeraraghavan, D Lin, M Hamdi Springer Science & Business Media, 2013 | 124 | 2013 |
Analyzing concurrent and fault-tolerant software using stochastic reward nets G Ciardo, JK Muppala, KS Trivedi Journal of Parallel and Distributed Computing 15 (3), 255-269, 1992 | 111 | 1992 |
A survey of bittorrent performance RL Xia, JK Muppala IEEE Communications surveys & tutorials 12 (2), 140-158, 2010 | 107 | 2010 |
Markov dependability models of complex systems: Analysis techniques JK Muppala, M Malhotra, KS Trivedi Reliability and Maintenance of Complex Systems, 442-486, 1996 | 89 | 1996 |
Analysis of nonblocking ATM switches with multiple input queues G Nong, JK Muppala, M Hamdi IEEE/ACM transactions on networking 7 (1), 60-74, 1999 | 82 | 1999 |
Modeling correlation in software recovery blocks LA Tomek, JK Muppala, KS Trivedi IEEE Transactions on Software Engineering 19 (11), 1071-1086, 1993 | 82 | 1993 |
Numerical transient solution of finite Markovian queueing systems JK Muppala, KS Trivedi Queueing and Related Models, 262, 1992 | 77 | 1992 |
Composite performance and availability analysis using a hierarchy of stochastic reward nets JK Muppala, KS Trivedi | 72 | 2010 |
Techniques for system dependability evaluation JK Muppala, RM Fricks, KS Trivedi Computational probability, 445-479, 2000 | 68 | 2000 |
Manual for the SPNP Package G Ciardo, JK Muppala, KS Trivedi Duke University, 1989 | 54 | 1989 |
Dependability modeling of a heterogenous VAXcluster system using stochastic reward nets JK Muppala, KS Trivedi, AS Sathaye, RC Howe Hardware and Software Fault Tolerance in Parallel Computing Systems, 1992 | 53 | 1992 |
Modeling Active Virtual Machines on IaaS Clouds Using an M/G/m/m+K Queue X Chang, B Wang, JK Muppala, J Liu IEEE Transactions on services computing 9 (3), 408-420, 2014 | 50 | 2014 |
Reducing power consumption in embedding virtual infrastructures B Wang, X Chang, J Liu, JK Muppala 2012 IEEE Globecom Workshops, 714-718, 2012 | 46 | 2012 |