A. Sathaye

Dependability modeling of a heterogeneous VAX-cluster system using stochastic reward nets

Kishor S. Trivedi, Jogesh K. Muppala, Richard C. Howe, 1992 .

Validating complex computer system availability models

A. Sathaye, A. S. Wein, A. Sathaye, 1990 .

Synthesis of real-time supervisors for controlled time Petri nets

A. S. Sathaye, B. H. Krogh, B. Krogh, 1993, Proceedings of 32nd IEEE Conference on Decision and Control.

Logical analysis and control of real-time discrete event systems

Archana Shirish Sathaye, A. Sathaye, 1993 .

A load balancing tool based on mining access patterns for Distributed File System servers

Archana Sathaye, Alexandra Glagoleva, A. Sathaye, 2002, Proceedings of the 35th Annual Hawaii International Conference on System Sciences.

Load balancing distributed file system servers: a rule-based approach

Archana Sathaye, Alexandra Glagoleva, A. Sathaye, 2003 .

Stochastic Petri net modeling of VAXcluster system availability

Kishor S. Trivedi, K.S. Trivedi, O.C. Ibe, 1989, Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89.