Former group member (MS, 1993; Ph.D., 1998).
1966-2005, and missed by everyone who worked with him.
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. [IEEE Xplore entry]
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 4th International Workshop on Petri Nets and Performance Models, Melbourne, Australia, December 2-5, 1991, pp. 290-299. [IEEE Xplore entry]
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. [IEEE Xplore entry]
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. [IEEE Xplore entry]
Importance Sampling Simulation in UltraSAN.
W. D. Obal II and W. H. Sanders. (94O02)
Simulation, vol. 62, no. 2, February 1994, pp. 98-111.
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. [IEEE Xplore entry]
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.
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.
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. [IEEE Xplore entry]
Overview of UltraSAN.
W. D. Obal II, M. A. Qureshi, D. D. Deavours, and W. H. Sanders. (96OBA01)
Proc. IEEE Int. Performance and Dependability Symposium, Urbana, IL, Sept. 4-6, 1996. [IEEE Xplore entry]
Quick Simulation of a Performability Model.
W. D. Obal II and W. H. Sanders. (96OBA03)
Proceedings of PMCCS3, Bloomingdale, IL, September, 1996.
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. [IEEE Xplore entry]
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. [IEEE Xplore entry]
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.
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. [IEEE Xplore entry]
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. [IEEE Xplore entry]
COPYRIGHT NOTICES: The above electronic files are presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author’s copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
The following copyright notice applies to all of the above items that appear in IEEE publications: “Personal use of this material is permitted. However, permission to reprint/publish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from IEEE.”
With respect to items published by the ACM: Items are © by the authors listed and by the ACM, in the year listed on each item. The files posted here are the authors’ versions of the work. They are posted here for your personal use and are not for redistribution. The definitive Version of Record was published as indicated in the bibliographic citations provided, and is available from the ACM Digital Library from the ACM Digital Object Identifier listed for each publication.