Sanders, W.H.

• Deavours, D. D.; Clark, G.; Courtney, T.; Daly, D.; Derisavi, S.; Doyle, J. M.; Sanders, W. H.; Webster, P. G.:
  The Möbius Framework and Its Implementation. 2002.

• Deavours, D.D.; Sanders, W.H.:
  The Moebius Execution Policy. 2001.

• Obal II, W. D.; Sanders, W. H.:
  Measure-Adaptive State-Space Construction. 2001.

• Chandra, R.; Cukier, M.; Lefever, R. M.; Sanders, W. H.:
  Dynamic Node Management and Measure Estimation in a State-Driven Fault Injector. 2000.

• Chandra, R.; Cukier, M.; Lefever, R. M.; Sanders, W. H.:
  Loki: A State-driven Fault Injector for Distributed Systems. 2000.

• Deavours, D.D.; Sanders, W.H.:
  An efficient well-specified check. 1999.

• Sanders, W.H.:
  Integrated frameworks for multi-level and multi-formalism modeling. 1999.

• Deavours, D.D.; Sanders, W.H.:
  `On-the-fly' solution techniques for stochastic Petri nets and extensions. 1998.

• Kant, L.; Sanders, W.H.:
  Performance analysis of the knockout switch under bursty traffic based on a stochastic activity network model. 1998.

• Obal, W.D.; Sanders, W.H.:
  State-space support for path-based reward variables. 1998.

• van Moorsel, A.P.A.; Sanders, W.H.:
  Transient Solution of Markov Models by Combining Adaptive & Standard Uniformization. 1997.

• Deavours, D.D.; Sanders, W.H.:
  An Efficient Disk-based Tool for Solving Very Large Markov Models. 1997.

• Deavours, Daniel D.; Sanders, William H.:
  ``On-The-Fly'' Solution Techniques for Stochastic Petri Nets and Extensions. 1997.

• Kant, L.; Sanders, W.H.:
  Analysis of the Distribution of Consecutive Cell Losses in an ATM Switch Using Stochastic Activity Networks. 1997.

• Malhis, L.; Sanders, W.H.:
  An Efficient Two-Stage Iterative Method for the Steady-State Analysis of Markov Regenerative Stochastic Petri Net Models. 1996.

• German, Reinhard; van Moorsel, Aad P. A.; Qureshi, Muhammad; Sanders, William H.:
  Expected Impulse Rewards in Markov Regenerative Stochastic Petri Nets. 1996.

• Qureshi, M. A.; Sanders, W. H.:
  A New Methodology for Calculating Distributions of Reward Accumulated During a Finite Interval. 1996.

• Qureshi, M. A.; Sanders, W. H.:
  The Effect of Workload on the Performance and Availability of Voting Algorithms. 1996.

• van Moorsel, A.P.A.; Kant, L.A.; Sanders, W.H.:
  Computation of the Asymptotic Bias and Variance for Simulation of Markov Reward Models. 1996.

• Deavours, D.D.; Obal, W.D.; Qureshi, M.A.; Sanders, W.H.; van Moorsel, A.P.A.:
  UltraSAN Version 3 Overview. 1995.

• Diener, J.D.; Sanders, W.H.:
  Empirical Comparison of Uniformization Methods for Continuous-Time Markov Chains. 1995.

• Malhis, Luai M.; Sanders, William H.; Schlichting, Richard D.:
  Numerical evaluation of a group-oriented multicast protocol using stochastic activity networks. 1995.

• Qureshi, M.A.; Sanders, W.H.; van Moorsel, A.P.A.; German, R.:
  Algorithms for the generation of state-level representations of stochastic activity networks with general reward structures. 1995.

• Sanders, W.H.; Obal, W.D.; Qureshi, M.A.; Widjanarko, F.K.:
  The UltraSAN modeling environment. 1995.

• Kant, L.; Sanders, W.H.:
  Loss Process Analysis of the Knockout Switch Using Stochastic Activity Networks. 1995.

• Malhis, L.M.; West, S.C.; Kant, L.A.; Sanders, W.H.:
  Modeling Recycle: A Case Study in the Industrial Use of Measurement and Modeling. 1995.

• Sanders, W.H.; Obal, W.D.; Qureshi, M.A.; Widjanarko, F.K.:
  UltraSAN Version 3: Architecture, Features, and Implementation. 1995.

• Qureshi, M.A.; Sanders, W.H.:
  The Effect of Workload on the Performance and Availability of Voting Algorithms. 1995.

• Qureshi, M.A.; Sanders, W.H.:
  Reward Model Solution Methods with Impulse and Rate Rewards: An Algorithm and Numerical Results. 1994.

• Obal, W.D.; Sanders, W.H.:
  An Environment for Importance Sampling Based on Stochastic Activity Networks. 1994.

• van Moorsel, A.P.A.; Sanders, W. H.:
  Adaptive Uniformization. 1994.

• Obal, W.D.; Sanders, W.H.:
  Importance Sampling Simulation in UltraSAN. 1994.

• Sanders, W.H.; Obal, W.D.:
  Dependability Evaluation Using UltraSAN. 1993.

• Shen, B.; Williams, J.G.; Sanders, W.H.:
  Performability of Signal Validation Systems Using Stochastic Activity Networks. 1993.

• Sanders, W.H.; Kant, L.A.; Kudrimoti, A.:
  A Modular Method for Evaluating the Performance of Picture Archiving and Communication Systems. 1993.

• Sanders, W.H.; Freire, R.S.:
  Efficient Simulation of Hierarchical Stochastic Activity Network Models. 1993.

• Meyer, J. F.; Sanders, W. H.:
  Specification and Construction of Performability Models. 1993.

• Prodromides, K.; Sanders, W. H.:
  Performability Evaluation of CSMA/CD and CSMA/DCR Protocols under Transient Fault Conditions. 1993.

• Sanders, W.H.; Martinez, R.; Alsafadi, Y.; Nam, J.:
  Performance Evaluation of a Picture Archiving and Communication Network Using Stochastic Activity Networks. 1993.

• Sanders, W.H.; Malhis, L.M.:
  Dependability Evaluation Using Composed SAN-Based Reward Models. 1992.

• Kudrimoti, A.; Sanders, W.H.:
  A Modular Method for Evaluating the Performance of Picture Archiving and Communication Systems. 1992.

• Alsafadi, Y.; Martinez, R.; Sanders, W.H.:
  Definition and Evaluation of the Data Link Layer of PACnet. 1991.

• Prodromides, K.H.; Sanders, W.H.:
  Performability Evaluation of CSMA/CD and CSMA/DCR Protocols under Transient Fault Conditions. 1991.

• Sanders, W.H.; Meyer, J.F.:
  A Unified Approach for Specifying Measures of Performance, Dependability, and Performability. 1991.

• Sanders, W.H.; Meyer, J.F.:
  Reduced Base Model Construction Methods for Stochastic Activity Networks. 1991.

• Couvillion, Joseph A.; Freire, Roberto; Johnson, Ron; Obal, W. Douglas; Qureshi, M. Akber; Rai, Manish; Sanders, William H.; Tvedt, Janet E.:
  Performability Modeling with UltraSAN. 1991.

• Martinez, R.; Sanders, W.H.; Alsafadi, Y.; Nam, J.; Ozeki, T.; Komatsu, K.:
  Performance Evaluation of a Picture Archiving and Communication System Using Stochastic Activity Networks. 1990.

• Sanders, W.H.; Meyer, J.F.:
  Reduced Base Model Construction Methods for Stochastic Activity Networks. 1990.

• Meyer, J.F.; Muralidhar, K.H.; Sanders, W.H.:
  Performability of a Token Bus Network under Transient Fault Conditions. 1989.

• Sanders, W.H.; Meyer, J.F.:
  Performance Variable Driven Construction Methods for Stochastic Activity Networks. 1988.

• Sanders, W.H.; Meyer, J.F.:
  Performability Evaluation of Distributed Systems Using Stochastic Activity Networks. 1987.

• Sanders, W.H.; Meyer, J.F.:
  METASAN: A Performability Evaluation Tool on Stochastic Activity Networks. 1986.

• Meyer, J.F.; Movaghar, A.; Sanders, W.H.:
  Stochastic Activity Networks: Structure, Behavior and Application. 1985.

Back to the Petri Nets Bibliography