PERFORM

 

PERFORM Papers

PERFORM team members have published extensively in the area of performance, dependability, and performability evaluation of computer systems and networks. Most of the following papers are in PDF format. Others are in PostScript format and can be accessed with a PostScript viewer. Copies of some papers are only available as hard copy. These can be requested from Jenny Applequist by sending email to japplequ AT illinois.edu.

COPYRIGHT NOTICE: This material is 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. 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.

The publications are presented in the following categories:

 

A. SYSTEM ASSESSMENT
I. Modeling Theory and Algorithm Development
a. Modeling Formalisms

A Behavior-Based Process for Evaluating Availability Achievement Risk Using Stochastic Activity Networks.
S. T. Beaudet, T. Courtney, and W. H. Sanders. (05COU01)
Proceedings of the 52nd Annual Reliability and Maintainability Symposium (RAMS 2006), Newport Beach, California, January 23-26, 2006, pp. 21-28. [IEEE Xplore entry]

Implementing a Stochastic Process Algebra within the Möbius Modeling Framework.
G. Clark and W. H. Sanders. (01CLA02)
in Luca de Alfaro and Stephen Gilmore (Eds.), Process Algebra and Probabilistic Methods: Performance Modelling and Verification: Proceedings of the Joint International Workshop, PAPM-PROBMIV 2001, RWTH Aachen, Germany, September 12-14, 2001, Lecture Notes in Computer Science no. 2165, Berlin: Springer, 2001, pp. 200-215.

A Connection Formalism for the Solution of Large and Stiff Models.
D. Daly and W. H. Sanders. (00DAL01)
Proceedings of the 34th Annual Simulation Symposium, Seattle, WA, April 22-26, 2001, pp. 258-265. [IEEE Xplore entry]

The Möbius Framework and Its Implementation.
D. D. Deavours, G. Clark, T. Courtney, D. Daly, S. Derisavi, J. M. Doyle, W. H. Sanders, and P. G. Webster. (01DEA05)
IEEE Transactions on Software Engineering vol. 28, no. 10, October 2002, pp. 956-969. [IEEE Xplore entry]

An Efficient Well-Specified Check.
D. D. Deavours and W. H. Sanders. (99DEA01)
Proceedings of PNPM'99: 8th International Workshop on Petri Nets and Performance Models, Zaragoza, Spain, September 8-10, 1999, pp. 124-133. [IEEE Xplore entry]

The Möbius Execution Policy.
D. D. Deavours and W. H. Sanders. (01DEA02)
Proceedings of the 9th International Workshop on Petri Nets and Performance Models, Aachen, Germany, September 11-14, 2001, pp. 135-144. [IEEE Xplore entry]

Möbius: Framework and Atomic Models.
D. D. Deavours and W. H. Sanders. (01DEA01)
Proceedings of the 9th International Workshop on Petri Nets and Performance Models, Aachen, Germany, September 11-14, 2001, pp. 251-260. [IEEE Xplore entry]

Expected Impulse Rewards in Markov Regenerative Stochastic Petri Nets.
R. German, A. P. A. van Moorsel, M. A. Qureshi, and W. H. Sanders. (95GER01)
Application and Theory of Petri Nets, Proceedings of the 17th International Conference, Osaka, Japan, June 24-28, 1996, pp. 172-191 (ed. J. Billington and W. Reisig), Lecture Notes in Computer Science, Vol. 1091, Springer-Verlag, 1996.

Stochastic Activity Networks: Structure, Behavior, and Application.
J. F. Meyer, A. Movaghar, and W. H. Sanders. (85M01, available in hard copy)
Proceedings of the International Conference on Timed Petri Nets, Torino, Italy, July 1985, pp. 106-115.

Specification and Construction of Performability Models.
J. F. Meyer and W. H. Sanders. (93M01)
Proceedings of the Second International Workshop on Performability Modeling of Computer and Communication Systems, Mont Saint-Michel, France, June 28-30, 1993.

Specification and Construction of Performability Models.
J. F. Meyer and W. H. Sanders. (96MEY01)
Chapter 9 of Performability Modelling: Techniques and Tools (edited by B. R. Haverkort, R. Marie, G. Rubino, and K. S. Trivedi), John Wiley & Sons, 2001, pp. 179-222.

Performability Modeling with Stochastic Activity Networks.
A. Movaghar and J. F. Meyer.
Proceedings of the 1984 Real-Time Systems Symposium, Austin, TX, December 1984, pp. 215-224.

Cooperative Research in Multi-Formalism, Multi-Solution Modeling: Opportunities and Challenges.
W. H. Sanders. (03SAN02)
Proceedings of ICALP 2003 Satellite Workshop on Stochastic Petri Nets and Related Formalisms (Universität Dortmund Research Report No. 780), Eindhoven, The Netherlands, June 28-29, 2003, p. 170.

The Importance of the Integration of Measures, Solution Types, and Application Domains in Modeling Schemes.
W. H. Sanders.
ICASE Workshop on Software Tools and Techniques for Performance and Reliability Estimation, Hampton, VA, June 17-18, 1993.

Integrated Frameworks for Multi-Level and Multi-Formalism Modeling.
W. H. Sanders. (99SAN01)
Proceedings of PNPM'99: 8th International Workshop on Petri Nets and Performance Models, Zaragoza, Spain, September 8-10, 1999, pp. 2-9. [IEEE Xplore entry]

Stochastic Methods for Dependability, Performability, and Security Evaluation.
W. H. Sanders. (04SAN01)
Proceedings of the 25th International Conference on Applications and Theory of Petri Nets 2004 (ICATPN 2004)
, Bologna, Italy, June 21-25, 2004. Lecture Notes in Computer Science, vol. 3099, Springer, p. 97.

Multi-formalism and Multi-solution-method Modeling Frameworks: The Möbius Approach.
W. H. Sanders, T. Courtney, D. Deavours, D. Daly, S. Derisavi, and V. Lam. (03SAN01)
Proceedings of the Symposium on Performance Evaluation - Stories and Perspectives, Vienna, Austria, December 5-6, 2003, pp. 241-256.

Performability Evaluation of Distributed Systems Using Stochastic Activity Networks.
W. H. Sanders and J. F. Meyer. (87S01, available in hard copy)
Proceedings of the International Workshop on Petri Nets and Performance Models, Madison, WI, August 1987, pp. 111-120.

Stochastic Activity Networks: Formal Definitions and Concepts.
W. H. Sanders and J. F. Meyer. (01SAN02)
in E. Brinksma, H. Hermanns, and J. P. Katoen (Eds.), Lectures on Formal Methods and Performance Analysis, First EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000, Revised Lectures, Lecture Notes in Computer Science no. 2090, pp. 315-343. Berlin: Springer, 2001.

A Unified Approach for Specifying Measures of Performance, Dependability, and Performability.
W. H. Sanders and J. F. Meyer. (91S02)
Dependable Computing for Critical Applications, Vol. 4 of Dependable Computing and Fault-Tolerant Systems (ed. A. Avizienis, H. Kopetz, and J. Laprie), Springer-Verlag, 1991, pp. 215-237.

Toward a Cyber-Physical Topology Language: Applications to NERC CIP Audit.
G. A. Weaver, C. Cheh, E. J. Rogers, W. H. Sanders, and D. Gammel. (13WEA01)
Proceedings of the Smart Energy Grid Security Workshop (SEGS), Berlin, Germany, Nov. 8, 2013, to appear.

Frameworks for Evaluating Discrete-Event Dynamic Systems.
B. P. Zeigler and W. H. Sanders. (93Z01, available in hard copy)
Discrete Event Dynamic Systems: Theory and Applications, vol. 3, no. 2/3, July 1993, pp. 113-118.

 

b. State Generation

Optimal State-Space Lumping in Markov Chains.
S. Derisavi, H. Hermanns, and W. H. Sanders. (02DER01)
Information Processing Letters, vol. 87, no. 6, September 30, 2003, pp. 309-315.

Lumping Matrix Diagram Representations of Markov Models.
S. Derisavi, P. Kemper, and W. H. Sanders. (04DER01)
Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN-2005), Yokohama, Japan, June 28-July 1, 2005, pp. 742-751. [IEEE Xplore entry]

Symbolic State-space Exploration and Numerical Analysis of State-sharing Composed Models.
S. Derisavi, P. Kemper, and W. H. Sanders. (03DER01)
Proceedings of NSMC '03: The Fourth International Conference on the Numerical Solution of Markov Chains, Urbana, IL, USA, September 3-5, 2003, pp. 167-189.

Symbolic State-space Exploration and Numerical Analysis of State-sharing Composed Models.
S. Derisavi, P. Kemper, and W. H. Sanders. (03DER03)
Linear Algebra and Its Applications (LAA), vol. 386, July 15, 2004, pp. 137-166.

Dependability Analysis with Markov Chains: How Symmetries Improve Symbolic Computations.
M. G. McQuinn, P. Kemper, and W. H. Sanders. (07MCQ01)
Proceedings of the 4th International Conference on the Quantitative Evaluation of SysTems (QEST) 2007, Edinburgh, UK, Sept. 16-19, 2007, pp. 151-160. [IEEE Xplore entry]

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]

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.

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.

Algorithms for the Generation of State-Level Representations of Stochastic Activity Networks with General Reward Structures.
M. A. Qureshi, W. H. Sanders, A. P. A. van Moorsel, and R. German. (95Q02)
Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, Durham, NC, October 3-6, 1995, pp. 180-190. [IEEE Xplore entry]

Algorithms for the Generation of State-Level Representations of Stochastic Activity Networks with General Reward Structures.
M. A. Qureshi, W. H. Sanders, A. P. A. van Moorsel, and R. German. (95QUR05)
IEEE Transactions on Software Engineering, vol. 22, no. 9, September 1996, pp. 603-614. [IEEE Xplore entry]

Performance Variable Driven Construction Methods for Stochastic Activity Networks.
W. H. Sanders and J. F. Meyer. (88S01, available in hard copy)
Computer Performance and Reliability (ed. G. Iazeolla, P. J. Courtois, and O. J. Boxma), Amsterdam: North-Holland, 1988, pp. 383-398.

Reduced Base Model Construction Methods for Stochastic Activity Networks.
W. H. Sanders and J. F. Meyer. (89S01)
Proceedings of the Third International Workshop on Petri Nets and Performance Models, Kyoto, Japan, Dec. 11-13, 1989, pp. 74-84. [IEEE Xplore entry]

Reduced Base Model Construction Methods for Stochastic Activity Networks.
W. H. Sanders and J. F. Meyer. (91S01)
IEEE Journal on Selected Areas in Communications, special issue on Computer-Aided Modeling, Analysis, and Design of Communication Networks, vol. 9, no. 1, Jan. 1991, pp. 25-36. [IEEE Xplore entry]

Recurrence-Relation-Based Reward Model for Performability Evaluation of Embedded Systems.
A. T. Tai, K. S. Tso, and W. H. Sanders. (07TAI01)
Proceedings of the 8th International Workshop on Performability Modeling of Computer and Communication Systems
, Edinburgh, Scotland, Sept. 20-21, 2007.

 

c. Analytic Model Solution

Approximate Computation of Transient Results for Large Markov Chains.
P. Buchholz and W. H. Sanders. (04BUC01)
Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), Enschede, The Netherlands, September 27-30, 2004, pp. 126-135. [IEEE Xplore entry]

An Approach for Bounding Reward Measures in Markov Models Using Aggregation.
D. Daly, P. Buchholz, and W. H. Sanders. (04DAL03)
University of Illinois at Urbana-Champaign Coordinated Science Laboratory technical report UILU-ENG-04-2206 (CRHC-04-06), July 2004.

Bound-Preserving Composition for Markov Reward Models.
D. Daly, P. Buchholz, and W. H. Sanders. (05DAL04)
Proceedings of the 3rd International Conference on the Quantitative Evaluation of SysTems (QEST) 2006, Riverside, CA, September 11-14, 2006, pp. 243-252. [IEEE Xplore entry]

A Preorder Relation for Markov Reward Processes.
D. Daly, P. Buchholz, and W. H. Sanders (05DAL02)
IBM Research Report RC23827 (W0512-025), December 6, 2005.

A Preorder Relation for Markov Reward Processes.
D. Daly, P. Buchholz, and W. H. Sanders. (06DAL01)
Statistics and Probability Letters, vol. 77, no. 11, 2007, pp. 1148-1157.

Bounded Decomposition of Stochastic Models.
D. Daly and W. H. Sanders. (03DAL02)
in Extended Abstracts from PMCCS-6: the Sixth International Workshop on Performability Modeling of Computer and Communication Systems, Monticello, IL, September 5-7, 2003, pp. 1-4.

An Efficient Disk-based Tool for Solving Large Markov Models.
D. D. Deavours and W. H. Sanders. (98DEA01)
Performance Evaluation, vol. 33, 1998, pp. 67-84.

