| 1997 | ||
|---|---|---|
| 5 | Varsha Mainkar: Availability Analysis of Transaction Processing Systems based on User-Perceived Performance. SRDS 1997: 10-16 | |
| 1996 | ||
| 4 | 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): 640-653 (1996) | |
| 1994 | ||
| 3 | Kishor S. Trivedi, Boudewijn R. Haverkort, Andrew Rindos, Varsha Mainkar: Techniques and Tools for Reliability and Performance Evaluation: Problems and Perspectives. Computer Performance Evaluation 1994: 1-24 | |
| 1993 | ||
| 2 | Varsha Mainkar, Kishor S. Trivedi: Approximate Analysis of Priority Scheduling Systems Using Stochastic Reward Nets. ICDCS 1993: 466-473 | |
| 1 | Hoon Choi, Varsha Mainkar, Kishor S. Trivedi: Sensitivity Analysis of Deterministic and Stochastic Petri Nets. MASCOTS 1993: 271-276 | |
| 1 | Hoon Choi | [1] |
| 2 | Boudewijn R. Haverkort | [3] |
| 3 | Andrew Rindos | [3] |
| 4 | Kishor S. Trivedi | [1] [2] [3] [4] |