Varsha Mainkar

Publication Activity (10 Years)

Years Active: 1993-1997
Publications (10 Years): 0

Publications

Varsha Mainkar
Availability Analysis of Transaction Processing Systems based on User-Perceived Performance. SRDS (1997)
Varsha Mainkar, Kishor S. Trivedi
Sufficient Conditions for Existence of a Fixed Point in Stochastic Reward Net-Based Iterative Models. IEEE Trans. Software Eng. 22 (9) (1996)
Varsha Mainkar, Kishor S. Trivedi
Fixed point iteration using stochastic reward nets. PNPM (1995)
Jogesh K. Muppala, Kishor S. Trivedi, Varsha Mainkar, Vidyadhar G. Kulkarni
Numerical computation of response time distributions using stochastic reward nets. Ann. Oper. Res. 48 (2) (1994)
Kishor S. Trivedi, Boudewijn R. Haverkort, Andrew J. Rindos, Varsha Mainkar
Techniques and Tools for Reliability and Performance Evaluation: Problems and Perspectives. Computer Performance Evaluation (1994)
Lorrie A. Tomek, Varsha Mainkar, Robert Geist, Kishor S. Trivedi
Reliability modeling of life-critical, real-time systems. Proc. IEEE 82 (1) (1994)
Varsha Mainkar, Hoon Choi, Kishor S. Trivedi
Sensitivity analysis of Markov regenerative stochastic Petri nets. PNPM (1993)
Hoon Choi, Varsha Mainkar, Kishor S. Trivedi
Sensitivity Analysis of Deterministic and Stochastic Petri Nets. MASCOTS (1993)
Varsha Mainkar, Kishor S. Trivedi
Approximate Analysis of Priority Scheduling Systems Using Stochastic Reward Nets. ICDCS (1993)