Kishor Trivedi
Kishor Trivedi
Chaired Professor of Electrical and Computer Engineering, Duke University
Verified email at duke.edu - Homepage
TitleCited byYear
Probability and statistics with reliability, queuing, and computer science applications
KS Trivedi
Prentice-hall, 1982
44961982
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
25762006
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
8542012
SPNP: stochastic Petri net package
G Ciardo, J Muppala, K Trivedi
Proceedings of the Third International Workshop on Petri Nets and …, 1989
8051989
Architecture-based approach to reliability assessment of software systems
K Goševa-Popstojanova, KS Trivedi
Performance Evaluation 45 (2-3), 179-204, 2001
5542001
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
5512004
Extended Stochastic Petri Nets: Applications and Analysis.
JB Dugan, KS Trivedi, RM Geist, VF Nicola
WISCONSIN UNIV-MADISON MOTOR BEHAVIOR LAB, 1984
3921984
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
3782001
Reliability modeling using SHARPE
RA Sahner, KS Trivedi
IEEE Transactions on Reliability 36 (2), 186-193, 1987
3691987
Automated generation and analysis of Markov reward models using stochastic reward nets
G Ciardo, A Blakemore, PF Chimento, JK Muppala, KS Trivedi
Linear Algebra, Markov Chains, and Queueing Models, 145-191, 1993
3611993
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
3601998
Numerical transient analysis of Markov models
A Reibman, K Trivedi
Computers & Operations Research 15 (1), 19-36, 1988
3531988
Markov regenerative stochastic Petri nets
H Choi, VG Kulkarni, KS Trivedi
Performance evaluation 20 (1-3), 337-357, 1994
3491994
A decomposition approach for stochastic reward net models
G Ciardo, KS Trivedi
Performance Evaluation 18 (1), 37-59, 1993
3481993
Performability analysis: measures, an algorithm, and a case study
RM Smith, KS Trivedi, AV Ramesh
IEEE Transactions on Computers 37 (4), 406-417, 1988
3391988
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
3262004
Coverage modeling for dependability analysis of fault-tolerant systems
JB Dugan, KS Trivedi
IEEE Transactions on Computers 38 (6), 775-787, 1989
3061989
Dependability modeling using Petri-nets
M Malhotra, KS Trivedi
IEEE Transactions on reliability 44 (3), 428-440, 1995
3011995
A BDD-based algorithm for reliability analysis of phased-mission systems
X Zang, N Sun, KS Trivedi
IEEE Transactions on Reliability 48 (1), 50-60, 1999
2821999
On-line algorithms for division and multiplication
KS Trivedi, MD Ercegovac
Computers, IEEE Transactions on 100 (7), 681-687, 2006
2702006
The system can't perform the operation now. Try again later.
Articles 1–20