Publications
Important milestones in software reliability modeling." In SEKE '96: THE 8TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, PROCEEDINGS, 345-352. 1996.
"Leemis, Lawrence M., and Trivedi, Kishor S. (1996), “A comparison of approximate interval estimators for the bernoulli parameter,” the American statistician, 50, 63-68: Comment by klotz and reply." American Statistician 50, no. 4 (1996): 388-389.
"Minimizing completion time of a program by checkpointing and rejuvenation." Performance Evaluation Review 24, no. 1 (1996): 252-261.
"Optimal software rejuvenation for tolerating soft failures." Performance Evaluation 27-28 (1996): 491-506.
"SHARPE: a modeler's toolkit." Proceedings -IEEE International Computer Performance and Dependability Symposium, IPDS (1996).
"Stochastic Petri nets for the reliability analysis of communication network applications with alternate-routing." Reliability Engineering and System Safety 52, no. 3 SPEC. ISS. (1996): 243-259.
"Sufficient conditions for existence of a fixed point in stochastic reward net-based iterative models." IEEE Transactions on Software Engineering 22, no. 9 (1996): 640-653.
"Transient behavior of ATM networks under overloads." Proceedings - IEEE INFOCOM 3 (1996): 978-985.
"Unification of finite failure non-homogeneous Poisson process models through test coverage." Proceedings of the International Symposium on Software Reliability Engineering, ISSRE (1996): 299-307.
"User-friendly dependability evaluation tool." IEEE Proceedings of the National Aerospace and Electronics Conference 2 (1996): 637-641.
"Analysis of software rejuvenation using Markov regenerative stochastic petri net." Proceedings of the International Symposium on Software Reliability Engineering, ISSRE (1995): 180-187.
"Approximate computation of sojourn time distribution in open queueing networks." In COMPUTATIONS WITH MARKOV CHAINS, 599-600. 1995.
"Buffer sizing for ABR traffic in an ATM switch." IEEE International Conference on Communications 1 (1995): 316-320.
"Componentwise decomposition for an efficient reliability computation of systems with repairable components." Proceedings - Annual International Conference on Fault-Tolerant Computing (1995): 259-268.
"Componentwise decomposition for an efficient reliability computation of systems with repairable components." Digest of Papers Ftcs (Fault Tolerant Computing Symposium) (1995): 259-268.
"Data integrity analysis of disk array systems with analytic modeling of coverage." Performance Evaluation 22, no. 1 (1995): 111-133.
"Dependability modeling of real-time systems using stochastic reward nets." Microelectronics Reliability 35, no. 6 (1995): 903-914.
"Dependability Modeling Using Petri-Nets." IEEE Transactions on Reliability 44, no. 3 (1995): 428-440.
"Exact methods for the transient analysis of nonhomogeneous continuous time Markov chains." In COMPUTATIONS WITH MARKOV CHAINS, 121-133. 1995.
"Fixed point iteration using stochastic reward nets." International Workshop on Petri Nets and Performance Models (1995): 21-30.
"From stochastic Petri nets to Markov regenerative stochastic Petri nets." In Proceedings - IEEE Computer Society's Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems, MASCOTS, 194-198. 1995.
"INTRODUCTION TO THE SPECIAL ISSUE ON FAULT-TOLERANT COMPUTING." IEEE TRANSACTIONS ON COMPUTERS 44, no. 2 (1995): 165-167.
"Markov regenerative models." Proceedings - International Computer Performance and Dependability Symposium (1995): 134-142.
"Non-Markovian Petri Nets." In Proceedings of the 1995 ACM SIGMETRICS Joint International Conference on Measurement and Modeling of Computer Systems, SIGMETRICS 1995/PERFORMANCE 1995, 263-264. 1995.
"Numerical Methods for Reliability Evaluation of Markov Closed Fault-Tolerant Systems." IEEE Transactions on Reliability 44, no. 4 (1995): 694-704.
"