An Efficient Disk-based Tool for Solving Very Large Markov Models.
D. D. Deavours and W. H. Sanders. (96DEA02)
Raymond Marie et al. (Eds.), Computer Performance Evaluation: Proceedings of the 9th International Conference on Modelling Techniques and Tools (TOOLS '97), St. Malo, France, June 3-6, 1997 (Lecture Notes in Computer Science, no. 1245), Berlin: Springer, 1997, pp. 58-71.

"On-the-Fly" Solution Techniques for Stochastic Petri Nets and Extensions.
D. D. Deavours and W. H. Sanders. (96DEA01)
Proceedings of 7th International Workshop on Petri Nets and Performance Models (PNPM '97), Saint Malo, France, June 3-6, 1997, pp. 132-141. [IEEE Xplore entry]

"On-the-Fly" Solution Techniques for Stochastic Petri Nets and Extensions.
D. D. Deavours and W. H. Sanders. (97DEA02)
IEEE Transactions on Software Engineering, vol. 24, no. 10, October 1998, pp. 889-902. [IEEE Xplore entry]

Integrating Analysis Techniques in Möbius: Experiences with Interfaces.
S. Derisavi and P. Kemper. (03DER04)
Proceedings of ICALP 2003 Satellite Workshop on Stochastic Petri Nets and Related Formalisms (Universität Dortmund Research Report No. 780), Eindhoven, The Netherlands, June 28-29, 2003, p. 170.

Empirical Comparison of Uniformization Methods for Continuous-Time Markov Chains.
J. D. Diener and W. H. Sanders. (95D01)
Computations with Markov Chains, (ed. W. J. Stewart), Kluwer Academic Publishers, Boston, 1995, pp. 547-570.

State-Based Analysis in ADVISE.
M. D. Ford, P. Buchholz, and W. H. Sanders. (12FOR01)
Proceedings of the 9th International Conference on Quantitative Evaluation of SysTems (QEST), London, UK, Sept. 17-20, 2012, pp. 148-157. [IEEE Xplore entry]

Performance Analysis of Two Time-based Coordinated Checkpointing Protocols.
G. P. Kavanaugh and W. H. Sanders. (97GP01)
Proceedings of the 1997 Pacific Rim International Symposium on Fault Tolerant Systems (PRFTS), December 15-16, 1997, Taipei, Taiwan, pp. 194-201. [IEEE Xplore entry]

A Component-Level Path Composition Approach for Efficient Transient Analysis of Large CTMCs.
V. V. Lam, P. Buchholz, and W. H. Sanders. (05LAM03)
Proceedings of the International Conference on Dependable Systems and Networks (DSN-2006), Philadelphia, PA, USA, June 25-28, 2006, pp. 485-494. [IEEE Xplore entry]

A Structured Path-Based Approach for Computing Transient Rewards of Large CTMCs.
V. V. Lam, P. Buchholz, and W. H. Sanders. (04LAM01)
Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), Enschede, The Netherlands, September 27-30, 2004, pp. 136-145. [IEEE Xplore entry]

An Efficient Two-Stage Iterative Method for the Steady-State Analysis of Markov Regenerative Stochastic Petri Net Models.
L. Malhis and W. H. Sanders. (96MAL01)
Performance Evaluation, vols. 27&28, October 1996, pp. 583-601.

A New Methodology for Calculating Distributions of Reward Accumulated During a Finite Interval.
M. A. Qureshi and W. H. Sanders. (95QUR04)
Proceedings of the 26th International Symposium on Fault-Tolerant Computing, Sendai, Japan, June 1996, pp. 116-125. [IEEE Xplore entry]

Reward Model Solution Methods with Impulse and Rate Rewards: An Algorithm and Numerical Results.
M. A. Qureshi and W. H. Sanders. (94QUR01)
Performance Evaluation, vol. 20, 1994, pp. 413-436.

Reward Model Solution Methods with Impulse and Rate Rewards: An Algorithm and Numerical Results.
W. H. Sanders and M. A. Qureshi.
2nd ORSA Telecommunications Conference, Boca Raton, FL, Mar. 1992.

Adaptive Uniformization.
A. P. A. van Moorsel and W. H. Sanders. (94M02)
ORSA Communications in Statistics: Stochastic Models, vol. 10, no. 3, August 1994, pp. 619-648.

Adaptive Uniformization: Technical Details.
A. P. A. van Moorsel and W. H. Sanders. (93M03)
Research Report 93M03 CRHC.

Transient Solution of Markov Models by Combining Adaptive & Standard Uniformization.
A. P. A. van Moorsel and W. H. Sanders. (96MOO02; file is of a prepublication version of this paper)
IEEE Transactions on Reliability, vol. 46, no. 3, September 1997, pp. 430-440. [IEEE Xplore entry]

 

d. Simulation Model Solution

Efficient State Management to Speed Up Simultaneous Simulation of Alternate System Configurations.
S. Gaonkar, T. Courtney, and W. H. Sanders. (06GAO01)
Proceedings of the International Mediterranean Modelling Multiconference, Barcelona, Spain, October 4-6, 2006, pp. 31-36.

G-SSASC: Simultaneous Simulation of System Models with Bounded Hazard Rates.
S. Gaonkar and W. H. Sanders. (09GAO03)
Proceedings of the 2009 Winter Simulation Conference, Austin, Texas, USA, Dec. 13-16, 2009, pp. 663-673. [IEEE Xplore entry]

Simultaneous Simulation of Alternative System Configurations.
S. Gaonkar and W. H. Sanders. (05GAO01)
Proceedings of the 11th Pacific Rim International Symposium on Dependable Computing, Changsha, Hunan, China, Dec. 12-14, 2005, pp. 41-48. [IEEE Xplore entry]

Simultaneous Simulation of Alternative System Configurations of Markovian System Models.
S. Gaonkar and W. H. Sanders. (09GAO01)
University of Illinois at Urbana-Champaign Coordinated Science Laboratory technical report UILU-ENG-09-2203 (CRHC-09-02), March 2009.

Dynamic Partitioning of Large Discrete Event Biological Systems for Hybrid Simulation and Analysis.
K. R. Joshi, N. Neogi, and W. H. Sanders. (04JOS01)
Proceedings of the 7th International Workshop on Hybrid Systems: Computation and Control (HSCC 2004), Philadelphia, PA, March 25-27, 2004, pp. 463-476.

A Component-Level Path-Based Simulation Approach for Efficient Analysis of Large Markov Models.
V. V. Lam, P. Buchholz, and W. H. Sanders. (05LAM02)
Proceedings of the 2005 Winter Simulation Conference, Orlando, FL, December 4-7, 2005, pp. 584-590. [IEEE Xplore entry]

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]

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]

Quick Simulation of a Performability Model.
W. D. Obal II and W. H. Sanders. (96OBA03)
Proceedings of PMCCS3, Bloomingdale, IL, September, 1996.

Using ZPL to Develop a Parallel Chaos Router Simulator.
W. Richardson, M. L. Bailey, and W. H. Sanders. (96RIC01)
Proceedings of the Winter Simulation Conference, Coronado, CA, Dec. 8-11, 1996, pp. 809-816. [IEEE Xplore entry]

Dependency-Based Decomposition of Systems Involving Rare Events.
E. W. D. Rozier and W. H. Sanders. (10ROZ03)
University of Illinois at Urbana-Champaign Coordinated Science Laboratory technical report UILU-ENG-11-2203 (CRHC-11-03), January 2011.

Efficient Simulation of Hierarchical Stochastic Activity Network Models.
W. H. Sanders and R. S. Freire. (93S02)
Discrete Event Dynamic Systems: Theory and Applications, vol. 3, no. 2/3, July 1993, pp. 271-300.

Computation of the Asymptotic Bias and Variance for Simulation of Markov Reward Models.
A. P. A. van Moorsel, L. A. Kant, and W. H. Sanders. (96MOO01)
Proceedings of the 29th Annual Simulation Symposium, New Orleans, LA, April 1996, pp. 173-182. [IEEE Xplore entry]

 

II. Modeling Tools

On Integrating the Möbius and Modest Modeling Tools.
H. Bohnenkamp, T. Courtney, D. Daly, S. Derisavi, H. Hermanns, J.-P. Katoen, R. Klaren, V. V. Lam, and W. H. Sanders. (03BOH01)
Tool paper in the Proceedings of the 2003 International Conference on Dependable Systems and Networks, San Francisco, CA, June 22-25, 2003, p. 671. [IEEE Xplore entry]

The Möbius Modeling Tool.
G. Clark, T. Courtney, D. Daly, D. Deavours, S. Derisavi, J. M. Doyle, W. H. Sanders, and P. Webster. (01CLA01)
Proceedings of the 9th International Workshop on Petri Nets and Performance Models, Aachen, Germany, September 11-14, 2001, pp. 241-250. [IEEE Xplore entry]

The Möbius Modeling Environment: Recent Developments.
T. Courtney, D. Daly, S. Derisavi, S. Gaonkar, M. Griffith, V. Lam, and W. H. Sanders. (04COU01)
Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), Enschede, The Netherlands, September 27-30, 2004, pp. 328-329. [IEEE Xplore entry]

The Möbius Modeling Environment.
T. Courtney, D. Daly, S. Derisavi, V. Lam, and W. H. Sanders. (03COU01)
Tools of the 2003 Illinois International Multiconference on Measurement, Modelling, and Evaluation of Computer-Communication Systems, Universität Dortmund Fachbereich Informatik research report no. 781/2003, 2003, pp. 34-37.

The Möbius Modeling Environment: Recent Extensions - 2005.
T. Courtney, S. Derisavi, S. Gaonkar, M. Griffith, V. Lam, M. McQuinn, E. Rozier, and W. H. Sanders. (05COU02)
Proceedings of the 2nd International Conference on the Quantitative Evaluation of Systems (QEST 2005), Torino, Italy, September 19-22, 2005, pp. 259-260. [IEEE Xplore entry]

Data Analysis and Visualization within the Möbius Modeling Environment.
T. Courtney, S. Gaonkar, M. Griffith, V. Lam, M. McQuinn, E. Rozier, and W. H. Sanders. (06COU01)
Proceedings of the 3rd International Conference on the Quantitative Evaluation of SysTems (QEST), Riverside, CA, Sept. 11-14, 2006, pp. 137-138. [IEEE Xplore entry]

Möbius 2.3: An Extensible Tool for Dependability, Security, and Performance Evaluation of Large and Complex System Models.
T. Courtney, S. Gaonkar, K. Keefe, E. W. D. Rozier, and W. H. Sanders. (08COU01)
Proceedings of the 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2009), Estoril, Lisbon, Portugal, June 29-July 2, 2009, pp. 353-358. [IEEE Xplore entry]

Design of Experiments within the Möbius Modeling Framework.
T. Courtney, S. Gaonkar, M. G. McQuinn, E. Rozier, W. H. Sanders, and P. Webster. (07COU01)
Proceedings of the 4th International Conference on the Quantitative Evaluation of SysTems (QEST) 2007, Edinburgh, UK, Sept. 16-19, 2007, pp. 161-162. [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. (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]

Möbius: An Extensible Tool for Performance and Dependability Modeling.
D. Daly, D. D. Deavours, J. M. Doyle, A. J. Stillman, and P. G. Webster. (99DAL01)
Digest of FastAbstracts presented at the 29th Annual International Symposium on Fault-Tolerant Computing (FTCS-29), Madison, Wisconsin, USA, June 15-18, 1999, pp. 15-16.

Möbius: An Extensible Framework for Performance and Dependability Modeling.
D. Daly, D. D. Deavours, J. M. Doyle, A. J. Stillman, P. G. Webster, and W. H. Sanders. (99DAL02)
Tool Descriptions from the Multi-Workshop on Formal Methods in Performance Evaluation and Applications, Zaragoza, Spain, September 6-10, 1999.

Möbius: An Extensible Tool for Performance and Dependability Modeling.
D. Daly, D. D. Deavours, J. M. Doyle, P. G. Webster, and W. H. Sanders. (99DAL03)
Computer Performance Evaluation: Modelling Techniques and Tools: Proceedings of the 11th International Conference, TOOLS 2000, Schaumburg, IL, March 27-31, 2000. In B. R. Haverkort, H. C. Bohnenkamp, and C. U. Smith (Eds.), Lecture Notes in Computer Science No. 1786, pp. 332-336. Berlin: Springer, 2000.

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]

Experiences in Porting UltraSAN from Unix to AIX and the RISC SYSTEM/6000.
W. P. Delaney, M. P. Kaplan, S. M. Mahoney, W. H. Sanders, and S. C. West.
Tucson Technical Report, TR-82.0531, IBM ADSTAR, Tucson, AZ, Sept. 1992.

The Möbius State-level Abstract Functional Interface.
S. Derisavi, P. Kemper, W. H. Sanders, and T. Courtney. (01DER01)
Computer Performance Evaluation: Modelling Techniques and Tools: Proceedings of the 12th International Conference, TOOLS 2002, London, UK, April 14-17, 2002, Lecture Notes in Computer Science vol. 2324 (T. Field, P. G. Harrison, J. Bradley, and U. Harder, eds.), Berlin: Springer, pp. 31-50.

The Möbius State-level Abstract Functional Interface.
S. Derisavi, P. Kemper, W. H. Sanders, and T. Courtney. (02DER02)
Performance Evaluation, vol. 54, no. 2, October 2003, pp. 105-128.

