Papers

PERFORM team members have published extensively in the area of performance, dependability, and performability evaluation of computer systems and networks. The below papers are arranged in reverse chronological order.

2021

Addressing Challenges to Quantitative Security Modeling.
M. Rausch. (21RAU02)
Ph.D. Dissertation, University of Illinois Urbana-Champaign, 2021.

Evaluating the Effectiveness of Metamodeling in Emulating Quantitative Models.
M. Rausch and W. H. Sanders. (21RAU01)
Proceedings of the 18th International Conference on Quantitative Evaluation of SysTems (QEST), Paris, France, August 23-27, 2021, pp. 127-145. Lecture Notes in Computer Science no. 12846, Cham: Springer, 2021. [Springer Link entry.]

Causal Analysis for Software-defined Networking Attacks.
B. E. Ujcich, S. Jero, R. Skowyra, A. Bates, W. H. Sanders, and H. Okhravi. (20UJC04)
Proceedings of the 30th USENIX Security Symposium, Vancouver, B.C., Canada, August 11-13, 2021, pp. 3183-3200. [USENIX official version]

2020

Improving Reliability and Security Monitoring in Enterprise and Cloud Systems by Leveraging Information Redundancy.
U. Thakore. (20THA02)
Ph.D. dissertation, University of Illinois at Urbana-Champaign, 2020.

Stacked Metamodels for Sensitivity Analysis and Uncertainty Quantification of AMI Models.
M. Rausch and W. H. Sanders. (20RAU02)
Proceedings of the 2020 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids (SmartGridComm), online virtual conference, November 11-13, 2020, pp. 1-7. [IEEE Xplore entry]

ED4GAP: Efficient Detection for GOOSE-Based Poisoning Attacks on IEC 61850 Substations.
A. Bohara, J. Ros-Giralt, G. Elbez, A. Valdes, K. Nahrstedt, and W. H. Sanders. (20BOH01)
Proceedings of the 2020 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids (SmartGridComm), online virtual conference, November 11-13, 2020, pp. 1-7. [IEEE Xplore entry]

Sensitivity Analysis and Uncertainty Quantification of State-Based Discrete-Event Simulation Models through a Stacked Ensemble of Metamodels.
M. Rausch and W. H. Sanders. (20RAU01)
Proceedings of the 17th International Conference on Quantitative Evaluation of SysTems (QEST), online virtual conference, August 31-September 3, 2020, pp. 276-293. Lecture Notes in Computer Science, vol. 12289. Cham: Springer, 2020. [The final publication is available at link.springer.com: Springer Link entry]

Achieving Network Resiliency Using Sound Theoretical and Practical Methods.
M. A. Noureddine. (20NOU01)
Ph.D. dissertation, University of Illinois at Urbana-Champaign, 2020.

Securing the Software-defined Networking Control Plane by Using Control and Data Dependency Techniques.
B. E. Ujcich. (20UJC03)
Ph.D. dissertation, University of Illinois at Urbana-Champaign, 2020.

Information-fusion-based Methods to Improve the Detection of Advanced Cyber Threats.
A. Bohara. (20BOH02)
Ph.D. dissertation, University of Illinois at Urbana-Champaign, 2020.

Provenance for Intent-Based Networking.
B. E. Ujcich, A. Bates, and W. H. Sanders. (20UJC01)
Proceedings of the 6th IEEE Conference on Network Softwarization (NetSoft), online virtual conference, June 29-July 3, 2020, pp. 195-199. [IEEE Xplore entry]

Automated Discovery of Cross-Plane Event-Based Vulnerabilities in Software-Defined Networking.
B. E. Ujcich, S. Jero, R. Skowyra, S. R. Gomez, A. Bates, W. H. Sanders, and H. Okhravi. (19UJC02)
Proceedings of the Network and Distributed System Security Symposium (NDSS), San Diego, CA, February 23-26, 2020. [Paper in online proceedings]

2019

