Muhammad A. Qureshi

Performability modeling with UltraSAN

William H. Sanders, Manish Rai, Joseph A. Couvillion, 1991, IEEE Software.

Reward Model Solution Methods with Impulse and Rate Rewards: An Algorithm and Numerical Results

William H. Sanders, Muhammad A. Qureshi, W. Sanders, 1994, Perform. Evaluation.

Expected Impulsive Rewards in Markov Regenerative Stochastic Petri Nets

William H. Sanders, Reinhard German, Aad P. A. van Moorsel, 1996, Application and Theory of Petri Nets.

The effect of workload on the performance and availability of voting algorithms

William H. Sanders, Muhammad A. Qureshi, W. Sanders, 1995, MASCOTS '95. Proceedings of the Third International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems.

Algorithms for the Generation of State-Level Representations of Stochastic Activity Networks with General Reward Structures

William H. Sanders, Reinhard German, Aad P. A. van Moorsel, 1996, IEEE Trans. Software Eng..

A new methodology for calculating distributions of reward accumulated during a finite interval

William H. Sanders, Muhammad A. Qureshi, W. Sanders, 1996, Proceedings of Annual Symposium on Fault Tolerant Computing.

Performability Modeling with UltraSAN

William H. Sanders, Manish Rai, Joseph A. Couvillion, 1991, IEEE Softw..

UltraSAN version 3 overview

William H. Sanders, Aad P. A. van Moorsel, W. Douglas Obal, 1995, Proceedings 6th International Workshop on Petri Nets and Performance Models.

Algorithms for the generation of state-level representations of stochastic activity networks with general reward structures

William H. Sanders, Reinhard German, Aad P. A. van Moorsel, 1995, Proceedings 6th International Workshop on Petri Nets and Performance Models.