Performance and Dependability Modeling with Möbius.
S. Gaonkar, K. Keefe, R. Lamprecht, E. Rozier, P. Kemper, and W. H. Sanders. (08GAO03)
ACM SIGMETRICS Performance Evaluation Review, vol. 36, no. 4, March 2009, pp. 16-21. [ACM DOI: http://dx.doi.org/10.1145/1530873.1530878]

Remote Job Management in the Möbius Modeling Framework.
K. Keefe, Q. Mitchell, E. Rozier, and W. H. Sanders. (09GUL01)
Proceedings of the 6th International Conference on Quantitative Evaluation of SysTems (QEST) 2009, Budapest, Hungary, September 13-16, 2009, pp. 209-210. [IEEE Xplore entry]

Möbius Shell: A Command-line Interface for Möbius.
K. Keefe and W. H. Sanders. (13KEE01)
Proceedings of the 10th International Conference on Quantitative Evaluation of SysTems (QEST 2013), Buenos Aires, Argentina, Aug. 27-30, 2013, Lecture Notes in Computer Science, vol. 8054, Springer, pp. 282-285.

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]

Importance Sampling Simulation in UltraSAN.
W. D. Obal II and W. H. Sanders. (94O02)
Simulation, vol. 62, no. 2, February 1994, pp. 98-111.

Möbius: An Integrated Discrete-Event Modeling Environment.
J. Peccoud, T. Courtney, and W. H. Sanders. (07PEC01)
Bioinformatics, vol. 23, no. 24, 2007, pp. 3412-3414.

METASAN: A Performability Evaluation Tool Based on Stochastic Activity Networks.
W. H. Sanders and J. F. Meyer. (86S01, available in hard copy and from the ACM Digital Library)
Proceedings of the IEEE-ACM Fall Joint Computer Conference, Dallas, TX, November 1986, pp. 807-816. [ACM: http://dl.acm.org/citation.cfm?id=324493.324642]

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]

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: 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.

A Recurrence-Relation-Based Reward Model for Performability Evaluation of Embedded Systems.
A. T. Tai, K. S. Tso, and W. H. Sanders. (08TAI01)
Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2008), Anchorage, Alaska, June 24-27, 2008, pp. 532-541. [IEEE Xplore entry]

 

III. System Evaluation

a. Media Access Control Protocols

Definition and Evaluation of the Data Link Layer of PACnet.
Y. Alsafadi, R. Martinez, and W. H. Sanders. (91A01, available in hard copy)
Proceedings of the Medical Imaging V, SPIE Conference on Medical Imaging, San Jose, CA, Feb. 23-Mar. 1, 1991, pp. 129-140.

LAN Protocol Validation.
J. F. Meyer, K. H. Muralidhar, and W. H. Sanders.
ITI Technical Report ITI-TR-87-26, Communications and Distributed Systems Laboratory, Industrial Technology Institute, Ann Arbor, MI, Oct. 1987.

Model-Based Performability Evaluation of Local Area Networks.
J. F. Meyer, K. H. Muralidhar, and W. H. Sanders.
Technical Report ITI-TR-88-7, Communications and Distributed Systems Laboratory, Industrial Technology Institute, Ann Arbor, MI, May 1988.

Performability of a Token Bus Network under Transient Fault Conditions.
J. F. Meyer, K. H. Muralidhar, and W. H. Sanders. (89M01)
Proceedings of the 19th Annual International Symposium on Fault-Tolerant Computing, Chicago, IL, June 1989, pp. 175-182. [IEEE Xplore entry]

Performability Evaluation of CSMA/CD and CSMA/DCR Protocols under Transient Fault Conditions.
K. H. Prodromides and W. H. Sanders. (91P01, available in hard copy)
Proceedings of the Tenth Symposium on Reliable Distributed Systems, Pisa, Italy, Sept. 30-Oct. 2, 1991, pp. 166-176. [IEEE Xplore entry]

Performability Evaluation of CSMA/CD and CSMA/DCR Protocols under Transient Fault Conditions.
K. Prodromides and W. H. Sanders. (93P01)
IEEE Transactions on Reliability, vol. 42, no. 1, March 1993, pp. 116-127. [IEEE Xplore entry]

Performability Evaluation of Media Access Control Protocols.
W. H. Sanders and K. H. Prodromides.
TIMS XXX-SOBRAPO XXII, Rio, Brazil, July 15-17, 1991.

The Effect of Slot Time on the Performability of Token Bus Networks.
W. H. Sanders and C. N. Thurwachter.
GAINS Technical Report, Communications and Distributed Systems Laboratory, Industrial Technology Institute, Ann Arbor, MI, Feb. 1988.

 

b. ATM Networks

Analysis of the Distribution of Consecutive Cell Losses in an ATM Switch Using Stochastic Activity Networks.
L. Kant and W. H. Sanders. (96KAN02; please note that this file contains a prepublication version that is slightly different from the published paper.)
Special Issue of International Journal of Computer Systems Science & Engineering on ATM Switching, vol. 12, no. 2, March 1997, pp. 117-129.

Loss Process Analysis of the Knockout Switch Using Stochastic Activity Networks.
L. Kant and W. H. Sanders. (95KAN01)
Proceedings of the Fourth International Conference on Computer Communications and Networks, Las Vegas, NV, September 20-23 1995, pp. 344-349. [IEEE Xplore entry]

Performance Analysis of the Knockout Switch Under Bursty Traffic Based on a Stochastic Activity Network Model.
L. Kant and W. H. Sanders. (96KAN01)
Simulation: Special Issue on Performance Analysis of ATM Networks, vol. 70, no. 1, January 1998, pp. 19-33.

Performance Evaluation of the Knockout Switch under Bursty and Non-Uniform Traffic Conditions.
W. H. Sanders and L. A. Kant.
ORSA/TIMS Joint Meeting, Detroit, MI, Oct. 23-36, 1994.

Analysis of Cell Loss Process in an ATM Switch with Stochastic Activity Networks.
W. H. Sanders and L. A. Kant.
3rd ORSA Telecommunications Conference, Boca Raton, FL, Mar. 20-22, 1995.

 

c. Picture Archiving Systems

Evaluation of a Structured PACS with Combined Voice and Data Traffic.
Y. Alsafadi, W. H. Sanders, and R. Martinez.
Proc. Medical Imaging IV, SPIE Conference on Medical Imaging, Newport Beach, CA, Feb. 4-9, 1990, pp. 484-494.

A Modular Method for Evaluating the Performance of Picture Archiving and Communication Systems.
A. Kudrimoti and W. H. Sanders. (92K01, available in hard copy)
Proceedings of the Fifth IEEE Symposium on Computer Based Medical Systems, Durham, NC, June 14-17, 1992, pp. 44-53. [IEEE Xplore entry]

Performance Evaluation of a Picture Archiving and Communication System Using Stochastic Activity Networks.
R. Martinez, W. H. Sanders, Y. Alsafadi, J. Nam, T. Ozeki, and K. Komatsu. (90M01, available in hard copy)
Proceedings of Medical Imaging IV, SPIE Conference on Medical Imaging, Newport Beach, CA, Feb. 4-9, 1990, pp. 167-178.

A Modular Method for Evaluating the Performance of Picture Archiving and Communication Systems.
W. H. Sanders, L. A. Kant, and A. Kudrimoti. (93S06)
Journal of Digital Imaging, vol. 6, no. 3, August 1993, pp. 172-193.

Performance Evaluation of a Picture Archiving and Communication Network Using Stochastic Activity Networks.
W. H. Sanders, R. Martinez, Y. Alsafadi, and J. Nam. (93S04)
IEEE Transactions on Medical Imaging, vol. 12, no. 1, March 1993, pp. 19-29. [IEEE Xplore entry]

 

d. Storage Systems

Designing Dependable Storage Solutions for Shared Application Environments.
S. Gaonkar, K. Keeton, A. Merchant, and W. H. Sanders. (05GAO02)
Proceedings of the International Conference on Dependable Systems and Networks (DSN-2006), Philadelphia, PA, USA, June 25-28, 2006, pp. 371-382. [IEEE Xplore entry]

Designing Dependable Storage Solutions for Shared Application Environments.
S. Gaonkar, K. Keeton, A. Merchant, and W. H. Sanders. (10GAO01)
Computing Now
, March 2010, online. (Preprint of the IEEE Transactions on Dependable and Secure Computing paper.)

Designing Dependable Storage Solutions for Shared Application Environments.
S. Gaonkar, K. Keeton, A. Merchant, and W. H. Sanders. (07GAO02)
IEEE Transactions on Dependable and Secure Computing, vol. 7, no. 4, October-December 2010, pp. 366-380. [IEEE Xplore entry]

Scaling File Systems to Support Petascale Clusters: A Dependability Analysis to Support Informed Design Choices.
S. Gaonkar, E. Rozier, A. Tong, and W. H. Sanders. (08GAO01)
Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2008)
, Anchorage, Alaska, June 24-27, 2008, pp. 386-391. [IEEE Xplore entry]

Scaling File Systems to Support Petascale Clusters: A Dependability Analysis to Support Informed Design Choices.
S. Gaonkar, E. Rozier, A. Tong, and W. H. Sanders. (08GAO04)
University of Illinois at Urbana-Champaign Coordinated Science Laboratory technical report UILU-ENG-08-2202 (CRHC-08-01), January 2008.

Analysis of the Reliability/Availability of Distributed File Systems in Large-Scale Systems: A Case Study Using Simultaneous Simulation.
S. Gaonkar and W. H. Sanders. (07GAO01)
Proceedings of the 8th International Workshop on Performability Modeling of Computer and Communication Systems
, Edinburgh, UK, Sept. 20-21, 2007.

Performance Analysis of the RAID 5 Disk Array.
A. Kuratti and W. H. Sanders. (95KUR01)
Proceedings of the IEEE International Computer Performance and Dependability Symposium, Erlangen, Germany, April 24-26, 1995, pp. 236-245. [IEEE Xplore entry]

A Framework for Efficient Evaluation of the Fault Tolerance of Deduplicated Storage Systems.
E. D. Rozier and W. Sanders. (11ROZ04)
Proceedings of the 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN-2012), Boston, Massachusetts, USA, June 25-28, 2012, to appear.

Modeling the Fault Tolerance Consequences of Deduplication.
E. W. D. Rozier, W. H. Sanders, P. Zhou, N. Mandagere, S. M Uttamchandani, and M. L. Yakushev. (11ROZ02)
Proceedings of the 30th IEEE Symposium on Reliable Distributed Systems (SRDS 2011), Madrid, Spain, October 5-7, 2011, pp. 75-84. [IEEE Xplore entry]

 

e. Software

Modeling of Service-level Agreements for Composed Services.
D. Daly, G. Kar, and W. H. Sanders. (02DAL02)
Management Technologies for E-Commerce and E-Business Applications: Proceedings of the 13th IFIP/IEEE International Workshop on Distributed Systems: Operations & Management, DSOM 2002, Montreal, Canada, October 21-23, 2002, pp. 4-15.

Modeling Recycle Using Stochastic Activity Networks and UltraSAN.
L. A. Kant, L. M. Malhis, W. H. Sanders, B. P. Shah, and S. C. West.
PMRL Technical Report 93-19, Dept. of Electrical and Computer Engineering, University of Arizona, Tucson, AZ, Dec. 1993.

UltraSAN Models for Recycle Modeling Project.
L. A. Kant, L. M. Malhis, W. H. Sanders, B. P. Shah, and S. C. West.
PMRL Technical Report 93-18, Dept. of Electrical and Computer Engineering, University of Arizona, Tucson, AZ, Dec. 1993.

Modeling OAM Using Stochastic Activity Networks and UltraSAN.
L. M. Malhis, W. H. Sanders, B. P. Shah, and S. C. West.
PMRL Technical Report 93-1, Dept. of Electrical and Computer Engineering, University of Arizona, Tucson, AZ, Mar. 1993.

UltraSAN Models for OAM Modeling Project.
L. M. Malhis, W. H. Sanders, B. P. Shah, and S. C. West.
PMRL Technical Report 93-2, Dept. of Electrical and Computer Engineering, University of Arizona, Tucson, AZ, Mar. 1993.

Modeling Recycle: A Case Study in the Industrial Use of Measurement and Modeling.
L. M. Malhis, S. C. West, L. A. Kant, and W. H. Sanders. (95MAL01)
Proceedings of the International Computer Performance and Dependability Symposium, Erlangen, Germany, April 24-26, 1995, pp. 285-294. [IEEE Xplore entry]

 

f. Group Communication Systems

Probabilistic Verification of a Synchronous Round-Based Consensus Protocol.
H. S. Duggal, M. Cukier, and W. H. Sanders. (97DUG01)
Proceedings of the Sixteenth IEEE Symposium on Reliable Distributed Systems (SRDS-97), Durham, NC, October 22-24, 1997, pp. 165-174. [IEEE Xplore entry]

Numerical Evaluation of a Group-Oriented Multicast Protocol Using Stochastic Activity Networks.
L. M. Malhis, W. H. Sanders, and R. D. Schlichting. (95MAL02)
Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, Durham, NC, October 3-6, 1995, pp. 63-72. [IEEE Xplore entry]

Numerical Performability Evaluation of a Group Multicast Protocol.
L. M. Malhis, W. H. Sanders, and R. D. Schlichting. (95MAL03)
IEE Distributed Systems Engineering Journal, Special Issue on Performance Modelling of Distributed Systems (ed. Peter G. Harrison), vol. 3, no. 1, March 1996, pp. 39-52.

Formal Verification of an Intrusion-Tolerant Group Membership Protocol.
H. V. Ramasamy, M. Cukier, and W. H. Sanders. (03RAM01)
IEICE Transactions on Information and Systems special issue on Dependable Computing, vol. E86-D, no. 12, December 2003, pp. 2612-2622.