Data-Driven Model-Based Detection of Malicious Insiders via Physical Access Logs.
C. Cheh, U. Thakore, A. Fawaz, B. Chen, W. G. Temple, and W. H. Sanders. (18CHE01)
ACM Transactions on Modeling and Computer Simulation, vol. 29, no. 4, December 2019, article no. 26. [ACM: https://doi.org/10.1145/3309540]

Modeling Adversarial Physical Movement in a Railway Station: Classification and Metrics.
C. Cheh, B. Chen, W. G. Temple, and W. H. Sanders. (18CHE03)
ACM Transactions on Cyber-Physical Systems, vol. 4, no. 1, article no. 11, October 2019. [ACM: https://doi.org/10.1145/3349584]

Coordinated Analysis of Heterogeneous Monitor Data in Enterprise Clouds for Incident Response.
U. Thakore, H. V. Ramasamy, and W. H. Sanders. (19THA02)
Proceedings of the 30th International Symposium on Software Reliability Engineering Workshops (ISSREW), Berlin, Germany, October 28-31, 2019, pp. 53-58. [IEEE Xplore entry]

Leveraging Physical Access Logs to Identify Tailgating: Limitations and Solutions.
C. Cheh, U. Thakore, B. Chen, W. G. Temple, and W. H. Sanders. (19CHE01)
Proceedings of the 2019 15th European Dependable Computing Conference (EDCC), Naples, Italy, September 17-20, 2019, pp. 127-132. [IEEE Xplore entry]

Protecting Critical Infrastructure Systems Using Cyber, Physical, and Socio-Technical Models.
C. Cheh (19CHE02)
Ph.D. dissertation, University of Illinois at Urbana-Champaign, 2019.

Data Protection Intents for Software-Defined Networking.
B. E. Ujcich and W. H. Sanders. (19UJC01)
Proceedings of the 2019 IEEE Conference on Network Softwarization (IEEE NetSoft), Paris, France, June 24-28, 2019, pp. 271-275. [IEEE Xplore entry]

Revisiting Client Puzzles for State Exhaustion Attacks Resilience.
M. A. Noureddine, A. M. Fawaz, A. Hsu, C. Guldner, S. Vijay, T. Basar, and W. H. Sanders. (18NOU01)
Proceedings of the 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2019), Portland, Oregon, USA, June 24-27, 2019, pp. 617-629. [IEEE Xplore entry]

A Version Control Interface for Graphical Discrete-Event Models.
D. Huang. (19HUA01)
Master’s Thesis, University of Illinois at Urbana-Champaign, 2019.

2018

Data-Driven Methods to Improve Resource Utilization, Fraud Detection, and Cyber-Resilience in Smart Grids.
Varun Badrinath Krishna. (18BAD02)
Ph.D. Dissertation, University of Illinois at Urbana-Champaign, 2018.

Determining Tolerable Attack Surfaces that Preserves Safety of Cyber-Physical Systems.
C. Cheh, A. Fawaz, M. A. Noureddine, B. Chen, W. G. Temple, and W. H. Sanders. (18CHE02)
Proceedings of the 2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing (PRDC 2018), Taipei, Taiwan, December 4-7, 2018, pp. 125-134. [IEEE Xplore entry]

Cyberattacks on Primary Frequency Response Mechanisms in Power Grids.
V. Badrinath Krishna, Z. Wu, V. V. Ambardekar, R. Macwan, and W. H. Sanders. (18BAD01)
Computer,  vol. 51, no. 11, pp. 37-45, November 2018. [IEEE Xplore entry]

Peer-to-Peer Detection of DoS Attacks on City-Scale IoT Mesh Networks.
M. J. Rausch, V. Badrinath Krishna, P. Gu, R. Chandra, B. Feddersen, A. Fawaz, and W. H. Sanders. (18RAU02)
Proceedings of the 2018 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids (IEEE SmartGridComm), Aalborg, Denmark, October 29-31, 2018, pp. 1-6. [IEEE Xplore entry]

An Ontology Framework for Generating Discrete-Event Stochastic Models.
K. Keefe, B. Feddersen, M. Rausch, R. Wright, and W. H. Sanders. (18KEE02)
Proceedings of the 15th European Performance Engineering Workshop (EPEW 2018), Paris, France, Oct. 29-30, 2018 (R. Bakhshi, P. Ballarini, B. Barbot, H. Castel-Taleb, and A. Remke, Eds.), pp. 173-189. Lecture Notes in Computer Science, vol. 11178. Cham: Springer, 2018. [The final publication is available at link.springer.com: Springer Link entry]

Cross-App Poisoning in Software-Defined Networking.
B. E. Ujcich, S. Jero, A. Edmundson, Q. Wang, R. Skowyra, J. Landry, A. Bates, W. H. Sanders, C. Nita-Rotaru, and H. Okhravi. (18UJC04)
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security (CCS), Toronto, Canada, October 15-19, 2018, pp. 648-663. [ACM: https://doi.org/10.1145/3243734.3243759]

Modeling Humans: A General Agent Model for the Evaluation of Security.
M. Rausch, A. Fawaz, K. Keefe, and W. H. Sanders. (18RAU01)
Proceedings of the 15th International Conference on Quantitative Evaluation of SysTems (QEST 2018), Beijing, China, Sept. 4-7, 2018 (A. McIver and A. Horvath, Eds.), pp. 373-388. Lecture Notes in Computer Science, vol. 11024. Cham: Springer, 2018. [The final publication is available at link.springer.com: Springer Link entry]

Evaluating Detectors on Optimal Attack Vectors that Enable Electricity Theft and DER Fraud.
V. Badrinath Krishna, C. A. Gunter, and W. H. Sanders. (17BAD03)
IEEE Journal of Selected Topics in Signal Processing, vol. 12, no. 4, August 2018, pp. 790-805. [IEEE Xplore entry]

Data Provenance for Accountability Mechanisms and Properties.
B. E. Ujcich, A. Bates, and W. H. Sanders. (18UJC03)
Proceedings of the First Workshop on Supporting Algorithm Accountability Using Provenance: Opportunities and Challenges, London, UK, July 12, 2018. Online: https://sociam.github.io/saap-workshop/

A Provenance Model for the European Union General Data Protection Regulation.
B. E. Ujcich, A. Bates, and W. H. Sanders. (18UJC02)
Proceedings of the International Provenance and Annotation Workshop (IPAW 2018), London, UK, July 9-13, 2018 (K. Belhajjame, A. Gehani, and P. Alper, Eds.), pp. 45-57, Lecture Notes in Computer Science, vol. 11017. Cham: Springer. [The final publication is available at link.springer.com: Springer Link entry]

PowerAlert: Integrity Checking Using Power Measurement and a Game-Theoretic Strategy.
A. M. Fawaz, M. A. Noureddine, and W. H. Sanders. (17FAW02)
Proceedings of the 2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Luxembourg City, Luxembourg, June 25-28, 2018, pp. 514-525. [IEEE Xplore entry]

Poster: Detecting Monitor Compromise Using Evidential Reasoning.
U. Thakore, A. Fawaz, and W. H. Sanders. (18THA01)
Proceedings of the 5th Annual Symposium and Bootcamp on Hot Topics in the Science of Security (HotSoS ’18), Raleigh, North Carolina, April 10-11, 2018, article no. 16. [ACM DOI: https://doi.org/10.1145/3190619.3191693]

2017

Achieving Cyber Resiliency against Lateral Movement through Detection and Response.
A. M. Fawaz. (17FAW01)
Ph.D. Dissertation, University of Illinois at Urbana-Champaign, 2017.

Developing Models for Physical Attacks in Cyber-Physical Systems.
C. Cheh, K. Keefe, B. Feddersen, B. Chen, W. G. Temple, and W. H. Sanders. (17CHE04)
Proceedings of the 2017 Workshop on Cyber-Physical Systems Security and PrivaCy (CPS-SPC), Dallas, Texas, Nov. 3, 2017, pp. 49-55. [ACM: https://doi.org/10.1145/3140241.3140249]

Automatically Generating Security Models from System Models to Aid in the Evaluation of AMI Deployment Options. [Springer SharedIt link]
M. Rausch, K. Keefe, B. Feddersen, and W. H. Sanders. (17RAU02)
In Critical Information Infrastructures Security: 12th International Conference, CRITIS 2017, Lucca, Italy, October 9-13, 2017, Revised Selected Papers (G. D’Agostino and A. Scala, Eds.), pp. 156-167. Security and Cryptology, vol. 10707. Springer International Publishing, 2018.

An Unsupervised Multi-Detector Approach for Identifying Malicious Lateral Movement.
A. Bohara, M. A. Noureddine, A. Fawaz, and W. H. Sanders. (17BOH01)
Proceedings of the 2017 IEEE 36th Symposium on Reliable Distributed Systems (SRDS 2017), Hong Kong, China, September 26-29, 2017, pp. 224-233. [IEEE Xplore entry]

Data-Driven Model-Based Detection of Malicious Insiders via Physical Access Logs.
C. Cheh, B. Chen, W. G. Temple, and W. H. Sanders. (17CHE01)
Proceedings of the 14th International Conference on Quantitative Evaluation of SysTems (QEST 2017), Berlin, Germany, September 5-7, 2017, Lecture Notes in Computer Science (LNCS) vol. 10503, pp. 275-291. Springer, Cham. [The final publication is available at Springer via https://doi.org/10.1007/978-3-319-66335-7_17.]

Towards an Accountable Software-Defined Networking Architecture.
B. E. Ujcich, A. Miller, A. Bates, and W. H. Sanders. (17UJC01)
Proceedings of the 2017 IEEE Conference on Network Softwarization (NetSoft), Bologna, Italy, July 3-7, 2017, pp. 1-5. [IEEE Xplore entry]

REMAX: Reachability-Maximizing P2P Detection of Erroneous Readings in Wireless Sensor Networks.
V. Badrinath Krishna, M. Rausch, B. E. Ujcich, I. Gupta, and W. H. Sanders. (16BAD01)
Proceedings of the 2017 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Denver, Colorado, June 26-29, 2017, pp. 321-332. [IEEE Xplore entry]

ATTAIN: An Attack Injection Framework for Software-defined Networking.
B. E. Ujcich, U. Thakore, and W. H. Sanders. (16UJC03)
Proceedings of the 2017 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Denver, Colorado, June 26-29, 2017, pp. 567-578. [IEEE Xplore entry]

Accounting for the Human User in Predictive Security Models.
M. A. Noureddine, A. Marturano, K. Keefe, M. Bashir, and W. H. Sanders. (16NOU03)
Proceedings of the 22nd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2017), Christchurch, New Zealand, January 22-25, 2017, pp. 329-338. [IEEE Xplore entry]

On Train Automatic Stop Control Using Balises: Attacks and a Software-Only Countermeasure.
W. G. Temple, B. A. N. Tran, B. Chen, Z. Kalbarczyk, and W. H. Sanders. (16TEM01)
Proceedings of the 22nd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2017), Christchurch, New Zealand, January 22-25, 2017, pp. 274-283. [IEEE Xplore entry]

Learning Process Behavioral Baselines for Anomaly Detection.
A. M. Fawaz and W. H. Sanders. (16FAW03)
Proceedings of the 22nd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2017), Christchurch, New Zealand, January 22-25, 2017, pp. 145-154. [IEEE Xplore entry]

2016

Determining Cost-Effective Intrusion Detection Approaches for an Advanced Metering Infrastructure Deployment Using ADVISE.
M. J. Rausch. (16RAU02)
Master’s Thesis, University of Illinois at Urbana-Champaign, 2016.

An Attack Model, Language, and Injector for the Control Plane of Software-defined Networks.
B. E. Ujcich. (16UJC01)
M.S. thesis, University of Illinois at Urbana-Champaign, 2016.

An Energy-Efficient P2P Protocol for Validating Measurements in Wireless Sensor Networks.
V. Badrinath Krishna. (16BAD02)
Master’s Thesis, University of Illinois at Urbana-Champaign, 2016.

A Game-Theoretic Approach to Respond to Attacker Lateral Movement.
M. A. Noureddine, A. Fawaz, W. H. Sanders, and T. Başar. (16NOU02)
Proceedings of the 7th International Conference on Decision and Game Theory for Security (GameSec 2016), New York, New York, November 2-4, 2016, Lecture Notes in Computer Science vol. 9996, Springer, 2016, pp. 294-313. [The final publication is available at link.springer.com: Springer Link entry]

A Case Study Assessing the Effects of Cyber Attacks on a River Zonal Dispatcher.
R. J. Wright, K. Keefe, B. Feddersen, and W. H. Sanders. (16WRI01)
Proceedings of the 11th International Conference on Critical Information Infrastructures Security (CRITIS), Paris, France, October 10-12, 2016, Lecture Notes in Computer Science no. 10242, Springer, Cham, 2017, pp. 252-264. [The final publication is available at link.springer.com.]

Lateral Movement Detection Using Distributed Data Fusion.
A. Fawaz, A. Bohara, C. Cheh, and W. H. Sanders. (16FAW02)
Proceedings of the 2016 IEEE 35th Symposium on Reliable Distributed Systems (SRDS), Budapest, Hungary, Sept. 26-29, 2016, pp. 21-30. [IEEE Xplore entry]

A Comparison of Different Intrusion Detection Approaches in an Advanced Metering Infrastructure Network Using ADVISE.
M. Rausch, B. Feddersen, K. Keefe, and W. H. Sanders. (16RAU01)
Proceedings of the 13th International Conference on Quantitative Evaluation of Systems (QEST 2016), Quebec City, Canada, August 23-25, 2016, Lecture Notes in Computer Science vol. 9826, Springer, pp. 279-294. [The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-43425-4_19]

A Quantitative Methodology for Security Monitor Deployment.
U. Thakore, G. A. Weaver, and W. H. Sanders. (15THA03)
Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Toulouse, France, June 28-July 1, 2016, pp. 1-12.[IEEE Xplore entry]

F-DETA: A Framework for Detecting Electricity Theft Attacks in Smart Grids.
V. Badrinath Krishna, K. Lee, G. A. Weaver, R. K. Iyer, and W. H. Sanders. (15BAD04)
Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Toulouse, France, June 28-July 1, 2016, pp. 407-418. [IEEE Xplore entry]

The Right Tool for the Job: A Case for Common Input Scenarios for Security Assessment.
X. Dong, S. Jauhar, W. G. Temple, B. Chen, Z. Kalbarczyk, W. H. Sanders, N. O. Tippenhauer, and D. M. Nicol. (16DON01)
In Graphical Models for Security: Third International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016, Revised Selected Papers, Lecture Notes in Computer Science (LNCS) vol. 9987, Springer, pp. 39-61. [The final publication is available at link.springer.com: Springer Link entry]

Intrusion Detection in Enterprise Systems by Combining and Clustering Diverse Monitor Data.
A. Bohara, U. Thakore, and W. H. Sanders. (16BOH01)
Proceedings of the Symposium and Bootcamp on the Science of Security (HotSoS), Pittsburgh, Pennsylvania, April 19-21, 2016, pp. 7-16. [ACM DOI: http://dx.doi.org/10.1145/2898375.2898400]

A Response Cost Model for Advanced Metering Infrastructures.
A. Fawaz, R. Berthier, and W. H. Sanders. (13FAW02)
IEEE Transactions on Smart Grid, vol. 7, no. 2, March 2016, pp. 543-553. [IEEE Xplore entry]

2015

A Quantitative Methodology for Evaluating and Deploying Security Monitors.
U. Thakore. (15THA01)
M.S. thesis, University of Illinois at Urbana-Champaign, 2015.

Reliability Analysis with Dynamic Reliability Block Diagrams in the Möbius Modeling Tool.
K. Keefe and W. H. Sanders. (15KEE01)
Proceedings of the 9th EAI International Conference on Performance Evaluation Methodologies and Tools (Valuetools), Berlin, Germany, Dec. 14-16, 2015, pp. 164-170. [ACM DOI: http://dx.doi.org/10.4108/eai.14-12-2015.2262723]

Cyber-Physical Topology Language: Definition, Operations, and Application.
C. Cheh, G. A. Weaver, and W. H. Sanders. (15CHE02)
Proceedings of the 2015 IEEE 21st Pacific Rim International Symposium on Dependable Computing (PRDC), Zhangjiajie, China, Nov. 18-20, 2015, pp. 60-69. [IEEE Xplore entry]

Model-based Cybersecurity Assessment with NESCOR Smart Grid Failure Scenarios.
S. Jauhar, B. Chen, W. G. Temple, X. Dong, Z. Kalbarczyk, W. H. Sanders, and D. M. Nicol. (15JAU01)
Proceedings of the IEEE 21st Pacific Rim International Symposium on Dependable Computing (PRDC), Zhangjiajie, China, Nov. 18-20, 2015, pp. 319-324. [IEEE Xplore entry]

ARIMA-Based Modeling and Validation of Consumption Readings in Power Grids.
V. Badrinath Krishna, R. K. Iyer, and W. H. Sanders. (15BAD01)
Proceedings of the 10th International Conference on Critical Information Infrastructures Security (CRITIS), Berlin, Germany, Oct. 5-7, 2015, Lecture Notes in Computer Science vol. 9578, pp. 199-210, Springer. [The final publication is available at link.springer.com: Springer Link entry]

Security Analysis of Urban Railway Systems: The Need for a Cyber-Physical Perspective.
B. Chen, C. Schmittner, Z. Ma, W. G. Temple, X. Dong, D. L. Jones, and W. H. Sanders. (15CHE01)
Proceedings of the International Conference on Computer Safety, Reliability, and Security: SAFECOMP 2015 Workshops: ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, Sept. 22, 2015, Lecture Notes in Computer Science, vol. 9338 (F. Koornneef and C. van Gulijk, Eds.), pp. 277-290, Springer. [final version available at Springer Link: Springer Link entry]

PCA-Based Method for Detecting Integrity Attacks on Advanced Metering Infrastructure.
V. Badrinath Krishna, G. A. Weaver, and W. H. Sanders. (15BAD02)
Proceedings of the 12th International Conference on Quantitative Evaluation of Systems (QEST), Madrid, Spain, Sept. 1-3, 2015, Lecture Notes in Computer Science vol. 9259, pp. 70-85, Springer. [The final publication is available at link.springer.com: Springer Link entry]

Enterprise Security Metrics with the ADVISE Meta Model Formalism.
B. Feddersen, K. Keefe, W. H. Sanders, C. Muehrcke, D. Parks, A. Crapo, A. Gabaldon, and R. Palla. (15FED02)
Proceedings of SECURWARE 2015: The Ninth International Conference on Emerging Security Information, Systems and Technologies, Venice, Italy, Aug. 23-28, 2015, pp. 65-66. [Official version in ThinkMind repository]

An Ontological Model for Constructing Mobius ADVISE Security Models.
B. Feddersen, K. Keefe, W. H. Sanders, C. Muehrcke, D. Parks, A. Crapo, A. Gabaldon, and R. Palla. (15FED01)
Fast Abstract at the 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Rio de Janeiro, Brazil, June 22-25, 2015. (Presented but not published in a proceedings.)

Seclius: An Information Flow-based, Consequence-centric Security Metric.
S. A. Zonouz, R. Berthier, H. Khurana, W. H. Sanders, and T. Yardley. (11ZON03)
IEEE Transactions on Parallel and Distributed Systems, vol. 26, no. 2, Feb. 2015, pp. 562-573. [IEEE Xplore entry]

2014

The Cyber-Physical Topology Language: Definition and Operations.
C. Cheh. (14CHE02)
Master’s Thesis, University of Illinois at Urbana-Champaign, 2014.

A Job Server for Parallel and Concurrent Execution of Möbius Simulators.
R. J. Wright. (14WRI01)
Master’s Thesis, University of Illinois at Urbana-Champaign, 2014.

Simulation Debugging and Visualization in the Möbius Modeling Framework.
C. T. Buchanan. (14BUC01)
Master’s thesis, University of Illinois at Urbana-Champaign, 2014.

Automatic Generation of Security Argument Graphs.
N. O. Tippenhauer, W. G. Temple, A. H. Vu, B. Chen, D. M. Nicol, Z. Kalbarczyk, and W. H. Sanders. (14TIP02)
Proceedings of the 20th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2014), Singapore, Nov. 18-21, 2014, pp. 33-42. [IEEE Xplore entry]

Proceedings of the 11th International Conference on Quantitative Evaluation of Systems (QEST 2014).
G. Norman and W. Sanders (Editors). (14NOR01)
Lecture Notes in Computer Science, vol. 8657, Springer, 2014. [Springer Link entry]

An Actor-Centric, Asset-Based Monitor Deployment Model for Cloud Computing.
U. Thakore, G. A. Weaver, and W. H. Sanders. (14THA01)
University of Illinois at Urbana-Champaign Coordinated Science Laboratory technical report UILU-ENG-14-2202, July 2014.

Enabling Collaborative Research for Security and Resiliency of Energy Cyber Physical Systems.
A. Hussain, T. Faber, R. Braden, T. Benzel, T. Yardley, J. Jones, D. M. Nicol, W. H. Sanders, T. W. Edgar, T. E. Carroll, D. O. Manz, and L. Tinnel. (14HUS01)
Proceedings of the 2014 IEEE International Conference on Distributed Computing in Sensor Systems, Marina Del Rey, CA, May 26-28, 2014, pp. 358-360. [IEEE Xplore entry]

Quantitative Security Metrics: Unattainable Holy Grail, or a Vital Breakthrough within Our Reach?
W. H. Sanders. (14SAN01)
IEEE Security & Privacy, vol. 12, no. 2, Mar.-Apr. 2014, pp. 67-69. [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, vol. 5, no. 2, March 2014, pp. 906-915. [IEEE Xplore entry]

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. [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, vol. 25, no. 2, February 2014, pp. 395-406. [IEEE Xplore entry]

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, vol. 5, no. 1, January 2014, pp. 3-13. [IEEE Xplore entry]

2013

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.

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

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

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, pp. 311-312. [IEEE Xplore entry]

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.

Digital I&C and Cyber Security in Nuclear Power Plants.
Y. An, Rizwan-uddin, and W. H. Sanders. (13AN01)
Transactions of the American Nuclear Society, vol. 109, Washington D.C., Nov. 10-14, 2013, pp. 1876-1877.

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 1st ACM Workshop on Smart Energy Grid Security (SEGS), Berlin, Germany, Nov. 8, 2013, pp. 93-104. [ACM: http://dx.doi.org/10.1145/2516930.2516934]

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]

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, 486-491. [IEEE Xplore entry]

Reconciling Security Protection and Monitoring Requirements in Advanced Metering Infrastructures.
R. Berthier, J. G. Jetcheva, D. Mashima, J. H. Huh, D. Grochocki, R. B. 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, pp. 450-455. [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, pp. 402-407 [IEEE Xplore entry].

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, pp. 65-76. [ACM DOI: http://dx.doi.org/10.1145/2535813.2535821]

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. [The final publication is available at link.springer.com: Springer Link 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, pp. 93-101. [IEEE Xplore entry]

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, pp. 1-8. [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, pp. 1-6. [IEEE Xplore entry]

2012

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.

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

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

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]

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]

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]

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]

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]

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) (online: https://www.usenix.org/conference/cset12/workshop-program), Bellevue, Washington, Aug. 6, 2012.

A Framework for Efficient Evaluation of the Fault Tolerance of Deduplicated Storage Systems.
E. W. D. Rozier and W. H. 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, pp. 1-12. [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, pp. 1-8. [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, pp. 61-72. [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.

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]

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]

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]

2011

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

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.

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

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

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.

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]

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]

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]

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.

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]

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]

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]

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.

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]

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.

