Approximate Analysis of Priority Scheduling Systems Using Stochastic Reward Nets. - Varsha Mainkar; Kishor S. Trivedi (ICDCS, 1993)

Sensitivity Analysis of Deterministic and Stochastic Petri Nets. - Hoon Choi; Varsha Mainkar; Kishor S. Trivedi (MASCOTS, 1993)

Sensitivity analysis of Markov regenerative stochastic Petri nets. - Varsha Mainkar; Hoon Choi; Kishor S. Trivedi (PNPM, 1993)

Techniques and Tools for Reliability and Performance Evaluation: Problems and Perspectives. - Kishor S. Trivedi; Boudewijn R. Haverkort; Andrew J. Rindos; Varsha Mainkar (Computer Performance Evaluation, 1994)

Numerical computation of response time distributions using stochastic reward nets. - Jogesh K. Muppala; Kishor S. Trivedi; Varsha Mainkar; Vidyadhar G. Kulkarni (Ann. Oper. Res., 1994)

Reliability modeling of life-critical, real-time systems. - Lorrie A. Tomek; Varsha Mainkar; Robert Geist; Kishor S. Trivedi (Proc. IEEE, 1994)

Fixed point iteration using stochastic reward nets. - Varsha Mainkar; Kishor S. Trivedi (PNPM, 1995)

Sufficient Conditions for Existence of a Fixed Point in Stochastic Reward Net-Based Iterative Models. - Varsha Mainkar; Kishor S. Trivedi (IEEE Trans. Software Eng., 1996)

Availability Analysis of Transaction Processing Systems based on User-Perceived Performance. - Varsha Mainkar (SRDS, 1997)