Quantifying the Cost of Providing Intrusion Tolerance in Group Communication Systems.
H. V. Ramasamy, P. Pandey, J. Lyons, M. Cukier, and W. H. Sanders. (01RAM01)
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN-2002), Washington, DC, June 23-26, 2002, pp. 229-238. [IEEE Xplore entry]

Quantifying the Cost of Providing Intrusion Tolerance in Group Communication Systems.
H. V. Ramasamy, P. Pandey, J. Lyons, M. Cukier, and W. H. Sanders. (03RAM06)
in Foundations of Intrusion Tolerant Systems (Jay Lala, ed.), pp. 241-250. Los Alamitos, CA: IEEE Computer Society, 2003. (Reprint of the conference paper with the same name.) [IEEE Xplore entry]

 

g. Voting Algorithms

The Effect of Workload on the Performance and Availability of Voting Algorithms.
M. A. Qureshi and W. H. Sanders. (95QUR01)
Proceedings of the International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS '95), Durham, NC, January 18-20, 1995, pp. 217-224. [IEEE Xplore entry]

The Effect of Workload on the Performance and Availability of Voting Algorithms.
M. A. Qureshi and W. H. Sanders. (95QUR03)
Microelectronics and Reliability, Special Issue on Performance Modeling and Reliability Analysis, June 1996, vol. 36, no. 6, pp. 757-774.

 

h. Fault-Tolerant Computing

Dependability Evaluation Using Composed SAN-Based Reward Models.
W. H. Sanders and L. M. Malhis. (92SAN01)
Journal of Parallel and Distributed Computing, Special Issue on Petri Net Models of Parallel and Distributed Computers, vol. 15, no. 3, July 1992, pp. 238-254.

Performability of Signal Validation Systems Using Stochastic Activity Networks.
B. Shen, J. G. Williams, and W. H. Sanders. (93S07, available in hard copy)
Proceedings of the Transactions of the American Nuclear Society, vol. 68, November 1993, pp. 147-148.

 

i. Satellite Networks

Evaluating the Dependability of a LEO Satellite Network for Scientific Applications.
E. Athanasopoulou, P. Thakker, and W. H. Sanders. (05ATH01)
Proceedings of the 2nd International Conference on the Quantitative Evaluation of Systems (QEST), Torino, Italy, September 19-22, 2005, pp. 95-104. [IEEE Xplore entry]

 

IV. Fault Injection

Dynamic Node Management and Measure Estimation in a State-Driven Fault Injector.
R. Chandra, M. Cukier, R. M. Lefever, and W. H. Sanders. (00CHA01)
Proceedings of the 19th IEEE Symposium on Reliable Distributed Systems, Nürnberg, Germany, October 16-18, 2000, pp. 248-257. [IEEE Xplore entry]

Loki: A State-Driven Fault Injector for Distributed Systems.
R. Chandra, R. M. Lefever, M. Cukier, and W. H. Sanders. (99CHA01)
Proceedings of the International Conference on Dependable Systems and Networks (DSN-2000), New York, NY, June 25-28, 2000, pp. 237-242. [IEEE Xplore entry]

A Global-State-Triggered Fault Injector for Distributed System Evaluation.
R. Chandra, R. M. Lefever, K. R. Joshi, M. Cukier, and W. H. Sanders. (01CHA01)
IEEE Transactions on Parallel and Distributed Systems, vol. 15, no. 7, July 2004, pp. 593-605. [IEEE Xplore entry]

Fault Injection Based on a Partial View of the Global State of a Distributed System.
M. Cukier, R. Chandra, D. Henke, J. Pistole, and W. H. Sanders. (99CUK01)
Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems, Lausanne, Switzerland, October 19-22, 1999, pp. 168-177. [IEEE Xplore entry]