2010

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]

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]

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]

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]

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.

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]

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]

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, pp. 1-3. [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]

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]

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.

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]

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

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, pp. 1-8. [IEEE Xplore entry]

2009

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]

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.

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]

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]

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]

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]

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]

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.

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]

2008

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.

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.

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.

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]

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]

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.

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.

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

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]

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]

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.

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.

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]

2007

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

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.

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

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.

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]

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.

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.

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.

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]

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]

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]

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.

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.

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]

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

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]

2006

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

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]

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.

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]

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]

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]

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.

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]

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]

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.

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]

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]

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.

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]

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.

2005

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

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

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

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

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.

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]

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.

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]

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]

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]

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.

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.

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.

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]

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]

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]

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]

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]

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]

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.

2004

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

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]

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

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]

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]

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]

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]

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]

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.

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.

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.

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.

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]

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]

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.

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.

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]

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]

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.

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.

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]

2003

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.

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

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]

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.

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

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

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

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]

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.

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.

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.

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.

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]

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 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]

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.

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]

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.

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.

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.

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.

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.

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.

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.

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]

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]

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]

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]

2002

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

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

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.

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]

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]

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.

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.

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]

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.

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]

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]

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]

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.

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.

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]

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]

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

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. [Springer Link Entry]

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]

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]

