Publications with the Performability Engineering Research Group
Performability Modeling with UltraSAN.
J. Couvillion, R. Freire, R. Johnson, W. D. Obal II, M. A. Qureshi, M. Rai, W. H. Sanders, and J. E. Tvedt. (91C01)
IEEE Software, vol. 8, no. 5, Sept. 1991, pp. 69-80.
Overview paper on UltraSAN. Provides a basic introduction to the package.
Performability Modeling with UltraSAN.
J. Couvillion, R. Freire, R. Johnson, W. D. Obal II, M. A. Qureshi, M. Rai, W. H. Sanders, and J. E. Tvedt. (91C02, available in hard copy)
Proceedings of the International Workshop on Petri Nets and Performance Models, Melbourne, Australia, December 2-5, 1991, pp. 290-299.
Conference version of above paper.
Importance Sampling Simulation of SAN-Based Reward Models.
W. D. Obal II. (93O02)
Master's Thesis, University of Arizona, 1993.
A Model Based Foundation for Evaluating Large Scale Telecommunication Systems.
W. D. Obal II and W. H. Sanders.
Proc. 12th Annual IEEE Int. Phoenix Conf. on Computers and Communications, Phoenix, AZ, Mar. 23-26, 1993, pp. 367-369.
Dependability Evaluation Using UltraSAN.
W. H. Sanders and W. D. Obal II. (93S01)
Proceedings of the 23rd Annual International Symposium on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993, pp. 674-679.
Overview of UltraSAN modeling software with applications to dependability evaluation.
Importance Sampling Simulation in UltraSAN.
W. D. Obal II and W. H. Sanders. (94O02)
Simulation, vol. 62, no. 2, February 1994, pp. 98-111.
Describes the importance sampling simulation facility in UltraSAN.
An Environment for Importance Sampling Based on Stochastic Activity Networks.
W. D. Obal II and W. H. Sanders. (94O01)
Proceedings of the 13th Symposium on Reliable Distributed Systems, Dana Point, CA, October, 1994, pp. 64-73.
Describes the theory of importance sampling as applied to SAN-based reward models, with an application to the evaluation of the MARS architecture.
UltraSAN Version 3: Architecture, Features, and Implementation.
W. H. Sanders, W. D. Obal II, M. A. Qureshi, and F. K. Widjanarko. (95S02)
Proceedings of the AIAA Computing in Aerospace 10 Conference, San Antonio, TX, March 28-30, 1995, pp. 327-338.
Discussion of the features and architecture of UltraSAN Version 3.0, with an example.
The UltraSAN Modeling Environment.
W. H. Sanders, W. D. Obal II, M. A. Qureshi, and F. K. Widjanarko. (95S01)
Performance Evaluation, vol. 24, no. 1, October-November 1995, pp. 89-115.
Overview of UltraSAN Version 3.0.
UltraSAN Version 3 Overview.
D. D. Deavours, W. D. Obal II, M. A. Qureshi, W. H. Sanders, and A. P. A. van Moorsel. (95DEA01)
Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, Durham, NC, October 3-6, 1995, pp. 216-217.
A two-page overview of UltraSAN Version 3.0.
Overview of UltraSAN.
W. D. Obal II, M. A. Qureshi, D. D. Deavours, and W. H. Sanders.
Proc. IEEE Int. Performance and Dependability Symposium, Urbana, IL, Sept. 4-6, 1996.
Quick Simulation of a Performability Model.
W. D. Obal II and W. H. Sanders. (96OBA03)
Proceedings of PMCCS3, Bloomingdale, IL, September, 1996.
This paper reports preliminary results of our work on using large deviations theory to develop effective importance sampling strategies for performability models.
Measure-Adaptive State-Space Construction Methods.
W. D. Obal II. (98OBA04)
Doctoral Dissertation, University of Arizona, 1998.
State-Space Support for Path-based Reward Variables.
W. D. Obal II and W. H. Sanders. (98OBA01)
Proceedings of the 1998 International Computer Performance and Dependability Symposium (IPDS '98), September 7-9, 1998, Durham, North Carolina, USA, pp. 228-237.
This paper introduces path-based reward variables. Reward structures are defined on sequences of model states and events specified using "path automata," and a procedure for automatically constructing a state-space that supports such variables is given.
State-Space Support for Path-based Reward Variables.
W. D. Obal II and W. H. Sanders. (98OBA02)
Performance Evaluation, vol. 35, 1999, pp. 233-251.
Measure-Adaptive State-Space Construction.
W. D. Obal II and W. H. Sanders. (99OBA01)
Proceedings of the 4th IEEE International Computer Performance and Dependability Symposium (IPDS 2K), March 27-29, 2000, Chicago, Illinois, USA, pp. 25-34.
Measure-Adaptive State-Space Construction.
W. D. Obal II and W. H. Sanders. (00OBA01)
Performance Evaluation, Special Issue on IPDS 2000, vol. 44, April 2001, pp. 237-258.
Journal version of the conference paper with the same name.
Detecting and Exploiting Symmetry in Discrete-State Markov Models.
W. D. Obal II, M. G. McQuinn, and W. H. Sanders. (06OBA01)
Proceedings of the 12th Pacific Rim International Symposium on Dependable Computing (PRDC'06), Riverside, California, USA, Dec. 18-20, 2006, pp. 26-38.
Detecting and Exploiting Symmetry in Discrete-State Markov Models.
W. D. Obal II, M. G. McQuinn, and W. H. Sanders. (07OBA01)
IEEE Transactions on Reliability, vol. 56, no. 4, Dec. 2007, pp. 643-654.
|