Failure Scenario as a Service (FSaaS) for Hadoop Clusters.
F. Faghri, S. Bazarbayev, M. Overholt, R. Farivar, R. H. Campbell, and W. H. Sanders. (12FAG01)
Proceedings of the Workshop on Secure and Dependable Middleware for Cloud Monitoring and Management (SDMCMM), held in conjunction with ACM/IFIP/USENIX ACM International Middleware Conference, Montreal, Quebec, Canada, Dec. 4, 2012, article no. 5. [ACM DOI: http://dx.doi.org/10.1145/2405186.2405191]

Experimental Evaluation of the Unavailability Induced by a Group Membership Protocol.
K. R. Joshi, M. Cukier, and W. H. Sanders. (02JOS01)
Dependable Computing EDCC-4: Proceedings of the 4th European Dependable Computing Conference, Toulouse, France, October 23-25, 2002, pp. 140-158.

An Experimental Evaluation of Correlated Network Partitions in the Coda Distributed File System.
R. M. Lefever, M. Cukier, and W. H. Sanders. (03LEF01)
Proceedings of the 22nd International Symposium on Reliable Distributed Systems (SRDS'03), Florence, Italy, October 6-8, 2003, pp. 273-282. [IEEE Xplore entry]

 

V. Security Assessment

Go with the Flow: Toward Workflow-Oriented Security Assessment.
B. Chen, Z. Kalbarczyk, D. M. Nicol, W. H. Sanders, R. Tan, W. G. Temple, N. O. Tippenhauer, A. H. Vu, and D. Yau. (13CHE01)
Proceedings of the New Security Paradigms Workshop, Banff, Canada, Sept. 9-12, 2013. [ACM DOI: http://dx.doi.org/10.1145/2535813.2535821]

The Multiple-Asymmetric-Utility System Model: A Framework for Modeling Cyber-Human Systems.
D. Eskins and W. H. Sanders. (11ESK01)
Proceedings of the 8th International Conference on Quantitative Evaluation of SysTems (QEST 2011), Aachen, Germany, September 5-8, 2011, pp. 233-242. [IEEE Xplore entry]

A Response Cost Model for Advanced Metering Infrastructures.
A. Fawaz, R. Berthier, and W. H. Sanders. (13FAW02)
Submitted for publication.

Implementing the ADVISE Security Modeling Formalism in Möbius.
M. D. Ford, K. Keefe, E. LeMay, W. H. Sanders, and C. Muehrcke. (12FOR04)
Proceedings of the 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013. [IEEE Xplore entry]

Stochastic Modeling of Intrusion-Tolerant Server Architectures for Dependability and Performance Evaluation.
V. Gupta, V. Lam, H. V. Ramasamy, W. H. Sanders, and S. Singh. (03GUP03)
University of Illinois at Urbana-Champaign Coordinated Science Laboratory technical report UILU-ENG-03-2227 (CRHC-03-13), December 2003.

Barbarians in the Gate: An Experimental Validation of NIC-based Distributed Firewall Performance and Flood Tolerance.
M. Ihde and W. H. Sanders. (05IHD03)
Proceedings of the 2006 International Conference on Dependable Systems and Networks (DSN'06), Philadelphia, PA, USA, June 25-28, 2006, pp. 209-216. [IEEE Xplore entry]

Model-based Security Metrics using ADversary VIew Security Evaluation (ADVISE).
E. LeMay, M. D. Ford, K. Keefe, W. H. Sanders, and C. Muehrcke. (11LEM01)
Proceedings of the 8th International Conference on Quantitative Evaluation of SysTems (QEST 2011), Aachen, Germany, Sept. 5-8, 2011, pp. 191-200. [IEEE Xplore entry]

Adversary-Driven State-Based System Security Evaluation.
E. LeMay, W. Unkenholz, D. Parks, C. Muehrcke, K. Keefe, and W. H. Sanders. (10VAN02)
Proceedings of the 6th International Workshop on Security Measurements and Metrics (MetriSec 2010), Bolzano-Bozen, Italy, Sept. 15, 2010.

Formal Design of Communication Checkers for ICCP Using UPPAAL.
S. Malik, R. Berthier, R. B. Bobba, R. H. Campbell, and W. H. Sanders. (13MAL02)
Proceedings of the IEEE International Conference on Smart Grid Communications (SmartGridComm), Vancouver, Canada, Oct. 21-24, 2013, to appear.

Experiences Validating the Access Policy Tool in Industrial Settings.
D. M. Nicol, W. H. Sanders, M. Seri, and S. Singh. (09NIC01)
Proceedings of the 43rd Annual Hawai'i International Conference on System Sciences (HICSS)
, Koloa, Kauai, Hawaii, January 5-8, 2010, unpaginated. [IEEE Xplore entry]

Usable Global Network Access Policy for Process Control Systems.
D. M. Nicol, W. H. Sanders, S. Singh, and M. Seri. (08NIC01)
IEEE Security & Privacy, vol. 6, no. 6, November-December 2008, pp. 30-36. [IEEE Xplore entry]

Malicious Data Detection in State Estimation Leveraging System Losses & Estimation of Perturbed Parameters.
W. Niemira, R. B. Bobba, P. Sauer, and W. H. Sanders. (13NIE01)
Proceedings of the IEEE International Conference on Smart Grid Communications (SmartGridComm), Vancouver, Canada, Oct. 21-24, 2013, to appear.

Generating Policies for Defense in Depth.
P. Rubel, M. Ihde, S. Harp, and C. Payne. (05RUB01)
Proceedings of the 21st Annual Computer Security Applications Conference, Tucson, Arizona, December 5-9, 2005, pp. 505-514. [IEEE Xplore entry]

Probabilistic Validation of Computer System Survivability.
W. H. Sanders. (05SAN01)
Dependable Computing: Proceedings of the 2nd Latin-American Symposium (LADC 2005), Salvador, Brazil, October 25-28, 2005, LNCS vol. 3747, Springer-Verlag, p. 1.

Quantitative Evaluation of Security Metrics.
W. H. Sanders. (10SAN03)
Proceedings of the 7th International Conference on the Quantitative Evaluation of Systems (QEST), Williamsburg, Virginia, Sept. 15-18, 2010, p. 306. [IEEE Xplore entry]

Quantitative Security Metrics (Keynote 1).
W. H. Sanders. (10SAN04)
Proceedings of the 2010 IEEE International Symposium on Modeling, Analysis & Simulation of Computer and Telecommunication Systems (MASCOTS), Miami Beach, Florida, Aug. 17-19, 2010, p. xv. [IEEE Xplore entry]

Quantitative Security Metrics: Unattainable Holy Grail, or a Vital Breakthrough within Our Reach?
W. H. Sanders. (14SAN01)
IEEE Security & Privacy, to appear.

Probabilistic Validation of Intrusion Tolerance.
W. H. Sanders, M. Cukier, F. Webber, P. Pal, and R. Watro. (02SAN02)
Fast Abstract in the Supplemental Volume of the 2002 International Conference on Dependable Systems & Networks (DSN-2002), Washington, DC, June 23-26, 2002, pp. B-78 to B-79.

Ferret: A Host Vulnerability Checking Tool.
A. Sharma, J. R. Martin, N. Anand, M. Cukier, and W. H. Sanders. (03SHA01)
Proceedings of the 10th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC-10), Papeete, Tahiti, French Polynesia, March 3-5, 2004, pp. 389-394. [IEEE Xplore entry]

Validation of a Survivable Publish-Subscribe System.
S. Singh, A. Agbaria, F. Stevens, T. Courtney, J. F. Meyer, W. H. Sanders, and P. Pal. (05SIN01)
International Scientific Journal of "Computing," vol. 4, no. 2, 2005.

Probabilistic Validation of an Intrusion-Tolerant Replication System.
S. Singh, M. Cukier, and W. H. Sanders. (03SIN01)
Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN-2003), San Francisco, CA, June 22-25, 2003, pp. 615-624. [IEEE Xplore entry]

Fast Model-Based Penetration Testing.
S. Singh, J. Lyons, and D. M. Nicol. (04SIN02)
Proceedings of the 2004 Winter Simulation Conference (WSC'04), Washington, DC, December 5-8, 2004, pp. 309-317. [IEEE Xplore entry]

Verifying SCADA Network Access Control Policy Implementations Using the Access Policy Tool.
S. Singh, D. M. Nicol, W. H. Sanders, and M. Seri. (07SIN01)
First Annual IFIP WG 11.10 International Conference on Critical Infrastructure Protection, Hanover, New Hampshire, March 18-21, 2007. (Presented but not published in a proceedings.)

Automatic Verification of Distributed and Layered Security Policy Implementations.
S. Singh, W. H. Sanders, D. M. Nicol, and M. Seri. (08SIN02)
University of Illinois at Urbana-Champaign Coordinated Science Laboratory technical report UILU-ENG-08-2209 (CRHC-08-05), July 2008.

Model-Based Validation of an Intrusion-Tolerant Information System.
F. Stevens, T. Courtney, S. Singh, A. Agbaria, J. F. Meyer, W. H. Sanders, and P. Pal. (04STE02)
Proceedings of the 23rd Symposium on Reliable Distributed Systems (SRDS 2004), Florianópolis, Brazil, October 18-20, 2004, pp. 184-194. [IEEE Xplore entry]

An Actor-Centric, Asset-Based Monitor Deployment Model for Cloud Computing.
U. Thakore, G. A. Weaver, and W. H. Sanders. (13THA01)
Proceedings of the 6th IEEE/ACM International Conference on Utility and Cloud Computing (UCC 2013), Dresden, Germany, Dec. 9-12, 2013, to appear.

Towards Automatic Argument Graph Generation for Security Assessment.
N. O. Tippenhauer, W. G. Temple, A. H. Vu, B. Chen, D. M. Nicol, Z. Kalbarczyk, and W. H. Sanders. (14TIP01)
Submitted for publication.

Quantifying the Effectiveness of Mobile Phone Virus Response Mechanisms.
E. Van Ruitenbeek, T. Courtney, W. H. Sanders, and F. Stevens. (06VAN01)
Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Edinburgh, UK, June 25-28, 2007, pp. 790-800.
[IEEE Xplore entry]

Characterizing the Behavior of Cyber Adversaries: The Means, Motive, and Opportunity of Cyberattacks.
E. Van Ruitenbeek, K. Keefe, W. H. Sanders, and C. Muehrcke. (10VAN01)
FastAbstract in the 2010 International Conference on Dependable Systems and Networks Supplemental, Chicago, Illinois, June 28-July 1, 2010, pp. 17-18.

Modeling Peer-to-Peer Botnets.
E. Van Ruitenbeek and W. H. Sanders. (08VAN02)
Proceedings of the 5th International Conference on the Quantitative Evaluation of Systems (QEST), St. Malo, France, September 14-17, 2008, pp. 307-316. [IEEE Xplore entry]

Smart Grid Protocol Testing Through Cyber-Physical Testbeds.
T. Yardley, R. Berthier, D. Nicol, and W. H. Sanders. (13YAR01)
Proceedings of the 4th IEEE PES Innovative Smart Grid Technologies Conference (ISGT 2013), Washington, D.C., Feb. 24-27, 2013. [IEEE Xplore entry]

Safeguarding Academic Accounts and Resources with the University Credential Abuse Auditing System.
J. Zhang, R. Berthier, W. Rhee, M. Bailey, P. Pal, F. Jahanian, and W. H. Sanders. (11ZHA02)
Proceedings of the 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN-2012), Boston, Massachusetts, USA, June 25-28, 2012. [IEEE Xplore entry]

Learning from Early Attempts to Measure Information Security Performance.
J. Zhang, R. Berthier, M. Bailey, W. Rhee, W. H. Sanders, P. Pal, and F. Jahanian. (12ZHA02)
Proceedings of the 5th Workshop on Cyber Security Experimentation and Test (CSET'12), Bellevue, Washington, Aug. 6, 2012, to appear.

 

VI. System Tomography

Link Gradients: Predicting the Impact of Network Latency on Multi-Tier Applications.
S. Chen, K. R. Joshi, M. A. Hiltunen, W. H. Sanders, and R. D. Schlichting. (08CHE02)
University of Illinois at Urbana-Champaign Coordinated Science Laboratory technical report UILU-ENG-08-2214 (CRHC-08-08), August 2008.

Link Gradients: Predicting the Impact of Network Latency on Multitier Applications.
S. Chen, K. R. Joshi, M. A. Hiltunen, W. H. Sanders, and R. D. Schlichting. (08CHE04)
Proceedings of the 2009 IEEE Conference on Computer Communications (INFOCOM), Rio de Janeiro, Brazil, April 19-25, 2009, pp. 2258-2266. [IEEE Xplore entry]

Using CPU Gradients for Performance-Aware Energy Conservation in Multitier Systems.
S. Chen, K. R. Joshi, M. A. Hiltunen, R. D. Schlichting, and W. H. Sanders. (10CHE02)
Sustainable Computing: Informatics and Systems, vol. 1, no. 2, June 2011, pp. 113-133.

Blackbox Prediction of the Impact of DVFS on End-to-End Performance of Multitier Systems.
S. Chen, K. R. Joshi, M. A. Hiltunen, R. D. Schlichting, and W. H. Sanders. (09CHE01)
ACM SIGMETRICS Performance Evaluation Review (special issue with Proceedings of GreenMetrics 2009 Workshop, Seattle, Washington, June 15, 2009), vol. 37, no. 4, March 2010, pp. 59-63. [ACM DOI: http://dx.doi.org/10.1145/1773394.1773404]

CPU Gradients: Performance-aware Energy Conservation in Multitier Systems.
S. Chen, K. R. Joshi, M. A. Hiltunen, R. D. Schlichting, and W. H. Sanders. (10CHE01)
Proceedings of the 1st International Green Computing Conference, Chicago, Illinois, August 15-18, 2010, pp. 15-29. [IEEE Xplore entry]

Gradient-based Models of Multitier Systems.
S. Chen, K. R. Joshi, M. A. Hiltunen, R. D. Schlichting, and W. H. Sanders. (09CHE02)
Proceedings of the Ninth International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS-9), Eger, Hungary, September 17-18, 2009, pp. 34-38.

Using Link Gradients to Predict the Impact of Network Latency on Multitier Applications.
S. Chen, K. R. Joshi, M. A. Hiltunen, R. D. Schlichting, and W. H. Sanders. (09CHE03)
IEEE/ACM Transactions on Networking, vol. 19, no. 3, June 2011, pp. 855-868. [IEEE Xplore entry] [ACM DOI: http://dx.doi.org/10.1109/TNET.2010.2098044]

 

B. SYSTEM DESIGN
I. Dependable and Secure Architectures/Middleware

A Replication- and Checkpoint-Based Approach for Anomaly-Based Intrusion Detection and Recovery.
A. Agbaria and R. Friedman. (05AGB02)
Proceedings of the 25th IEEE International Conference on Distributed Computing Systems Workshops (section on the 2nd International Workshop on Security in Distributed Computing Systems (SDCS '05)), Columbus, Ohio, June 6-10, 2005, pp. 137-143. [IEEE Xplore entry]

Application-Driven Coordination-Free Distributed Checkpointing.
A. Agbaria and W. H. Sanders. (05AGB01)
Proceedings of the 25th IEEE International Conference on Distributed Computing Systems, Columbus, Ohio, June 6-10, 2005, pp. 177-186. [IEEE Xplore entry]

Distributed Snapshots for Mobile Computing Systems.
A. Agbaria and W. H. Sanders. (03AGB01)
Proceedings of the 2nd IEEE Annual Conference on Pervasive Computing and Communications, Orlando, FL, March 14-17, 2004, pp. 177-186. [IEEE Xplore entry]

Content-Based Scheduling of Virtual Machines (VMs) in the Cloud.
S. Bazarbayev, M. Hiltunen, K. Joshi, W. H. Sanders, and R. Schlichting. (12BAZ01)
Proceedings of the 33rd International Conference on Distributed Computing Systems (ICDCS 2013), Philadelphia, Pennsylvania, July 8-11, 2013, to appear.

PSCloud: A Durable Context-Aware Personal Storage Cloud.
S. Bazarbayev, M. Hiltunen, K. Joshi, W. H. Sanders, and R. Schlichting. (13BAZ02)
Proceedings of the 9th Workshop on Hot Topics in Dependable Systems (HotDep '13), Farmington, Pennsylvania, Nov. 3, 2013, article no. 9. [ACM DOI: http://dl.acm.org/citation.cfm?doid=2524224.2524235]

Reconciling Security Protection and Monitoring Requirements in Advanced Metering Infrastructures.
R. Berthier, J. G. Jetcheva, D. Mashima, J. H. Huh, D. Grochocki, R. Bobba, A. A. Cardenas, and W. H. Sanders. (13BER01)
Proceedings of the IEEE International Conference on Smart Grid Communications (SmartGridComm), Vancouver, Canada, Oct. 21-24, 2013, to appear.

Monitoring Advanced Metering Infrastructures with Amilyzer.
R. Berthier and W. H. Sanders. (13BER02)
Proceedings of C&ESAR: The Computer & Electronics Security Applications Rendez-vous, Rennes, France, Nov. 19-21, 2013, pp. 130-142.

Specification-based Intrusion Detection for Advanced Metering Infrastructures.
R. Berthier and W. H. Sanders. (11BER01)
Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2011)
, Pasadena, California, Dec. 12-14, 2011, pp. 184-193. [IEEE Xplore entry]

Intrusion Detection for Advanced Metering Infrastructures: Requirements and Architectural Directions.
R. Berthier, W. H. Sanders, and H. Khurana. (10BER01)
Proceedings of the 1st IEEE International Conference on Smart Grid Communications (SmartGridComm), Gaithersburg, Maryland, October 4-6, 2010, pp. 350-355. [IEEE Xplore entry]

A Framework for Evaluating Intrusion Detection Architectures in Advanced Metering Infrastructures.
A. A. Cárdenas, R. Berthier, R. B. Bobba, J. H. Huh, J. G. Jetcheva, D. Grochocki, and W. H. Sanders. (13CAR01)
IEEE Transactions on Smart Grid, to appear.

Transaction Dependency Graph Construction Using Signal Injection.
S. Chen, K. R. Joshi, M. A. Hiltunen, W. H. Sanders, and R. D. Schlichting. (07CHE01)
FastAbstract in the Supplemental Volume of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007, pp. 424-425.

Providing Intrusion Tolerance with ITUA.
T. Courtney, J. Lyons, H. V. Ramasamy, W. H. Sanders, M. Seri, M. Atighetchi, P. Rubel, C. Jones, F. Webber, P. Pal, R. Watro, M. Cukier, and J. Gossett. (02COU01)
Supplemental Volume of the 2002 International Conference on Dependable Systems & Networks (DSN-2002), Washington, DC, June 23-26, 2002, pp. C-5-1 to C-5-3.

Intrusion Tolerance Approaches in ITUA.
M. Cukier, J. Lyons, P. Pandey, H. V. Ramasamy, W. H. Sanders, P. Pal, F. Webber, R. Schantz, J. Loyall, R. Watro, M. Atighetchi, and J. Gossett. (01CUK01)
FastAbstract in Supplement of the 2001 International Conference on Dependable Systems and Networks, Göteborg, Sweden, July 1-4, 2001, pp. B-64 to B-65.

Building Dependable Distributed Objects with the AQuA Architecture.
M. Cukier, J. Ren, P. Rubel, D. E. Bakken, and D. A. Karr. (99CUK02)
Digest of FastAbstracts presented at the 29th Annual International Symposium on Fault-Tolerant Computing (FTCS-29), Madison, Wisconsin, USA, June 15-18, 1999, pp. 17-18.

AQuA: An Adaptive Architecture That Provides Dependable Distributed Objects.
M. Cukier, J. Ren, C. Sabnis, D. Henke, J. Pistole, W. H. Sanders, D. E. Bakken, M. E. Berman, D. A. Karr, and R. E. Schantz. (98CUK01)
Proceedings of the 17th IEEE Symposium on Reliable Distributed Systems (SRDS'98), West Lafayette, Indiana, USA, October 20-23, 1998, pp. 245-253. [IEEE Xplore entry]

Securing Current and Future Process Control Systems.
R. Cunningham, S. Cheung, M. Fong, U. Lindqvist, D. Nicol, R. Pawlowski, E. Robinson, W. Sanders, S. Singh, A. Valdes, B. Woodworth, and M. Zhivich. (07CUN01)
Chapter 8 in E. Goetz and Sujeet Shenoi (eds.), Critical Infrastructure Protection. New York: Springer, 2008, pp. 99-115.

AMI Threats, Intrusion Detection Requirements and Deployment Recommendations.
D. Grochocki, J. H. Huh, R. Berthier, R. Bobba, W. H. Sanders, A. A. Cárdenas, and J. G. Jetcheva. (12GRO01)
Proceedings of the 3rd IEEE International Conference on Smart Grid Communications (SmartGridComm), Tainan City, Taiwan, Nov. 5-8, 2012, pp. 395-400. [IEEE Xplore entry]

Trustworthy Cyber-Infrastructure for Power (TCIP).
C. A. Gunter, W. H. Sanders, D. E. Bakken, A. Bose, R. Campbell, G. Gross, C. H. Hauser, H. Khurana, R. K. Iyer, Z. T. Kalbarczyk, K. Nahrstedt, D. M. Nicol, T. J. Overbye, P. W. Sauer, S. W. Smith, R. J. Thomas, V. Welch, and M. Winslett. (06GUN01)
Proceedings of the Workshop on Research Directions for Security and Networking in Critical Real-time and Embedded Systems (online at http://moss.csc.ncsu.edu/~mueller/crtes06/), San Jose, CA, April 2006.

Dependability and Performance Evaluation of Intrusion-Tolerant Server Architectures.
V. Gupta, V. Lam, H. V. Ramasamy, W. H. Sanders, and S. Singh. (03GUP01)
Dependable Computing: Proceedings of the First Latin-American Symposium (LADC 2003), São Paulo, Brazil, October 21-24, 2003, Lecture Notes in Computer Science vol. 2847 (Rogério de Lemos, Taisy Silva Weber, and João Batista Camargo Jr., eds), Berlin: Springer, 2003, pp. 81-101.

An Adaptive Quality of Service Aware Middleware for Replicated Services.
S. Krishnamurthy, W. H. Sanders, and M. Cukier. (02KRI05)
IEEE Transactions on Parallel and Distributed Systems, vol. 14, no. 11, November 2003, pp. 1112-1125. [IEEE Xplore entry]

Diverse Partial Memory Replication.
R. M. Lefever, V. S. Adve, and W. H. Sanders. (09LEF01)
Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2010), Chicago, Illinois, June 28-July 1, 2010, pp. 71-80. [IEEE Xplore entry]

A Mirrored Data Structures Approach to Diverse Partial Memory Replication.
R. M. Lefever, V. S. Adve, and W. H. Sanders. (11LEF02)
Proceedings of the 9th European Dependable Computing Conference (EDCC-2012), Sibiu, Romania, May 8-11, 2012, to appear.

An Architecture for Adaptive Intrusion-Tolerant Applications.
P. Pal, P. Rubel, M. Atighetchi, F. Webber, W. H. Sanders, M. Seri, H. Ramasamy, J. Lyons, T. Courtney, A. Agbaria, M. Cukier, J. Gossett, and I. Keidar. (04PAL01)
Special issue of Software: Practice and Experience on Experiences with Auto-adaptive and Reconfigurable Systems, vol. 36, no. 11-12, September-October 2006, pp. 1331-1354.

Survival by Defense-Enabling.
P. Pal, F. Webber, R. Schantz, J. Loyall, R. Watro, W. Sanders, M. Cukier, and J. Gossett. (01PAL01)
Proceedings of the New Security Paradigms Workshop 2001, Cloudcroft, New Mexico, September 11-13, 2001, pp. 71-78.

Group Communication Protocols and a Framework for Intrusion-Tolerant Distributed Applications.
H. V. Ramasamy. (04RAM02)
Supplemental Volume of the IFIP World Computer Congress, Toulouse, France, August 22-27, 2004.

CoBFIT: A Component-Based Framework for Intrusion Tolerance.
H. V. Ramasamy, A. Agbaria, and W. H. Sanders. (04RAM03)
Proceedings of the 30th Euromicro Conference, Rennes, France, August 31-September 3, 2004, pp. 591-600. [IEEE Xplore entry]

A Parsimonious Approach for Obtaining Resource-Efficient and Trustworthy Execution.
H. V. Ramasamy, A. Agbaria, and W. H. Sanders. (05RAM04)
IEEE Transactions on Dependable and Secure Computing, vol. 4, no. 1, January-March 2007, pp. 1-17. [IEEE Xplore entry]

Parsimonious Asychronous Byzantine-Fault-Tolerant Atomic Broadcast.
H. V. Ramasamy and C. Cachin. (05RAM03)
Proceedings of the 9th International Conference on Principles of Distributed Systems (OPODIS), Pisa, Italy, Dec. 12-14, 2005.

Formal Specification and Verification of a Group Membership Protocol for an Intrusion-Tolerant Group Communication System.
H. V. Ramasamy, M. Cukier, and W. H. Sanders. (02RAM02)
Proceedings of the 2002 Pacific Rim International Symposium on Dependable Computing (PRDC 2002) Tsukuba, Japan, December 16-18, 2002, pp. 9-18. [IEEE Xplore entry]

Formal Specification and Verification of a Group Membership Protocol for an Intrusion-Tolerant Group Communication System.
H. V. Ramasamy, M. Cukier, and W. H. Sanders. (03RAM05)
in Foundations of Intrusion Tolerant Systems (Jay Lala, ed.), pp. 251-260. Los Alamitos, CA: IEEE Computer Society, 2003. (Reprint of the conference paper with the same name.) [IEEE Xplore entry]

Experiences with Building an Intrusion-Tolerant Group Communication System.
H. V. Ramasamy, P. Pandey, M. Cukier, and W. H. Sanders. (06RAM02)
Software-Practice and Experience, vol. 38, no. 6, May 2008, pp. 639-666.

The CoBFIT Toolkit.
H. Ramasamy, M. Seri, and W. H. Sanders. (07RAM01)
Proceedings of the 26th Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC 2007), Portland, Oregon, Aug. 12-15, 2007, pp. 350-351. [ACM DOI: http://dx.doi.org/10.1145/1281100.1281167]

AQuA: An Adaptive Architecture that Provides Dependable Distributed Objects.
Y. (J.) Ren, D. E. Bakken, T. Courtney, M. Cukier, D. A. Karr, P. Rubel, C. Sabnis, W. H. Sanders, R. E. Schantz, and M. Seri. (99CUK04)
IEEE Transactions on Computers, vol. 52, no. 1, January 2003, pp. 31-50. [IEEE Xplore entry]

Building Dependable Distributed Applications Using AQuA.
J. Ren, M. Cukier, P. Rubel, W. H. Sanders, D. E. Bakken, and D. A. Karr. (99CUK03)
Proceedings of the 4th IEEE Symposium on High Assurance Systems Engineering (HASE'99), Washington D.C., November 17-19, 1999, pp. 189-196. [IEEE Xplore entry]

An Adaptive Algorithm for Tolerating Value Faults and Crash Failures.
Y. Ren, M. Cukier, and W. H. Sanders. (00REN02)
IEEE Transactions on Parallel and Distributed Systems, vol. 12, no. 2, February 2001, pp. 173-192. [IEEE Xplore entry]

Passive Replication Schemes in AQuA.
Y. (J.) Ren, P. Rubel, M. Seri, M. Cukier, W. H. Sanders, and T. Courtney. (02REN01)
Proceedings of the 2002 Pacific Rim International Symposium on Dependable Computing (PRDC 2002), Tsukuba, Japan, December 16-18, 2002, pp. 125-130. [IEEE Xplore entry]

Proteus: A Flexible Infrastructure to Implement Adaptive Fault Tolerance in AQuA.
C. Sabnis, M. Cukier, J. Ren, P. Rubel, W. H. Sanders, D. E. Bakken, and D. A. Karr. (98SAB02)
in C. B. Weinstock and J. Rushby (Eds.), Dependable Computing for Critical Applications 7, vol. 12 in series Dependable Computing and Fault-Tolerant Systems (A. Avizienis, H. Kopetz, and J. C. Laprie, Eds.), pp. 149-168. Los Alamitos, CA: IEEE Computer Society, 1999. [IEEE Xplore entry]

Building Dependable Distributed Systems Using the AQuA Architecture.
W. H. Sanders. (01SAN01)
Proceedings of SCTF'2001 - IX Brazilian Symposium on Fault-Tolerant Computing, Florianópolis, Santa Catarina, Brazil, March 5-7, 2001, p. 1.

Building Resilient Infrastructures for Smart Energy Systems (Abstract).
W. H. Sanders. (12SAN02)
Proceedings of the 3rd IEEE PES Conference on Innovative Smart Grid Technologies (ISGT 2012), Washington, D.C., Jan. 16-20, 2012. [IEEE Xplore entry]

TCIPG: Trustworthy Cyber Infrastructure for the Power Grid Overview.
W. H. Sanders. (12SAN01)
Proceedings of the 3rd IEEE PES Conference on Innovative Smart Grid Technologies (ISGT 2012), Washington, D.C., Jan. 16-20, 2012. [IEEE Xplore entry]

A Configurable CORBA Gateway for Providing Adaptable System Properties.
M. Seri, T. Courtney, M. Cukier, V. Gupta, S. Krishnamurthy, J. Lyons, H. Ramasamy, J. Ren, and W. H. Sanders. (02SER01)
Supplemental Volume of the 2002 International Conference on Dependable Systems & Networks (DSN-2002), Washington, DC, June 23-26, 2002, pp. G-26 to G-30.

An Overview of the AQuA Gateway.
M. Seri, T. Courtney, M. Cukier, and W. H. Sanders. (01SER01)
1st Workshop on The ACE ORB (TAO), St. Louis, MO, August 5-6, 2001. (Presented but not published in a proceedings.)

Proactive Resilience Revisited: The Delicate Balance Between Resisting Intrusions and Remaining Available.
P. Sousa, N. F. Neves, P. Veríssimo, and W. H. Sanders. (06SOU01)
Proceedings of the 25th IEEE Symposium on Reliable Distributed Systems (SRDS 2006), Leeds, UK, October 2-4, 2006, pp. 71-82. [IEEE Xplore entry]

Cluster-Based Failure Detection Service for Large-Scale Ad Hoc Wireless Network Applications.
A. T. Tai, K. S. Tso, and W. H. Sanders. (03TAI04)
Proceedings of the International Conference on Dependable Systems and Networks (DSN-2004), Florence, Italy, June 28-July 1, 2004, pp. 805-814. [IEEE Xplore entry]

Diversity-Inspired Clustering for Self-Healing MANETs: Motivation, Protocol, and Performability Evaluation.
A. T. Tai, K. S. Tso, and W. H. Sanders. (09TAI01)
Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2010), Chicago, Illinois, June 28-July 1, 2010, pp. 547-556. [IEEE Xplore entry]

A Performability-Oriented Software Rejuvenation Framework for Distributed Applications.
A. T. Tai, K. S. Tso, W. H. Sanders, and S. N. Chau. (04TAI01)
Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN-2005), Yokohama, Japan, June 28-July 1, 2005, pp. 570-579. [IEEE Xplore entry]

Delta Execution for Software Reliability.
Y. Zhou, D. Marinov, W. Sanders, C. Zilles, M. d'Amorim, S. Lauterburg, R. M. Lefever, and J. Tucek. (07ZHO01)
Proceedings of the 3rd Workshop on Hot Topics in System Dependability (HotDep'07), Edinburgh, UK, June 26, 2007, article no. 16.

SOCCA: A Security-Oriented Cyber-Physical Contingency Analysis in Power Infrastructures.
S. Zonouz, C. M. Davis, K. R. Davis, R. Berthier, R. B. Bobba, and W. H. Sanders. (13ZON01)
IEEE Transactions on Smart Grid, to appear.

Cost-aware Systemwide Intrusion Defense via Online Forensics and On-demand Detector Deployment.
S. A. Zonouz, K. R. Joshi, and W. H. Sanders. (10ZON03)
Proceedings of the 3rd ACM Workshop on Assurable & Usable Security Configuration (SafeConfig), Chicago, Illinois, Oct. 4, 2010, pp. 71-74. [ACM DOI: http://dx.doi.org/10.1145/1866898.1866910]

FloGuard: Cost-aware Systemwide Intrusion Defense via Online Forensics and On-demand IDS Deployment.
S. A. Zonouz, K. R. Joshi, and W. H. Sanders. (11ZON01)
Proceedings of the 30th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2011), Naples, Italy, Sept. 19-22, 2011, pp. 338-354; Lecture Notes in Computer Science (LNCS), vol. 6894, Springer, 2011.

A Kalman-based Coordination for Hierarchical State Estimation: Algorithm and Analysis.
S. A. Zonouz and W. H. Sanders. (07ZON01)
Proceedings of the 41st Annual Hawaii International Conference on System Sciences (HICSS '08), Waikoloa, Hawaii, January 7-10, 2008, unpaginated. [IEEE Xplore entry]

Managing Business Health in the Presence of Malicious Attacks.
S. A. Zonouz, A. Sharma, H. V. Ramasamy, Z. T. Kalbarczyk, B. Pfitzmann, K. McAuliffe, R. K. Iyer, W. H. Sanders, and E. Cope. (11ZON04)
Proceedings of the IEEE/IFIP 41st International Conference on Dependable Systems and Networks Workshops (DSN-W), Hong Kong, China, June 27-30, 2011, pp. 9-14. [IEEE Xplore entry]

 

II. Software Upgrading

Performability Modeling of Coordinated Software and Hardware Fault Tolerance.
A. T. Tai and W. H. Sanders. (03TAI03)
Extended Abstracts from PMCCS-6: the Sixth International Workshop on Performability Modeling of Computer and Communication Systems, Monticello, IL, September 5-7, 2003, pp. 31-34.

Product-in-Process Performability Modeling for Guarded Software Upgrading.
A. T. Tai and W. H. Sanders. (01TAI02)
Proceedings of the Fifth International Workshop on Performability Modeling of Computer and Communication Systems, Erlangen, Germany, September 15-16, 2001, in the Arbeitsberichte des Institutes für Informatik Friedrich-Alexander-Univeresität Erlangen Nürnberg, vol. 34, no. 13, September 2001, pp. 121-125.

Performability Analysis of Guarded-Operation Duration: A Successive Model-Translation Approach.
A. T. Tai, W. H. Sanders, L. Alkalai, S. N. Chau, and K. S. Tso. (01TAI03)
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN-2002), Washington, DC, June 23-26, 2002, pp. 561-570. [IEEE Xplore entry]

Performability Analysis of Guarded-Operation Duration: A Translation Approach for Reward Model Solutions.
A. T. Tai, W. H. Sanders, L. Alkalai, S. N. Chau, and K. S. Tso. (02TAI01)
Performance Evaluation, vol. 56, no. 1-4, pp. 249-276, March 2004.

Low-Cost Error Containment and Recovery for Onboard Guarded Software Upgrading and Beyond.
A. T. Tai, K. S. Tso, L. Alkalai, S. N. Chau, and W. H. Sanders. (00TAI03)
IEEE Transactions on Computers, vol. 51, no. 2, February 2002, pp. 121-137. [IEEE Xplore entry]

On-Board Guarded Software Upgrading for Space Missions.
A. T. Tai, K. S. Tso, L. Alkalai, S. N. Chau, and W. H. Sanders. (99TAI01)
Proceedings of the 18th Digital Avionics Systems Conference, St. Louis, MO, October 24-29, 1999, vol. 2, pp. 7.B.4-1--7.B.4-8. [IEEE Xplore entry]

On Low-Cost Error Containment and Recovery Methods for Guarded Software Upgrading.
A. T. Tai, K. S. Tso, L. Alkalai, S. N. Chau, and W. H. Sanders. (99TAI02)
Proceedings of ICDCS 2000: The 20th International Conference on Distributed Computing Systems, Taipei, Taiwan, April 10-13, 2000, pp. 548-555. [IEEE Xplore entry]

On the Effectiveness of a Message-Driven Confidence-Driven Protocol for Guarded Software Upgrading.
A. T. Tai, K. S. Tso, L. Alkalai, S. N. Chau, and W. H. Sanders. (99TAI03)
Proceedings of IPDS 2K: IEEE International Performance and Dependability Symposium, Chicago, IL, March 27-30, 2000, pp. 59-68. [IEEE Xplore entry]

On the Effectiveness of a Message-Driven Confidence-Driven Protocol for Guarded Software Upgrading.
A. T. Tai, K. S. Tso, L. Alkalai, S. N. Chau, and W. H. Sanders. (00TAI01)
Performance Evaluation, vol. 44, no. 1-4, April 2001, pp. 211-236.

Opportunity-Adaptive QoS Enhancement in Satellite Constellations: A Case Study.
A. T. Tai, K. S. Tso, L. Alkalai, S. N. Chau, and W. H. Sanders. (03TAI01)
Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN-2003), San Francisco, CA, June 22-25, 2003, pp. 655-664. [IEEE Xplore entry]

Synergistic Coordination Between Software and Hardware Fault Tolerance Techniques.
A. T. Tai, K. S. Tso, L. Alkalai, S. N. Chau, and W. H. Sanders. (00TAI04)
Proceedings of the International Conference on Dependable Systems and Networks (DSN-2001), Göteborg, Sweden, July 1-4, 2001, pp. 369-378. [IEEE Xplore entry]

Protecting Distributed Software Upgrades that Involve Message-Passing Interface Changes.
A. T. Tai, K. S. Tso, and W. H. Sanders. (03TAI02)
Proceedings of COMPSAC 2003: The 27th Annual International Computer Software and Applications Conference, Dallas, TX, September 30-October 3, 2003, pp. 385-390. [IEEE Xplore entry]

Low-Cost Flexible Software Fault Tolerance for Distributed Computing.
A. T. Tai, K. S. Tso, W. H. Sanders, L. Alkalai, and S. N. Chau. (01TAI01)
Proceedings of the 12th International Symposium on Software Reliability Engineering (ISSRE 2001), Hong Kong, China, November 27-30, 2001, pp. 148-157. [IEEE Xplore entry]

GSU Middleware Architecture Design.
K. S. Tso, A. T. Tai, L. Alkalai, S. N. Chau, and W. H. Sanders. (00TAI02)
Proceedings of the 5th IEEE International Symposium on High Assurance Systems Engineering (HASE 2000), November 15-17, 2000, Albuquerque, New Mexico, pp. 212-215. [IEEE Xplore entry]

 

III. Fault-Tolerant Algorithms

Overcoming Byzantine Failures using Checkpointing.
A. Agbaria and R. Friedman. (03AGB02)
University of Illinois at Urbana-Champaign Coordinated Science Laboratory technical report no. UILU-ENG-03-2228 (CRHC-03-14), December 2003.

Parsimony-Based Approach for Obtaining Resource-Efficient and Trustworthy Execution.
H. V. Ramasamy, A. Agbaria, and W. H. Sanders. (05RAM01)
Dependable Computing: Proceedings of the 2nd Latin-American Symposium (LADC 2005), Salvador, Brazil, October 25-28, 2005, LNCS vol. 3747, Springer-Verlag, pp. 206-225.

Semi-Passive Replication in the Presence of Byzantine Faults.
H. V. Ramasamy, A. Agbaria, and W. H. Sanders. (04RAM01)
University of Illinois at Urbana-Champaign Coordinated Science Laboratory technical report no. UILU-ENG-04-2202 (CRHC-04-02), February 2004.

The Parsimonious Approach to Constructing Fault-Tolerant Protocols.
H. V. Ramasamy, C. Cachin, A. Agbaria, and W. H. Sanders. (06RAM01)
Fast Abstract at the International Conference on Dependable Systems and Networks (DSN-2006), Philadelphia, PA, USA, June 25-28, 2006.

 

IV. Model-Based Adaptive Systems/Architectures

A Compiler-Enabled Model- and Measurement-Driven Adaptation Environment for Dependability and Performance.
V. S. Adve, A. Agbaria, M. A. Hiltunen, R. K. Iyer, K. R. Joshi, Z. Kalbarczyk, R. M. Lefever, R. Plante, W. H. Sanders, and R. D. Schlichting. (05ADV01)
Proceedings of the Next Generation Software (NGS) Workshop at the International Parallel & Distributed Processing Symposium (IPDPS), Denver, Colorado, April 4, 2005 (CD-ROM). [IEEE Xplore entry]

Performability Optimization Using Linear Bounds of Partially Observable Markov Decision Processes.
K. R. Joshi, M. A. Hiltunen, and W. H. Sanders. (05JOS03)
Proceedings of the 7th International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS-7)
, Turin, Italy, September 23-24, 2005, pp. 73-76.

Automatic Model-Driven Recovery in Distributed Systems.
K. R. Joshi, M. Hiltunen, W. H. Sanders, and R. Schlichting. (05JOS01)
Proceedings of the 24th IEEE Symposium on Reliable Distributed Systems (SRDS 2005), Orlando, Florida, October 26-28, 2005, pp. 25-36. [IEEE Xplore entry]

Automatic Recovery Using Bounded Partially Observable Markov Decision Processes.
K. R. Joshi, M. A. Hiltunen, W. H. Sanders, and R. D. Schlichting. (05JOS02)
Proceedings of the International Conference on Dependable Systems and Networks (DSN-2006), Philadelphia, PA, USA, June 25-28, 2006, pp. 445-456. [IEEE Xplore entry]

Probabilistic Model-Driven Recovery in Distributed Systems.
K. R. Joshi, M. A. Hiltunen, W. H. Sanders, and R. D. Schlichting. (10JOS01)
IEEE Transactions on Dependable and Secure Computing, vol. 8, no. 6, November/December 2011, pp. 913-928. [IEEE Xplore entry]

Online Model-Based Adaptation for Optimizing Performance and Dependability.
K. R. Joshi, M. Hiltunen, R. Schlichting, W. H. Sanders, and A. Agbaria. (04JOS03)
Proceedings of the Workshop on Self-Managed Systems (WOSS 2004), Newport Beach, CA, October 31-November 1, 2004 (CD-ROM).

An Adaptive Framework for Tunable Consistency and Timeliness Using Replication.
S. Krishnamurthy, W. H. Sanders, and M. Cukier. (01KRI03)
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN-2002), Washington, DC, June 23-26, 2002, pp. 17-26. [IEEE Xplore entry]

A Dynamic Replica Selection Algorithm for Tolerating Timing Faults.
S. Krishnamurthy, W. H. Sanders, and M. Cukier. (00KRI01)
Proceedings of the International Conference on Dependable Systems and Networks (DSN-2001), Göteborg, Sweden, July 1-4, 2001, pp. 107-116. [IEEE Xplore entry]

Performance Evaluation of a Probabilistic Replica Selection Algorithm.
S. Krishnamurthy, W. H. Sanders, and M. Cukier. (01KRI02)
Proceedings of the 7th IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS 2002), San Diego, California, January 7-9, 2002, pp. 119-127. [IEEE Xplore entry]

Performance Evaluation of a QoS-Aware Framework for Providing Tunable Consistency and Timeliness.
S. Krishnamurthy, W. H. Sanders, and M. Cukier. (02KRI02)
Proceedings of the 2002 10th IEEE International Workshop on Quality of Service (IWQoS 2002), Miami Beach, Florida, May 15-17, 2002, pp. 214-223. [IEEE Xplore entry]

RRE: A Game-Theoretic Intrusion Response and Recovery Engine.
S. A. Zonouz, H. Khurana, W. H. Sanders, and T. M. Yardley. (08ZON01)
Proceedings of the 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2009), Estoril, Lisbon, Portugal, June 29-July 2, 2009, pp. 439-448. [IEEE Xplore entry]

RRE: A Game-Theoretic Intrusion Response and Recovery Engine.
S. A. Zonouz, H. Khurana, W. H. Sanders, and T. M. Yardley. (13ZON02)
IEEE Transactions on Parallel and Distributed Systems, to appear.

RRE: A Game-Theoretic Intrusion Response and Recovery Engine for Process Control Applications.
W. H. Sanders. (09SAN01)
Proceedings of the 4th International Conference on Critical Infrastructures (CRIS 2009), Linkoping, Sweden, Apr. 28-30, 2009. [IEEE Xplore entry]

 

V. Critical Infrastructures

Enhancing Grid Measurements: Wide Area Measurement Systems, NASPInet, and Security.
R. B. Bobba, J. Dagle, E. Heine, H. Khurana, W. H. Sanders, P. Sauer, and T. Yardley. (11BOB01)
IEEE Power & Energy Magazine, vol. 10, no. 1, January-February 2012, pp. 67-73. [IEEE Xplore entry]

Cost Modeling of Response Actions for Automated Response and Recovery in AMI.
A. Fawaz, R. Berthier, and W. H. Sanders. (12FAW02)
Proceedings of the 3rd IEEE International Conference on Smart Grid Communications (SmartGridComm), Tainan City, Taiwan, Nov. 5-8, 2012, pp. 348-353. [IEEE Xplore entry]

Understanding the Role of Automated Response Actions in Improving AMI Resiliency.
A. Fawaz, R. Berthier, W. H. Sanders, and P. Pal. (12FAW01)
Proceedings of the NIST Cybersecurity for Cyber-Physical Systems Workshop, Gaithersburg, Maryland, Apr. 23-24, 2012, http://www.nist.gov/itl/csd/cyberphysical-workshop.cfm.

Reliable GPS-Based Timing for Power Systems: A Multi-Layered
Multi-Receiver Architecture
.
L. Heng, J. J. Makela, A. D. Dominguez-Garcia, R. B. Bobba, W. H. Sanders, and G. X. Gao. (14HEN01)
Proceedings of the IEEE Power and Energy Conference at Illinois (PECI), Champaign, Illinois, Feb. 28-March 1, 2014, to appear.

Toward a Resilient Smart Grid.
W. Sanders. (10SAN02)
ieRoadmap News
, quarter 1, 2010, p. 2.

SCPSE: Security-Oriented Cyber-Physical State Estimation for Power Grid Critical Infrastructures.
S. Zonouz, K. M. Rogers, R. Berthier, R. B. Bobba, W. H. Sanders, and T. J. Overbye. (12ZON01)
IEEE Transactions on Smart Grid, vol. 3, no. 4, December 2012, pp. 1790-1799. [IEEE Xplore entry]

 

Dynamic Partitioning for Hybrid Simulation of the Bistable HIV-1 Transactivation Network.
M. Griffith, T. Courtney, J. Peccoud, and W. H. Sanders. (06GRI02)
Bioinformatics, vol. 22, no. 22, 2006, pp. 2782-2789.

 

Definition and Evaluation of the Data Link Layer of PACnet.
Y. Alsafadi.
Master's Thesis, University of Arizona, 1990.

Content-Aware Resource Scheduling for Commercial and Personal Clouds.
S. Bazarbayev. (13BAZ01)
Master's Thesis, University of Illinois at Urbana-Champaign, 2013.

Loki: A State-Driven Fault Injector for Distributed Systems.
R. U. V. Chandra. (00CHA02)
Master's Thesis, University of Illinois at Urbana-Champaign, 2001.

Link Gradients: Predicting the Impact of Link Latency on Multi-tier Applications.
S. Chen. (08CHE03)
Master's Thesis, University of Illinois at Urbana-Champaign, 2008.

Gradient Techniques for Performance Prediction and Control in Multitier Systems.
S. Chen. (11CHE01)
Doctoral Dissertation, University of Illinois at Urbana-Champaign, 2011.

Result Specification and Model Connection in the Möbius Modeling Framework.
A. L. Christensen. (00CHR01)
Master's Thesis, University of Illinois at Urbana-Champaign, 2000.

Analysis of Connection as a Decomposition Technique.
D. Daly. (01DAL01)
Master's Thesis, University of Illinois at Urbana-Champaign, 2001.

Bounded Aggregation Techniques to Solve Large Markov Models.
D. M. Daly. (05DAL01)
Doctoral Dissertation, University of Illinois at Urbana-Champaign, 2005.

Solutions to Large Markov Chains Produced by Stochastic Petri Nets.
D. D. Deavours. (97DEA01)
Master's Thesis, University of Illinois at Urbana-Champaign, 1997.

Formal Specification of the Möbius Modeling Framework.
D. D. Deavours. (01DEA03)
Doctoral Dissertation, University of Illinois at Urbana-Champaign, 2001.

The Möbius State-Level Abstract Functional Interface.
S. Derisavi. (03DER02)
Master's Thesis, University of Illinois at Urbana-Champaign, 2003.

Solution of Large Markov Models Using Lumping Techniques and Symbolic Data Structures.
S. Derisavi (05DER01)
Doctoral Dissertation, University of Illinois at Urbana-Champaign, 2005.

Empirical Comparison of Uniformization Methods for Continuous-Time Markov Chains.
J. D. Diener. (94DIE01)
Master's Thesis, University of Arizona, 1994.

Abstract Model Specification Using the Möbius Modeling Tool.
J. M. Doyle. (00DOY01)
Master's Thesis, University of Illinois at Urbana-Champaign, 2000.

Modeling Human Decision Points in Complex Systems.
D. C. Eskins. (12ESK02)
Ph.D. Dissertation, University of Illinois at Urbana-Champaign, 2012.

A Response Taxonomy and Cost Model for Advanced Metering Infrastructures.
A. M. Fawaz. (13FAW01)
Master's Thesis, University of Illinois at Urbana-Champaign, 2013.

A Generalized Adversary Decision Algorithm and Analytic Solution Methods for ADVISE Models.
M. D. Ford. (12FOR03)
Master's Thesis, University of Illinois at Urbana-Champaign, 2012.

A Technique for Simulating Composed SAN-based Reward Models.
R. S. Freire. (90F01.ps)
Master's Thesis, University of Arizona, 1990.

Exploring Design Configurations of System Models: From Simultaneous Simulation to Search Heuristics.
S. Gaonkar. (08GAO02)
Ph.D. Dissertation, University of Illinois at Urbana-Champaign, 2008.

Dynamic Partitioning of Stochastic Networks of Molecular Interactions.
M. R. Griffith. (06GRI01)
Master's Thesis, University of Illinois at Urbana-Champaign, 2006.

Deployment Considerations for Intrusion Detection Systems in Advanced Metering Infrastructure.
D. R. Grochocki Jr. (13GRO01)
Master's Thesis, University of Illinois at Urbana-Champaign, 2013.

Intrusion-Tolerant State Transfer for Group Communication Systems.
V. Gupta. (03GUP02)
Master's Thesis, University of Illinois at Urbana-Champaign, 2003.

Loki--An Empirical Evaluation Tool for Distributed Systems: The Experiment Analysis Framework.
D. A. Henke. (98HEN01)
Master's Thesis, University of Illinois at Urbana-Champaign, 1998.

Experimental Evaluations of Embedded Distributed Firewalls: Performance and Policy.
M. A. Ihde. (05IHD02)
Master's Thesis, University of Illinois at Urbana-Champaign, 2005.

Evaluating Unavailability Caused by Group Membership Using Global-State-Based Fault Injection.
K. R. Joshi (03JOS01)
Master's Thesis, University of Illinois at Urbana-Champaign, 2003.

Stochastic-Model-Driven Adaptation and Recovery in Distributed Systems.
K. R. Joshi. (07JOS01)
Doctoral Dissertation, University of Illinois at Urbana-Champaign, 2007.

Analysis of Cell-loss Processes and Restoration Schemes in ATM Networks.
L. A. Kant. (96KAN03)
Doctoral Dissertation, University of Arizona, 1996.

Design and Implementation of an Extensible Tool for Performance and Dependability Model Evaluation.
G. P. Kavanaugh III. (98GP01)
Master's Thesis, University of Illinois at Urbana-Champaign, 1998.

An Adaptive Quality of Service Aware Middleware for Replicated Services.
S. Krishnamurthy. (02KRI04)
Ph.D. Thesis, University of Illinois at Urbana-Champaign, 2002.

The Impact of Workload on the Dependability of Microprocessors Used in Control Applications.
R. V. Krishnan. (95KRI02)
Master's Thesis, University of Illinois at Urbana-Champaign, 1995.

Analytical Evaluation of the RAID 5 Disk Array.
A. Kuratti. (94KUR01)
Master's Thesis, University of Arizona, 1994.

Improved Techniques for Parallel Discrete Event Simulation.
A. Kuratti. (97KUR04)
Ph.D. Thesis, University of Illinois at Urbana-Champaign, 1997.

A Path-Based Framework for Analyzing Large Markov Models.
V. V. Lam. (11LAM01)
Ph.D. Thesis, University of Illinois at Urbana-Champaign, 2011.

An Experimental Evaluation of the Coda Distributed File System Using the Loki State-Driven Fault Injector.
R. M. Lefever. (03LEF02)
Master's Thesis, University of Illinois at Urbana-Champaign, 2003.

Diverse Partial Memory Replication.
R. M. Lefever. (11LEF01)
Ph.D. Thesis, University of Illinois at Urbana-Champaign, 2011.

Adversary-Driven State-Based System Security Evaluation.
E. A. LeMay. (11LEM02)
Ph.D. Thesis, University of Illinois at Urbana-Champaign, 2011.

Performance Evaluation of Interconnection Networks for ISDN Switching Applications.
C.-L. G. Lin. (90L01)
Master's Thesis, University of Arizona, 1990.

A Replication Protocol for an Intrusion-Tolerant System Design.
J. P. Lyons. (03LYO01)
Master's Thesis, University of Illinois at Urbana-Champaign, 2003.

Development and Application of an Efficient Method for the Solution of Stochastic Activity Networks with Deterministic Activities.
L. Malhis. (96MAL02)
Doctoral Dissertation, University of Arizona, 1996.

Solution of Graph-Composed Markov Models Using Symmetry Detection and Symbolic Data Structures.
M. G. McQuinn. (07MCQ02)
Master's Thesis, University of Illinois at Urbana-Champaign, 2007.

Performance Evaluation of N-Processor Time Warp Using Stochastic Activity Networks.
B. D. McLeod. (93M04)
Master's Thesis, University of Arizona, 1993.

A Methodology for Evaluating the Availability of Computer-Integrated Manufacturing Management Systems.
B. Melcher.
Master's Thesis, University of Arizona, 1995.

Importance Sampling Simulation of SAN-Based Reward Models.
W. D. Obal II. (93O02)
Master's Thesis, University of Arizona, 1993.

Measure-Adaptive State-Space Construction Methods.
W. D. Obal II. (98OBA04)
Doctoral Dissertation, University of Arizona, 1998.

Reliable Delivery and Ordering Mechanisms for an Intrusion-Tolerant Group Communication System.
P. Pandey. (01PAN01)
Master's Thesis, University of Illinois at Urbana-Champaign, 2001.

Loki--An Empirical Evaluation Tool for Distributed Systems: The Run-Time Experiment Framework.
J. L. Pistole. (98PI01)
Master's Thesis, University of Illinois at Urbana-Champaign, 1998.

Performability Evaluation of Two Collision-Resolution Schemes for Carrier Sense Multiple Access Protocols.
K. Prodromides.
Master's Thesis, Hartford Graduate Center, 1991.

Reward Model Solution Methods with Impulse and Rate Rewards: An Algorithm and Numerical Results.
M. A. Qureshi. (92Q01)
Master's Thesis, University of Arizona, 1992.

Construction and Solution of Markov Reward Models.
M. A. Qureshi. (96QUR02)
Doctoral Dissertation, University of Arizona, 1996.

Design and Implementation of a Reduced Base Model Construction Technique for Stochastic Activity Networks.
M. Rai. (90R01)
Master's Thesis, University of Arizona, 1990.

A Group Membership Protocol for an Intrusion-Tolerant Group Communication System.
H. V. Ramasamy. (02RAM01)
Master's Thesis, University of Illinois at Urbana-Champaign, 2002.

Parsimonious Service Replication for Tolerating Malicious Attacks in Asynchronous Environments.
H. V. Ramasamy. (05RAM05)
Ph.D. Thesis, University of Illinois at Urbana-Champaign, 2005.

AQuA: A Framework for Providing Adaptive Fault Tolerance to Distributed Applications.
Y. Ren. (01REN01)
Ph.D. Thesis, University of Illinois at Urbana-Champaign, 2001.

Evaluation of a Parallel Chaos Router Simulator.
G. W. Richardson. (95RIC02)
Master's Thesis, University of Arizona, 1995.

Understanding the Fault-Tolerance Properties of Large-Scale Storage Systems.
E. W. D. Rozier. (11ROZ03)
Ph.D. Dissertation, University of Illinois at Urbana-Champaign, 2011.

Passive Replication in the AQuA System.
P. G. Rubel. (00RUB01)
Master's Thesis, University of Illinois at Urbana-Champaign, 2000.

Proteus: A Software Infrastructure Providing Dependability for CORBA Applications.
B. S. Sabnis. (98SAB01)
Master's Thesis, University of Illinois at Urbana-Champaign, 1998.

Construction and Solution of Performability Models Based on Stochastic Activity Networks.
W. H. Sanders. (88S02)
Doctoral Dissertation, University of Michigan, 1988 (also Technical Report CRL-TR-9-88, Computing Research Laboratory, Department of Electrical Engineering and Computer Science, University of Michigan, Ann Arbor, MI, Aug. 1988).

Analytic Solution of Stochastic Activity Networks with Exponential and Deterministic Activities.
B. P. Shah. (93S03)
Master's Thesis, University of Arizona, 1993.

Performance Evaluation of Manufacturing Systems Using Stochastic Activity Networks.
H. V. Shah. (91S04, available in hard copy)
Master's Thesis, University of Arizona, 1991.

Probabilistic Validation of an Intrusion-Tolerant Replication System.
S. Singh. (03SIN02)
Master's Thesis, University of Illinois at Urbana-Champaign, 2003.

Automatic Verification of Security Policy Implementations.
S. Singh. (12SIN01)
Ph.D. Dissertation, University of Illinois at Urbana-Champaign, 2012.

State-Space Generation Techniques in the Möbius Modeling Framework.
J. M. Sowder. (98SOW01)
Master's Thesis, University of Illinois at Urbana-Champaign, 1998.

Validation of an Intrusion-Tolerant Information System Using Probabilistic Modeling.
F. Stevens. (04STE01)
Master's Thesis, University of Illinois at Urbana-Champaign, 2004.

Model Composition Within the Möbius Modeling Framework.
A. J. Stillman. (99STI01)
Master's Thesis, University of Illinois at Urbana-Champaign, 1999.

Solution of Large-Sparse Stochastic Process Representations of Stochastic Activity Networks.
J. Tvedt.
Master's Thesis, University of Arizona, 1990.

Modeling Mobile Phone Virus Propagation to Quantify Response Mechanism Effectiveness.
E. Van Ruitenbeek. (07VAN01)
Master's Thesis, University of Illinois at Urbana-Champaign, 2007.

Design of Experiments in the Möbius Modeling Framework.
P. G. Webster. (02WEB01)
Master's Thesis, University of Illinois at Urbana-Champaign, 2002.

Evaluation of an Adaptive Checkpointing Scheme for Multiprocessor Systems.
F. K. Widjanarko. (95WID01)
Master's Thesis, University of Arizona, 1995.

Discrete Event Simulation in the Möbius Modeling Framework.
A. L. Williamson. (98WIL01)
Master's Thesis, University of Illinois at Urbana-Champaign, 1998.

Game-Theoretic Intrusion Response and Recovery.
S. A. Zonouz. (11ZON02)
Ph.D. Dissertation, University of Illinois at Urbana-Champaign, 2011.

 

Guest Editorial: Introduction to the Special Section on the 7th International Workshop on Petri Nets and Performance Models (PNPM'97).
G. Chiola and W. H. Sanders. (99CHI01)
IEEE Transactions on Software Engineering, vol. 25, no. 2, March/April 1999, pp. 145-146. [IEEE Xplore entry]

Dependable Computing for Critical Applications 6.
M. Dal Cin, C. Meadows, and W. H. Sanders (Editors).
Vol. 11 of series Dependable Computing and Fault-Tolerant Systems, edited by A. Avizienis, H. Kopetz, and J. C. Laprie. Los Alamitos, CA: IEEE Computer Society, 1998.

The Evolution of Dependable Computing at the University of Illinois.
R. K. Iyer, W. H. Sanders, J. H. Patel, and Z. Kalbarczyk. (04IYE01)
in R. Jacquart, Ed., Building the Information Society: IFIP 18th World Computer Congress Topical Sessions, Toulouse, France, August 22-27, 2004, pp. 135-164. Boston: Kluwer Academic Publishers.

Guest Editorial: Introduction to the Special Section on the 6th IFIP International Working Conference on Dependable Computing for Critical Applications (DCCA-6).
C. Meadows and W. H. Sanders. (99MEA01)
IEEE Transactions on Software Engineering, vol. 25, no. 5, September/October 1999, pp. 601-602.

Model-Based Evaluation: From Dependability to Security.
D. M. Nicol, W. H. Sanders, and K. S. Trivedi. (04NIC01)
IEEE Transactions on Dependable and Secure Computing, vol. 1, no. 1, January-March 2004, pp. 48-65. [IEEE Xplore entry]

Progress Towards a Resilient Power Grid Infrastructure.
W. H. Sanders. (10SAN01)
Proceedings of the IEEE Power and Energy Society General Meeting (PES GM), Minneapolis, Minnesota, July 25-29, 2010. [IEEE Xplore entry]

Overview: An Integrated Framework for Performance Engineering and Resource-Aware Compilation.
W. H. Sanders, C. Polychronopoulos, T. Huang, T. Courtney, D. Daly, D. Deavours, and S. Derisavi. (02SAN01)
NSF Next Generation Systems Program Workshop, Fort Lauderdale, FL, April 15, 2002. (Presented but not published in a proceedings.)

Overview: An Integrated Framework for Performance Engineering and Resource-Aware Compilation.
W. H. Sanders, C. Polychronopoulos, T. Huang, T. Courtney, D. Daly, D. Deavours, and S. Derisavi. (02SAN03)
Proceedings of the International Parallel and Distributed Processing Symposium (IPDPS ’02), Fort Lauderdale, Florida, April 15-19, 2002, pp. 173-180. [IEEE Xplore entry]

Dynamic Coalition Formation in Energy and Climate Systems.
J. Scheffran, T. Basar, and W. H. Sanders. (08SCH01)
13th International Symposium on Dynamic Games and Applications, Wroclaw, Poland, June 30-July 3, 2008. (Presented but not published in a proceedings.)