2001

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

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.

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

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

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

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.

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]

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.

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. [Springer Link 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 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]

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.

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

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]

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]

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.

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]

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.

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.

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.

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]

2000

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

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

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.

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]

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]

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. [Springer Link 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]

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]

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. [Springer Link 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]

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]

1999

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

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.

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 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]

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]

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]

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.

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]

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]

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.

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.

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.

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]

1998

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.

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

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

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

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.

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.

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.

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

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.

“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]

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]

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]

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.

1997

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

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

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]

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]

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]

“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]

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. [Springer Link entry]

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.

1996

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

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

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.

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]

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.

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]

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

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]

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.

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.

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]

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]

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.

1995

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.

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

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

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

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.

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.

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]

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]

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]

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 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]

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]

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.

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.

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]

1994

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

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

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.
Presents a method to compute performability distribution of reward models with impulse and rate rewards. [published version and erratum from Elsevier]

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.

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]

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.

Dependability Evaluation Using UltraSAN.
W. H. Sanders and W. D. Obal II. (93S01)
Proceedings of the 23rd Annual International Symposium on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993, pp. 674-679. [IEEE Xplore entry]

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

1993

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

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

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

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.

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

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.

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.

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.

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.

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.

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]

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]

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]

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

Adaptive Uniformization: Technical Details.
A. P. A. van Moorsel and W. H. Sanders. (93M03)
PMRL Technical Report 93-4, Dept. of Electrical and Computer Engineering, University of Arizona, Tucson, AZ, Jan. 1993. (Also Memoranda Informatica 93-22, Computer Science Dept., University of Twente, The Netherlands.) .

1992

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.

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.

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.

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

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.

1991

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

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

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.

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]

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 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 Evaluation of Media Access Control Protocols.
W. H. Sanders and K. H. Prodromides.
TIMS XXX-SOBRAPO XXII, Rio, Brazil, July 15-17, 1991.

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.

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]

1990

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

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

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

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

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

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

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.

1980s

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]

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]

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.

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

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.

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.

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.

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.

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]

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.

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