| Probability and statistics with reliability, queuing, and computer science applications KS Trivedi John Wiley & Sons, 2001 | 5615 | 2001 |
| Queueing networks and Markov chains: modeling and performance evaluation with computer science applications G Bolch, S Greiner, H De Meer, KS Trivedi John Wiley & Sons, 2006 | 3388 | 2006 |
| Performance and reliability analysis of computer systems: an example-based approach using the SHARPE software package RA Sahner, K Trivedi, A Puliafito Springer Science & Business Media, 2012 | 1028 | 2012 |
| SPNP: Stochastic Petri Net Package. G Ciardo, JK Muppala, KS Trivedi PNPM 89, 142-151, 1989 | 902 | 1989 |
| Model-based evaluation: from dependability to security DM Nicol, WH Sanders, KS Trivedi IEEE Transactions on dependable and secure computing 1 (1), 48-65, 2004 | 696 | 2004 |
| Architecture-based approach to reliability assessment of software systems K Goševa-Popstojanova, KS Trivedi Performance Evaluation 45 (2-3), 179-204, 2001 | 635 | 2001 |
| Performance modeling of PBFT consensus process for permissioned blockchain network (hyperledger fabric) H Sukhwani, JM Martínez, X Chang, KS Trivedi, A Rindos 2017 IEEE 36th symposium on reliable distributed systems (SRDS), 253-255, 2017 | 561 | 2017 |
| Reliability and availability engineering: modeling, analysis, and applications KS Trivedi, A Bobbio Cambridge University Press, 2017 | 487 | 2017 |
| Proactive management of software aging V Castelli, RE Harper, P Heidelberger, SW Hunter, KS Trivedi, ... IBM Journal of Research and Development 45 (2), 311-332, 2001 | 463 | 2001 |
| A methodology for detection and estimation of software aging S Garg, A Van Moorsel, K Vaidyanathan, KS Trivedi Proceedings Ninth International Symposium on Software Reliability …, 1998 | 449 | 1998 |
| Extended stochastic petri nets: Applications and analysis (modeling, reliability, performance) JB Dugan Duke University, 1984 | 447 | 1984 |
| Numerical transient analysis of Markov models A Reibman, K Trivedi Computers & Operations Research 15 (1), 19-36, 1988 | 431 | 1988 |
| Combining Cloud and sensors in a smart city environment N Mitton, S Papavassiliou, A Puliafito, KS Trivedi EURASIP journal on Wireless Communications and Networking 2012 (1), 247, 2012 | 428 | 2012 |
| Markov regenerative stochastic Petri nets H Choi, VG Kulkarni, KS Trivedi Performance evaluation 20 (1-3), 337-357, 1994 | 422 | 1994 |
| 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 | 420 | 1993 |
| Reliability modeling using SHARPE RA Sahner, KS Trivedi IEEE Transactions on Reliability 36 (2), 186-193, 2009 | 405 | 2009 |
| A method for modeling and quantifying the security attributes of intrusion tolerant systems BB Madan, K Goševa-Popstojanova, K Vaidyanathan, KS Trivedi Performance Evaluation 56 (1-4), 167-186, 2004 | 398 | 2004 |
| Analysis of software aging in a web server M Grottke, L Li, K Vaidyanathan, KS Trivedi IEEE Transactions on reliability 55 (3), 411-420, 2006 | 390 | 2006 |
| A decomposition approach for stochastic reward net models G Ciardo, KS Trivedi Performance Evaluation 18 (1), 37-59, 1993 | 389 | 1993 |
| Performability analysis: measures, an algorithm, and a case study RM Smith, KS Trivedi, AV Ramesh IEEE Transactions on Computers 37 (4), 406-417, 2002 | 385 | 2002 |
Jogesh K. MuppalaFormer Associate Professor of Computer Science and Engineering, Hong Kong University of Science andVerified email at cse.ust.hk
