William H. Sanders

254 papers A* 7A 39B 23C 17Misc 9Journal 64Unranked 92

Year	Rank	Type	Title / Venue / Authors
2023	J	`jnl`	CyberSAGE: The cyber security argument graph evaluation tool. Empir. Softw. Eng. William G. Temple, Yue Wu, Carmen Cheh, Yuan Li, Binbin Chen, Zbigniew T. Kalbarczyk, William H. Sanders, David M. Nicol
2021	A*	`conf`	Causal Analysis for Software-Defined Networking Attacks. USENIX Security Symposium Benjamin E. Ujcich, Samuel Jero, Richard Skowyra, Adam Bates, William H. Sanders, Hamed Okhravi
2021	—	`conf`	Evaluating the Effectiveness of Metamodeling in Emulating Quantitative Models. QEST Michael J. Rausch, William H. Sanders
2021	J	`jnl`	Extending the Möbius Modeling Environment with the Advanced Replication Operator. SIGMETRICS Perform. Evaluation Rev. Giulio Masetti, Silvano Chiaradonna, Felicita Di Giandomenico, William H. Sanders, Brett Feddersen
2020	A*	`conf`	Automated Discovery of Cross-Plane Event-Based Vulnerabilities in Software-Defined Networking. NDSS Benjamin E. Ujcich, Samuel Jero, Richard Skowyra, Steven R. Gomez, Adam Bates, William H. Sanders, Hamed Okhravi
2020	—	`conf`	ED4GAP: Efficient Detection for GOOSE-Based Poisoning Attacks on IEC 61850 Substations. SmartGridComm Atul Bohara, Jordi Ros-Giralt, Ghada Elbez, Alfonso Valdes, Klara Nahrstedt, William H. Sanders
2020	J	`jnl`	Modeling Adversarial Physical Movement in a Railway Station: Classification and Metrics. ACM Trans. Cyber Phys. Syst. Carmen Cheh, Binbin Chen, William G. Temple, William H. Sanders
2020	B	`conf`	Provenance for Intent-Based Networking. NetSoft Benjamin E. Ujcich, Adam Bates, William H. Sanders
2020	—	`conf`	Sensitivity Analysis and Uncertainty Quantification of State-Based Discrete-Event Simulation Models Through a Stacked Ensemble of Metamodels. QEST Michael J. Rausch, William H. Sanders
2020	—	`conf`	Stacked Metamodels for Sensitivity Analysis and Uncertainty Quantification of AMI Models. SmartGridComm Michael J. Rausch, William H. Sanders
2019	—	`conf`	Coordinated Analysis of Heterogeneous Monitor Data in Enterprise Clouds for Incident Response. ISSRE Workshops Uttam Thakore, Harigovind V. Ramasamy, William H. Sanders
2019	B	`conf`	Data Protection Intents for Software-Defined Networking. NetSoft Benjamin E. Ujcich, William H. Sanders
2019	J	`jnl`	Data-driven Model-based Detection of Malicious Insiders via Physical Access Logs. ACM Trans. Model. Comput. Simul. Carmen Cheh, Uttam Thakore, Ahmed M. Fawaz, Binbin Chen, William G. Temple, William H. Sanders
2019	Misc	`conf`	Leveraging Physical Access Logs to Identify Tailgating: Limitations and Solutions. EDCC Carmen Cheh, Uttam Thakore, Binbin Chen, William G. Temple, William H. Sanders
2019	—	`conf`	P4AIG: Circuit-Level Verification of P4 Programs. DSN (Supplements) Mohammad A. Noureddine, Amanda Hsu, Matthew Caesar, Fadi A. Zaraket, William H. Sanders
2019	A	`conf`	Revisiting Client Puzzles for State Exhaustion Attacks Resilience. DSN Mohammad A. Noureddine, Ahmed M. Fawaz, Amanda Hsu, Cody Guldner, Sameer Vijay, Tamer Basar, William H. Sanders
2018	—	`conf`	A Provenance Model for the European Union General Data Protection Regulation. IPAW Benjamin E. Ujcich, Adam Bates, William H. Sanders
2018	Misc	`conf`	An Efficient Strategy for Model Composition in the Möbius Modeling Environment. EDCC Giulio Masetti, Silvano Chiaradonna, Felicita Di Giandomenico, Brett Feddersen, William H. Sanders
2018	—	`conf`	An Ontology Framework for Generating Discrete-Event Stochastic Models. EPEW Ken Keefe, Brett Feddersen, Michael J. Rausch, Ronald Joseph Wright, William H. Sanders
2018	A*	`conf`	Cross-App Poisoning in Software-Defined Networking. CCS Benjamin E. Ujcich, Samuel Jero, Anne Edmundson, Qi Wang, Richard Skowyra, James Landry, Adam Bates, William H. Sanders, Cristina Nita-Rotaru, Hamed Okhravi
2018	J	`jnl`	Cyberattacks on Primary Frequency Response Mechanisms in Power Grids. Computer Varun Badrinath Krishna, Ziping Wu, Vaidehi V. Ambardekar, Richard Macwan, William H. Sanders
2018	—	`conf`	Detecting monitor compromise using evidential reasoning: poster. HotSoS Uttam Thakore, Ahmed M. Fawaz, William H. Sanders
2018	C	`conf`	Determining Tolerable Attack Surfaces that Preserves Safety of Cyber-Physical Systems. PRDC Carmen Cheh, Ahmed M. Fawaz, Mohammad A. Noureddine, Binbin Chen, William G. Temple, William H. Sanders
2018	J	`jnl`	Evaluating Detectors on Optimal Attack Vectors That Enable Electricity Theft and DER Fraud. IEEE J. Sel. Top. Signal Process. Varun Badrinath Krishna, Carl A. Gunter, William H. Sanders
2018	—	`conf`	Modeling Humans: A General Agent Model for the Evaluation of Security. QEST Michael J. Rausch, Ahmed M. Fawaz, Ken Keefe, William H. Sanders
2018	A	`conf`	POWERALERT: Integrity Checking Using Power Measurement and a Game-Theoretic Strategy. DSN Ahmed M. Fawaz, Mohammad A. Noureddine, William H. Sanders
2018	—	`conf`	Peer-to-peer Detection of DoS Attacks on City-Scale IoT Mesh Networks. SmartGridComm Michael J. Rausch, Varun Badrinath Krishna, Peng Gu, Rupak Chandra, Brett Feddersen, Ahmed M. Fawaz, William H. Sanders
2018	J	`jnl`	Revisiting Client Puzzles for State Exhaustion Attacks Resilience. CoRR Mohammad A. Noureddine, Ahmed M. Fawaz, Tamer Basar, William H. Sanders
2017	A	`conf`	ATTAIN: An Attack Injection Framework for Software-Defined Networking. DSN Benjamin E. Ujcich, Uttam Thakore, William H. Sanders
2017	C	`conf`	Accounting for the Human User in Predictive Security Models. PRDC Mohammad A. Noureddine, Andrew Marturano, Ken Keefe, Masooda N. Bashir, William H. Sanders
2017	B	`conf`	An Unsupervised Multi-Detector Approach for Identifying Malicious Lateral Movement. SRDS Atul Bohara, Mohammad A. Noureddine, Ahmed M. Fawaz, William H. Sanders
2017	C	`conf`	Automatically Generating Security Models from System Models to Aid in the Evaluation of AMI Deployment Options. CRITIS Michael J. Rausch, Ken Keefe, Brett Feddersen, William H. Sanders
2017	—	`conf`	Data-Driven Model-Based Detection of Malicious Insiders via Physical Access Logs. QEST Carmen Cheh, Binbin Chen, William G. Temple, William H. Sanders
2017	—	`conf`	Developing Models for Physical Attacks in Cyber-Physical Systems. CPS-SPC@CCS Carmen Cheh, Ken Keefe, Brett Feddersen, Binbin Chen, William G. Temple, William H. Sanders
2017	C	`conf`	Learning Process Behavioral Baselines for Anomaly Detection. PRDC Ahmed M. Fawaz, William H. Sanders
2017	C	`conf`	On Train Automatic Stop Control Using Balises: Attacks and a Software-Only Countermeasure. PRDC William G. Temple, Bao Anh N. Tran, Binbin Chen, Zbigniew Kalbarczyk, William H. Sanders
2017	J	`jnl`	PowerAlert: An Integrity Checker using Power Measurement. CoRR Ahmed M. Fawaz, Mohammad A. Noureddine, William H. Sanders
2017	A	`conf`	REMAX: Reachability-Maximizing P2P Detection of Erroneous Readings in Wireless Sensor Networks. DSN Varun Badrinath Krishna, Michael J. Rausch, Benjamin E. Ujcich, Indranil Gupta, William H. Sanders
2016	C	`conf`	A Case Study Assessing the Effects of Cyber Attacks on a River Zonal Dispatcher. CRITIS Ronald Joseph Wright, Ken Keefe, Brett Feddersen, William H. Sanders
2016	—	`conf`	A Comparison of Different Intrusion Detection Approaches in an Advanced Metering Infrastructure Network Using ADVISE. QEST Michael J. Rausch, Brett Feddersen, Ken Keefe, William H. Sanders
2016	—	`conf`	A Game-Theoretic Approach to Respond to Attacker Lateral Movement. GameSec Mohammad A. Noureddine, Ahmed M. Fawaz, William H. Sanders, Tamer Basar
2016	A	`conf`	A Quantitative Methodology for Security Monitor Deployment. DSN Uttam Thakore, Gabriel A. Weaver, William H. Sanders
2016	J	`jnl`	A Response Cost Model for Advanced Metering Infrastructures. IEEE Trans. Smart Grid Ahmed M. Fawaz, Robin Berthier, William H. Sanders
2016	A	`conf`	F-DETA: A Framework for Detecting Electricity Theft Attacks in Smart Grids. DSN Varun Badrinath Krishna, Kiryung Lee, Gabriel A. Weaver, Ravishankar K. Iyer, William H. Sanders
2016	—	`conf`	Intrusion detection in enterprise systems by combining and clustering diverse monitor data. HotSoS Atul Bohara, Uttam Thakore, William H. Sanders
2016	B	`conf`	Lateral Movement Detection Using Distributed Data Fusion. SRDS Ahmed M. Fawaz, Atul Bohara, Carmen Cheh, William H. Sanders
2016	J	`jnl`	Reliability Analysis with Dynamic Reliability Block Diagrams in the Möbius Modeling Tool. EAI Endorsed Trans. Security Safety Ken Keefe, William H. Sanders
2016	—	`conf`	The Right Tool for the Job: A Case for Common Input Scenarios for Security Assessment. GraMSec Xinshu Dong, Sumeet Jauhar, William G. Temple, Binbin Chen, Zbigniew Kalbarczyk, William H. Sanders, Nils Ole Tippenhauer, David M. Nicol
2015	C	`conf`	ARIMA-Based Modeling and Validation of Consumption Readings in Power Grids. CRITIS Varun Badrinath Krishna, Ravishankar K. Iyer, William H. Sanders
2015	C	`conf`	Cyber-Physical Topology Language: Definition, Operations, and Application. PRDC Carmen Cheh, Gabriel A. Weaver, William H. Sanders
2015	C	`conf`	Model-Based Cybersecurity Assessment with NESCOR Smart Grid Failure Scenarios. PRDC Sumeet Jauhar, Binbin Chen, William G. Temple, Xinshu Dong, Zbigniew T. Kalbarczyk, William H. Sanders, David M. Nicol
2015	—	`conf`	PCA-Based Method for Detecting Integrity Attacks on Advanced Metering Infrastructure. QEST Varun Badrinath Krishna, Gabriel A. Weaver, William H. Sanders
2015	—	`conf`	Quantitative security metrics with human in the loop. HotSoS Mohammad A. Noureddine, Ken Keefe, William H. Sanders, Masooda N. Bashir
2015	J	`jnl`	Seclius: An Information Flow-Based, Consequence-Centric Security Metric. IEEE Trans. Parallel Distributed Syst. Saman A. Zonouz, Robin Berthier, Himanshu Khurana, William H. Sanders, Tim Yardley
2015	—	`conf`	Security Analysis of Urban Railway Systems: The Need for a Cyber-Physical Perspective. SAFECOMP Workshops Binbin Chen, Christoph Schmittner, Zhendong Ma, William G. Temple, Xinshu Dong, Douglas L. Jones, William H. Sanders
2014	J	`jnl`	A Framework for Evaluating Intrusion Detection Architectures in Advanced Metering Infrastructures. IEEE Trans. Smart Grid Alvaro A. Cárdenas, Robin Berthier, Rakesh B. Bobba, Jun Ho Huh, Jorjeta G. Jetcheva, David Grochocki, William H. Sanders
2014	C	`conf`	Automatic Generation of Security Argument Graphs. PRDC Nils Ole Tippenhauer, William G. Temple, An Hoa Vu, Binbin Chen, David M. Nicol, Zbigniew Kalbarczyk, William H. Sanders
2014	J	`jnl`	Automatic Generation of Security Argument Graphs. CoRR Nils Ole Tippenhauer, William G. Temple, An Hoa Vu, Binbin Chen, David M. Nicol, Zbigniew Kalbarczyk, William H. Sanders
2014	B	`conf`	Enabling Collaborative Research for Security and Resiliency of Energy Cyber Physical Systems. DCOSS Alefiya Hussain, Ted Faber, Robert Braden, Terry V. Benzel, Tim Yardley, Jeremy Jones, David M. Nicol, William H. Sanders, Thomas W. Edgar, Thomas E. Carroll, David O. Manz, Laura Tinnel
2014	—	`ed.`	Quantitative Evaluation of Systems - 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings QEST Gethin Norman, William H. Sanders
2014	J	`jnl`	Quantitative Security Metrics: Unattainable Holy Grail or a Vital Breakthrough within Our Reach? IEEE Secur. Priv. William H. Sanders
2014	J	`jnl`	RRE: A Game-Theoretic Intrusion Response and Recovery Engine. IEEE Trans. Parallel Distributed Syst. Saman A. Zonouz, Himanshu Khurana, William H. Sanders, Timothy M. Yardley
2014	J	`jnl`	Randomized Timed and Hybrid Models for Critical Infrastructures (Dagstuhl Seminar 14031). Dagstuhl Reports Erika Ábrahám, Alberto Avritzer, Anne Remke, William H. Sanders
2014	J	`jnl`	SOCCA: A Security-Oriented Cyber-Physical Contingency Analysis in Power Infrastructures. IEEE Trans. Smart Grid Saman A. Zonouz, Charles M. Davis, Katherine R. Davis, Robin Berthier, Rakesh B. Bobba, William H. Sanders
2013	Misc	`conf`	An Actor-centric, Asset-Based Monitor Deployment Model for Cloud Computing. UCC Uttam Thakore, Gabriel A. Weaver, William H. Sanders
2013	A	`conf`	Content-Based Scheduling of Virtual Machines (VMs) in the Cloud. ICDCS Sobir Bazarbayev, Matti A. Hiltunen, Kaustubh R. Joshi, William H. Sanders, Richard D. Schlichting
2013	—	`conf`	Formal design of communication checkers for ICCP using UPPAAL. SmartGridComm Muhammad Salman Malik, Robin Berthier, Rakesh B. Bobba, Roy H. Campbell, William H. Sanders
2013	C	`conf`	Go with the flow: toward workflow-oriented security assessment. NSPW Binbin Chen, Zbigniew Kalbarczyk, David M. Nicol, William H. Sanders, Rui Tan, William G. Temple, Nils Ole Tippenhauer, An Hoa Vu, David K. Y. Yau
2013	A	`conf`	Implementing the ADVISE security modeling formalism in Möbius. DSN Michael D. Ford, Ken Keefe, Elizabeth LeMay, William H. Sanders, Carol Muehrcke
2013	—	`conf`	Malicious data detection in state estimation leveraging system losses & estimation of perturbed parameters. SmartGridComm William Niemira, Rakesh B. Bobba, Peter W. Sauer, William H. Sanders
2013	—	`conf`	Möbius Shell: A Command-Line Interface for Möbius. QEST Ken Keefe, William H. Sanders
2013	—	`conf`	PSCloud: a durable context-aware personal storage cloud. HotDep Sobir Bazarbayev, Matti A. Hiltunen, Kaustubh R. Joshi, William H. Sanders, Richard D. Schlichting
2013	—	`conf`	Reconciling security protection and monitoring requirements in Advanced Metering Infrastructures. SmartGridComm Robin Berthier, Jorjeta G. Jetcheva, Daisuke Mashima, Jun Ho Huh, David Grochocki, Rakesh B. Bobba, Alvaro A. Cárdenas, William H. Sanders
2013	J	`jnl`	Secloud: A cloud-based comprehensive and lightweight security solution for smartphones. Comput. Secur. Saman A. Zonouz, Amir Houmansadr, Robin Berthier, Nikita Borisov, William H. Sanders
2013	—	`conf`	Smart grid protocol testing through cyber-physical testbeds. ISGT Timothy M. Yardley, Robin Berthier, David M. Nicol, William H. Sanders
2013	—	`conf`	Toward a cyber-physical topology language: applications to NERC CIP audit. SEGS@CCS Gabriel A. Weaver, Carmen Cheh, Edmond Rogers, William H. Sanders, Dennis Gammel
2012	Misc	`conf`	A Mirrored Data Structures Approach to Diverse Partial Memory Replication. EDCC Ryan M. Lefever, Vikram S. Adve, William H. Sanders
2012	A	`conf`	A framework for efficient evaluation of the fault tolerance of deduplicated storage systems. DSN Eric Rozier, William H. Sanders
2012	—	`conf`	AMI threats, intrusion detection requirements and deployment recommendations. SmartGridComm David Grochocki, Jun Ho Huh, Robin Berthier, Rakesh Bobba, William H. Sanders, Alvaro A. Cárdenas, Jorjeta G. Jetcheva
2012	B	`conf`	Assuring the trustworthiness of the smarter electric grid. NCA William H. Sanders
2012	B	`conf`	Assuring the trustworthiness of the smarter electric grid. ICPE William H. Sanders
2012	—	`conf`	Building resilient infrastructures for smart energy systems (abstract). ISGT William H. Sanders
2012	—	`conf`	Cost modeling of response actions for automated response and recovery in AMI. SmartGridComm Ahmed M. Fawaz, Robin Berthier, William H. Sanders
2012	—	`conf`	Learning from Early Attempts to Measure Information Security Performance. CSET Jing Zhang, Robin Berthier, Will Rhee, Michael D. Bailey, Partha P. Pal, Farnam Jahanian, William H. Sanders
2012	J	`jnl`	SCPSE: Security-Oriented Cyber-Physical State Estimation for Power Grid Critical Infrastructures. IEEE Trans. Smart Grid Saman A. Zonouz, Katherine M. Rogers, Robin Berthier, Rakeshbabu Bobba, William H. Sanders, Thomas J. Overbye
2012	A	`conf`	Safeguarding academic accounts and resources with the University Credential Abuse Auditing System. DSN Jing Zhang, Robin Berthier, Will Rhee, Michael D. Bailey, Partha P. Pal, Farnam Jahanian, William H. Sanders
2012	—	`conf`	State-Based Analysis in ADVISE. QEST Michael D. Ford, Peter Buchholz, William H. Sanders
2012	—	`conf`	TCIPG: Trustworthy cyber infrastructure for the power grid overview. ISGT William H. Sanders
2011	B	`conf`	FloGuard: Cost-Aware Systemwide Intrusion Defense via Online Forensics and On-Demand IDS Deployment. SAFECOMP Saman A. Zonouz, Kaustubh R. Joshi, William H. Sanders
2011	—	`conf`	Managing business health in the presence of malicious attacks. DSN Workshops Saman A. Zonouz, Aashish Sharma, Harigovind V. Ramasamy, Zbigniew T. Kalbarczyk, Birgit Pfitzmann, Kevin P. Mcauliffe, Ravishankar K. Iyer, William H. Sanders, Eric Cope
2011	—	`conf`	Model-based Security Metrics Using ADversary VIew Security Evaluation (ADVISE). QEST Elizabeth LeMay, Michael D. Ford, Ken Keefe, William H. Sanders, Carol Muehrcke
2011	B	`conf`	Modeling the Fault Tolerance Consequences of Deduplication. SRDS Eric Rozier, William H. Sanders, Pin Zhou, NagaPramod Mandagere, Sandeep Uttamchandani, Mark L. Yakushev
2011	J	`jnl`	Probabilistic Model-Driven Recovery in Distributed Systems. IEEE Trans. Dependable Secur. Comput. Kaustubh R. Joshi, Matti A. Hiltunen, William H. Sanders, Richard D. Schlichting
2011	C	`conf`	Specification-Based Intrusion Detection for Advanced Metering Infrastructures. PRDC Robin Berthier, William H. Sanders
2011	—	`conf`	The Multiple-Asymmetric-Utility System Model: A Framework for Modeling Cyber-Human Systems. QEST Douglas Eskins, William H. Sanders
2011	J	`jnl`	Using CPU gradients for performance-aware energy conservation in multitier systems. Sustain. Comput. Informatics Syst. Shuyi Chen, Kaustubh R. Joshi, Matti A. Hiltunen, Richard D. Schlichting, William H. Sanders
2011	J	`jnl`	Using link gradients to predict the impact of network latency on multitier applications. IEEE/ACM Trans. Netw. Shuyi Chen, Kaustubh R. Joshi, Matti A. Hiltunen, Richard D. Schlichting, William H. Sanders
2010	J	`jnl`	Blackbox prediction of the impact of DVFS on end-to-end performance of multitier systems. SIGMETRICS Perform. Evaluation Rev. Shuyi Chen, Kaustubh R. Joshi, Matti A. Hiltunen, Richard D. Schlichting, William H. Sanders
2010	—	`conf`	CPU gradients: Performance-aware energy conservation in multitier systems. Green Computing Conference Shuyi Chen, Kaustubh R. Joshi, Matti A. Hiltunen, Richard D. Schlichting, William H. Sanders
2010	—	`conf`	Cost-aware systemwide intrusion defense via online forensics and on-demand detector deployment. SafeConfig Saman A. Zonouz, Kaustubh R. Joshi, William H. Sanders
2010	J	`jnl`	Designing Dependable Storage Solutions for Shared Application Environments. IEEE Trans. Dependable Secur. Comput. Shravan Gaonkar, Kimberly Keeton, Arif Merchant, William H. Sanders
2010	A	`conf`	Diverse Partial Memory Replication. DSN Ryan M. Lefever, Vikram S. Adve, William H. Sanders
2010	A	`conf`	Diversity-inspired clustering for self-healing MANETs: Motivation, protocol, and performability evaluation. DSN Ann T. Tai, Kam S. Tso, William H. Sanders
2010	—	`conf`	Experiences Validating the Access Policy Tool in Industrial Settings. HICSS David M. Nicol, William H. Sanders, Mouna Seri, Sankalp Singh
2010	—	`conf`	Quantitative Evaluation of Security Metrics. QEST William H. Sanders
2009	Misc	`conf`	G-SSASC: Simultaneous Simulation of System Models with bounded Hazard Rates. WSC Shravan Gaonkar, William H. Sanders
2009	A*	`conf`	Link Gradients: Predicting the Impact of Network Latency on Multitier Applications. INFOCOM Shuyi Chen, Kaustubh R. Joshi, Matti A. Hiltunen, William H. Sanders, Richard D. Schlichting
2009	A	`conf`	Möbius 2.3: An extensible tool for dependability, security, and performance evaluation of large and complex system models. DSN Tod Courtney, Shravan Gaonkar, Ken Keefe, Eric Rozier, William H. Sanders
2009	J	`jnl`	Performance and dependability modeling with Möbius. SIGMETRICS Perform. Evaluation Rev. Shravan Gaonkar, Ken Keefe, Ruth Lamprecht, Eric Rozier, Peter Kemper, William H. Sanders
2009	A	`conf`	RRE: A game-theoretic intrusion Response and Recovery Engine. DSN Saman A. Zonouz, Himanshu Khurana, William H. Sanders, Timothy M. Yardley
2009	—	`conf`	Remote Job Management in the Mobius Modeling Framework. QEST Ken Keefe, Quincy Mitchell, Eric Rozier, William H. Sanders
2008	—	`conf`	A Kalman-Based Coordination for Hierarchical State Estimation: Agorithm and Analysis. HICSS Saman A. Zonouz, William H. Sanders
2008	A	`conf`	A recurrence-relation-based reward model for performability evaluation of embedded systems. DSN Ann T. Tai, Kam S. Tso, William H. Sanders
2008	J	`jnl`	Experiences with building an intrusion-tolerant group communication system. Softw. Pract. Exp. Harigovind V. Ramasamy, Prashant Pandey, Michel Cukier, William H. Sanders
2008	—	`conf`	Modeling Peer-to-Peer Botnets. QEST Elizabeth Van Ruitenbeek, William H. Sanders
2008	A	`conf`	Scaling file systems to support petascale clusters: A dependability analysis to support informed design choices. DSN Shravan Gaonkar, Eric Rozier, Anthony Tong, William H. Sanders
2008	J	`jnl`	Usable Global Network Access Policy for Process Control Systems. IEEE Secur. Priv. David M. Nicol, William H. Sanders, Sankalp Singh, Mouna Seri
2007	J	`jnl`	A Parsimonious Approach for Obtaining Resource-Efficient and Trustworthy Execution. IEEE Trans. Dependable Secur. Comput. Harigovind V. Ramasamy, Adnan Agbaria, William H. Sanders
2007	—	`conf`	Dependability Analysis with Markov Chains: How Symmetries Improve Symbolic Computations. QEST Michael G. McQuinn, Peter Kemper, William H. Sanders
2007	—	`conf`	Design of Experiments within the Mobius Modeling Environment. QEST Tod Courtney, Shravan Gaonkar, Michael G. McQuinn, Eric Rozier, William H. Sanders, Patrick G. Webster
2007	J	`jnl`	Detecting and Exploiting Symmetry in Discrete-State Markov Models. IEEE Trans. Reliab. W. Douglas Obal II, Michael G. McQuinn, William H. Sanders
2007	—	`conf`	Modeling and analysis of worm defense using stochastic activity networks. SpringSim (3) David M. Nicol, Steve Hanna, Frank Stratton, William H. Sanders
2007	J	`jnl`	Möbius: an integrated discrete-event modeling environment. Bioinform. Jean Peccoud, Tod Courtney, William H. Sanders
2007	A	`conf`	Quantifying the Effectiveness of Mobile Phone Virus Response Mechanisms. DSN Elizabeth Van Ruitenbeek, Tod Courtney, William H. Sanders, Fabrice Stevens
2007	—	`conf`	Securing Current and Future Process Control Systems. Critical Infrastructure Protection Robert K. Cunningham, Steven Cheung, Martin W. Fong, Ulf Lindqvist, David M. Nicol, Ronald Pawlowski, Eric Robinson, William H. Sanders, Sankalp Singh, Alfonso Valdes, Bradley Woodworth, Michael Zhivich
2007	A*	`conf`	The coBFIT toolkit. PODC Harigovind V. Ramasamy, Mouna Seri, William H. Sanders
2006	A	`conf`	A Component-Level Path Composition Approach for Efficient Transient Analysis of Large CTMCs. DSN Vinh Vi Lam, William H. Sanders, Peter Buchholz
2006	J	`jnl`	An architecture for adaptive intrusion-tolerant applications. Softw. Pract. Exp. Partha P. Pal, Paul Rubel, Michael Atighetchi, Franklin Webber, William H. Sanders, Mouna Seri, Harigovind V. Ramasamy, James Lyons, Tod Courtney, Adnan Agbaria, Michel Cukier, Jeanna M. Gossett, Idit Keidar
2006	A	`conf`	Automatic Recovery Using Bounded Partially Observable Markov Decision Processes. DSN Kaustubh R. Joshi, William H. Sanders, Matti A. Hiltunen, Richard D. Schlichting
2006	A	`conf`	Barbarians in the Gate: An Experimental Validation of NIC-based Distributed Firewall Performance and Flood Tolerance. DSN Michael Ihde, William H. Sanders
2006	—	`conf`	Bound-Preserving Composition for Markov Reward Models. QEST David Daly, Peter Buchholz, William H. Sanders
2006	—	`conf`	Data Analysis and Visualization within the Möbius Modeling Environment. QEST Tod Courtney, Shravan Gaonkar, Mark Griffith, Vinh Vi Lam, Michael G. McQuinn, Eric Rozier, William H. Sanders
2006	A	`conf`	Designing dependable storage solutions for shared application environments. DSN Shravan Gaonkar, Kimberly Keeton, Arif Merchant, William H. Sanders
2006	C	`conf`	Detecting and Exploiting Symmetry in Discrete-state Markov Models. PRDC W. Douglas Obal II, Michael G. McQuinn, William H. Sanders
2006	J	`jnl`	Dynamic partitioning for hybrid simulation of the bistable HIV-1 transactivation network. Bioinform. Mark Griffith, Tod Courtney, Jean Peccoud, William H. Sanders
2006	J	`jnl`	Modelling techniques and tools for computer performance evaluation. Perform. Evaluation Peter Kemper, William H. Sanders
2006	B	`conf`	Proactive Resilience Revisited: The Delicate Balance Between Resisting Intrusions and Remaining Available. SRDS Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo, William H. Sanders
2005	A	`conf`	A Compiler-Enabled Model- and Measurement-Driven Adaptation Environment for Dependability and Performance. IPDPS Vikram S. Adve, Adnan Agbaria, Matti A. Hiltunen, Ravishankar K. Iyer, Kaustubh R. Joshi, Zbigniew Kalbarczyk, Ryan M. Lefever, Raymond Plante, William H. Sanders, Richard D. Schlichting
2005	A	`conf`	A Performability-Oriented Software Rejuvenation Framework for Distributed Applications. DSN Ann T. Tai, Kam S. Tso, William H. Sanders, Savio N. Chau
2005	Misc	`conf`	A component-level path-based simulation approach for efficient analysis of large Markov models. WSC Vinh Vi Lam, Peter Buchholz, William H. Sanders
2005	A	`conf`	Application-Driven Coordination-Free Distributed Checkpointing. ICDCS Adnan Agbaria, William H. Sanders
2005	B	`conf`	Automatic Model-Driven Recovery in Distributed Systems. SRDS Kaustubh R. Joshi, William H. Sanders, Matti A. Hiltunen, Richard D. Schlichting
2005	—	`conf`	Evaluating the Dependability of a LEO Satellite Network for Scientific Applications. QEST Eleftheria Athanasopoulou, Purvesh Thakker, William H. Sanders
2005	A	`conf`	Lumping Matrix Diagram Representations of Markov Models. DSN Salem Derisavi, Peter Kemper, William H. Sanders
2005	—	`conf`	Parsimony-Based Approach for Obtaining Resource-Efficient and Trustworthy Execution. LADC Harigovind V. Ramasamy, Adnan Agbaria, William H. Sanders
2005	—	`conf`	Probabilistic Validation of Computer System Survivability. LADC William H. Sanders
2005	C	`conf`	Simultaneous Simulation of Alternative System Configurations. PRDC Shravan Gaonkar, William H. Sanders
2005	—	`conf`	The Mobius Modeling Environment: Recent Extensions - 2005. QEST Tod Courtney, Salem Derisavi, Shravan Gaonkar, Mark Griffith, Vinh Vi Lam, Michael G. McQuinn, Eric Rozier, William H. Sanders
2005	J	`jnl`	Validation of a survivable Publish-Subscribe System. Int. J. Comput. Sankalp Singh, Adnan Agbaria, Fabrice Stevens, Tod Courtney, John F. Meyer, William H. Sanders, Partha P. Pal
2004	J	`jnl`	A Global-State-Triggered Fault Injector for Distributed System Evaluation. IEEE Trans. Parallel Distributed Syst. Ramesh Chandra, Ryan M. Lefever, Kaustubh R. Joshi, Michel Cukier, William H. Sanders
2004	—	`conf`	A Structured Path-Based Approach for Computing Transient Rewards of Large CTMCs. QEST Vinh Vi Lam, Peter Buchholz, William H. Sanders
2004	—	`conf`	Approximate Computation of Transient Results for Large Markov Chains. QEST Peter Buchholz, William H. Sanders
2004	A	`conf`	Cluster-Based Failure Detection Service for Large-Scale Ad Hoc Wireless Network Applications. DSN Ann T. Tai, Kam S. Tso, William H. Sanders
2004	—	`conf`	CoBFIT: A Component-Based Framework for Intrusion Tolerance. EUROMICRO Harigovind V. Ramasamy, Adnan Agbaria, William H. Sanders
2004	A*	`conf`	Distributed Snapshots for Mobile Computing Systems. PerCom Adnan Agbaria, William H. Sanders
2004	C	`conf`	Ferret: A Host Vulnerability Checking Tool. PRDC Anil Sharma, Jason R. Martin, Nitin Anand, Michel Cukier, William H. Sanders
2004	J	`jnl`	Model-Based Evaluation: From Dependability to Security. IEEE Trans. Dependable Secur. Comput. David M. Nicol, William H. Sanders, Kishor S. Trivedi
2004	B	`conf`	Model-Based Validation of an Intrusion-Tolerant Information System. SRDS Fabrice Stevens, Tod Courtney, Sankalp Singh, Adnan Agbaria, John F. Meyer, William H. Sanders, Partha P. Pal
2004	—	`conf`	Online model-based adaptation for optimizing performance and dependability. WOSS Kaustubh R. Joshi, Matti A. Hiltunen, Richard D. Schlichting, William H. Sanders, Adnan Agbaria
2004	J	`jnl`	Performability analysis of guarded-operation duration: a translation approach for reward model solutions. Perform. Evaluation Ann T. Tai, William H. Sanders, Leon Alkalai, Savio N. Chau, Kam S. Tso
2004	—	`conf`	Stochastic Methods for Dependability, Performability, and Security Evaluation. ICATPN William H. Sanders
2004	—	`conf`	The Möbius Modeling Environment: Recent Developments. QEST Tod Courtney, David Daly, Salem Derisavi, Shravan Gaonkar, Mark Griffith, Vinh Vi Lam, William H. Sanders
2004	—	`conf`	The evolution of dependable computing at the University of Illinois. IFIP Congress Topical Sessions Ravishankar K. Iyer, William H. Sanders, Janak H. Patel, Zbigniew Kalbarczyk
2003	J	`jnl`	AQuA: An Adaptive Architecture that Provides Dependable Distributed Objects. IEEE Trans. Computers Jennifer Ren, David E. Bakken, Tod Courtney, Michel Cukier, David A. Karr, Paul Rubel, Chetan Sabnis, William H. Sanders, Richard E. Schantz, Mouna Seri
2003	J	`jnl`	An Adaptive Quality of Service Aware Middleware for Replicated Services. IEEE Trans. Parallel Distributed Syst. Sudha Krishnamurthy, William H. Sanders, Michel Cukier
2003	B	`conf`	An Experimental Evaluation of Correlated Network Partitions in the Coda Distributed File System. SRDS Ryan M. Lefever, Michel Cukier, William H. Sanders
2003	—	`ed.`	Computer Performance Evaluations, Modelling Techniques and Tools. 13th International Conference, TOOLS 2003, Urbana, IL, USA, September 2-5, 2003, Proceedings Computer Performance Evaluation / TOOLS Peter Kemper, William H. Sanders
2003	—	`conf`	Dependability and Performance Evaluation of Intrusion-Tolerant Server Architectures. LADC Vishu Gupta, Vinh Vi Lam, Harigovind V. Ramasamy, William H. Sanders, Sankalp Singh
2003	A	`conf`	On Integrating the MÖBIUS and MODEST Modeling Tools. DSN Henrik C. Bohnenkamp, Tod Courtney, David Daly, Salem Derisavi, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren, Vinh Vi Lam, William H. Sanders
2003	A	`conf`	Opportunity-Adaptive QoS Enhancement in Satellite Constellations: A Case Study. DSN Ann T. Tai, Kam S. Tso, Leon Alkalai, Savio N. Chau, William H. Sanders
2003	J	`jnl`	Optimal state-space lumping in Markov chains. Inf. Process. Lett. Salem Derisavi, Holger Hermanns, William H. Sanders
2003	A	`conf`	Probabilistic Validation of an Intrusion-Tolerant Replication System. DSN Sankalp Singh, Michel Cukier, William H. Sanders
2003	A*	`ed.`	Proceedings of the International Conference on Measurements and Modeling of Computer Systems, SIGMETRICS 2003, June 9-14, 2003, San Diego, CA, USA SIGMETRICS Bill Cheng, Satish K. Tripathi, Jennifer Rexford, William H. Sanders
2003	B	`conf`	Protecting Distributed Software Upgrades that Involve Message-Passing Interface Changes. COMPSAC Ann T. Tai, Kam S. Tso, William H. Sanders
2003	J	`jnl`	The Möbius state-level abstract functional interface. Perform. Evaluation Salem Derisavi, Peter Kemper, William H. Sanders, Tod Courtney
2002	A	`conf`	An Adaptive Framework for Tunable Consistency and Timeliness Using Replication. DSN Sudha Krishnamurthy, William H. Sanders, Michel Cukier
2002	Misc	`conf`	Experimental Evaluation of the Unavailability Induced by a Group Membership Protocol. EDCC Kaustubh R. Joshi, Michel Cukier, William H. Sanders
2002	C	`conf`	Formal Specification and Verification of a Group Membership Protocol for an Intrusion-Tolerant Group Communication System. PRDC Harigovind V. Ramasamy, Michel Cukier, William H. Sanders
2002	J	`jnl`	Low-Cost Error Containment and Recovery for Onboard Guarded Software Upgrading and Beyond. IEEE Trans. Computers Ann T. Tai, Kam S. Tso, Leon Alkalai, Savio N. Chau, William H. Sanders
2002	—	`conf`	Modeling of Service-Level Agreements for Composed Services. DSOM David Daly, Gautam Kar, William H. Sanders
2002	A	`conf`	Overview: An Integrated Framework for Performance Engineering and Resource-Aware Compilation. IPDPS William H. Sanders, Constantine D. Polychronopoulos, Thomas S. Huang, Tod Courtney, David Daly, Daniel D. Deavours, Salem Derisavi
2002	C	`conf`	Passive Replication Schemes in Aqua. PRDC Jennifer Ren, Paul Rubel, Mouna Seri, Michel Cukier, William H. Sanders, Tod Courtney
2002	A	`conf`	Performability Analysis of Guarded-Operation Duration: A Successive Model-Translation Approach. DSN Ann T. Tai, William H. Sanders, Leon Alkalai, Savio N. Chau, Kam S. Tso
2002	—	`conf`	Performance Evaluation of a Probabilistic Replica Selection Algorithm. WORDS Sudha Krishnamurthy, William H. Sanders, Michel Cukier
2002	A	`conf`	Quantifying the Cost of Providing Intrusion Tolerance in Group Communication Systems. DSN Harigovind V. Ramasamy, Prashant Pandey, James Lyons, Michel Cukier, William H. Sanders
2002	J	`jnl`	The Möbius Framework and Its Implementation. IEEE Trans. Software Eng. Daniel D. Deavours, Graham Clark, Tod Courtney, David Daly, Salem Derisavi, Jay M. Doyle, William H. Sanders, Patrick G. Webster
2002	—	`conf`	The Möbius State-Level Abstract Functional Interface. Computer Performance Evaluation / TOOLS Salem Derisavi, Peter Kemper, William H. Sanders, Tod Courtney
2001	—	`conf`	A Connection Formalism for the Solution of Large and Stiff Models. Annual Simulation Symposium David Daly, William H. Sanders
2001	A	`conf`	A Dynamic Replica Selection Algorithm for Tolerating Timing Faults. DSN Sudha Krishnamurthy, William H. Sanders, Michel Cukier
2001	J	`jnl`	An Adaptive Algorithm for Tolerating Value Faults and Crash Failures. IEEE Trans. Parallel Distributed Syst. Jennifer Ren, Michel Cukier, William H. Sanders
2001	A	`conf`	Business Meeting: IEEE Technical Committee on Fault Tolerance. DSN William H. Sanders
2001	—	`conf`	Implementing a Stochastic Process Algebra within the Möbius Modeling Framework. PAPM-PROBMIV Graham Clark, William H. Sanders
2001	A	`conf`	Low-Cost Flexible Software Fault Tolerance for Distributed Computing. ISSRE Ann T. Tai, Kam S. Tso, William H. Sanders, Leon Alkalai, Savio N. Chau
2001	J	`jnl`	Measure-adaptive state-space construction. Perform. Evaluation W. Douglas Obal II, William H. Sanders
2001	—	`conf`	Möbius: Framework and Atomic Models. PNPM Daniel D. Deavours, William H. Sanders
2001	J	`jnl`	On the effectiveness of a message-driven confidence-driven protocol for guarded software upgrading. Perform. Evaluation Ann T. Tai, Kam S. Tso, Leon Alkalai, Savio N. Chau, William H. Sanders
2001	A	`conf`	Synergistic Coordination between Software and Hardware Fault Tolerance Techniques. DSN Ann T. Tai, Kam S. Tso, Leon Alkalai, Savio N. Chau, William H. Sanders
2001	—	`conf`	The Möbius Execution Policy. PNPM Daniel D. Deavours, William H. Sanders
2001	—	`conf`	The Möbius Modeling Tool. PNPM Graham Clark, Tod Courtney, David Daly, Daniel D. Deavours, Salem Derisavi, Jay M. Doyle, William H. Sanders, Patrick G. Webster
2000	B	`conf`	Dynamic Node Management and Measure Estimation in a State-Driven Fault Injector. SRDS Ramesh Chandra, Michel Cukier, Ryan M. Lefever, William H. Sanders
2000	—	`conf`	GSU middleware architecture design. HASE Kam S. Tso, Ann T. Tai, Leon Alkalai, Savio N. Chau, William H. Sanders
2000	A	`conf`	Loki: A State-Driven Fault Injector for Distributed Systems. DSN Ramesh Chandra, Ryan M. Lefever, Michel Cukier, William H. Sanders
2000	—	`conf`	Möbius: An Extensible Tool for Performance and Dependability Modeling. Computer Performance Evaluation / TOOLS David Daly, Daniel D. Deavours, Jay M. Doyle, Patrick G. Webster, William H. Sanders
2000	A	`conf`	On Low-Cost Error Containment and Recovery Methods for Guarded Software Upgrading. ICDCS Ann T. Tai, Kam S. Tso, Leon Alkalai, Savio N. Chau, William H. Sanders
2000	—	`conf`	Stochastic Activity Networks: Formal Definitions and Concepts. European Educational Forum: School on Formal Methods and Performance Analysis William H. Sanders, John F. Meyer
1999	—	`conf`	An efficient well-specified check. PNPM Daniel D. Deavours, William H. Sanders
1999	—	`conf`	Building Dependable Distributed Applications Using AQUA. HASE Jennifer Ren, Michel Cukier, Paul Rubel, William H. Sanders, David E. Bakken, David A. Karr
1999	B	`conf`	Fault Injection based on a Partial View of the Global State of a Distributed System. SRDS Michel Cukier, Ramesh Chandra, David Henke, Jessica Pistole, William H. Sanders
1999	J	`jnl`	Guest Editorial: Introduction to the Special Section - Dependable Computing for Critical Applications (DCCA-6). IEEE Trans. Software Eng. Catherine Meadows, William H. Sanders
1999	—	`conf`	Integrated frameworks for multi-level and multi-formalism modeling. PNPM William H. Sanders
1999	J	`jnl`	State-Space Support for Path-Based Reward Variables. Perform. Evaluation W. Douglas Obal II, William H. Sanders
1998	J	`jnl`	"On-the-Fly'' Solution Techniques for Stochastic Petri Nets and Extensions. IEEE Trans. Software Eng. Daniel D. Deavours, William H. Sanders
1998	B	`conf`	AQuA: An Adaptive Architecture that Provides Dependable Distributed Objects. SRDS Michel Cukier, Jennifer Ren, Chetan Sabnis, David Henke, Jessica Pistole, William H. Sanders, David E. Bakken, Mark E. Berman, David A. Karr, Richard E. Schantz
1998	J	`jnl`	An Efficient Disk-Based Tool for Solving Large Markov Models. Perform. Evaluation Daniel D. Deavours, William H. Sanders
1998	J	`jnl`	Performance Analysis of the Knockout Switch Under Bursty Traffic Based on a Stochastic Activity Network Model. Simul. Latha A. Kant, William H. Sanders
1997	—	`conf`	"On-the-fly" solution techniques for stochastic Petri nets and extensions. PNPM Daniel D. Deavours, William H. Sanders
1997	—	`conf`	An Efficient Disk-Based Tool for Solving Very Large Markov Models. Computer Performance Evaluation Daniel D. Deavours, William H. Sanders
1997	B	`conf`	Probabilistic Verification of a Synchronous Round-Based Consensus Protocol. SRDS Harpreet S. Duggal, Michel Cukier, William H. Sanders
1996	—	`conf`	A New Methodology for Calculating Distributions of Reward Accumulated During a Finite Interval. FTCS Muhammad A. Qureshi, William H. Sanders
1996	J	`jnl`	Algorithms for the Generation of State-Level Representations of Stochastic Activity Networks with General Reward Structures. IEEE Trans. Software Eng. Muhammad A. Qureshi, William H. Sanders, Aad P. A. van Moorsel, Reinhard German
1996	J	`jnl`	An Efficient Two-Stage Iterative Method for the Steady-State Analysis of Markov Regenerative Stochastic Petri Net Models. Perform. Evaluation Luai M. Malhis, William H. Sanders
1996	—	`conf`	Computation of the Asymptotic Bias and Variance for Simulation of Markov Reward Models. Annual Simulation Symposium Aad P. A. van Moorsel, Latha A. Kant, William H. Sanders
1996	—	`conf`	Expected Impulsive Rewards in Markov Regenerative Stochastic Petri Nets. Application and Theory of Petri Nets Reinhard German, Aad P. A. van Moorsel, Muhammad A. Qureshi, William H. Sanders
1996	J	`jnl`	Numerical performability evaluation of a group multicast protocol. Distributed Syst. Eng. Luai M. Malhis, William H. Sanders, Richard D. Schlichting
1996	Misc	`conf`	Using ZPL to Develop a Parallel Chaos Router Simulator. WSC Wilkey Richardson, Mary L. Bailey, William H. Sanders
1995	—	`conf`	Algorithms for the generation of state-level representations of stochastic activity networks with general reward structures. PNPM Muhammad A. Qureshi, William H. Sanders, Aad P. A. van Moorsel, Reinhard German
1995	B	`conf`	Loss process analysis of the knockout switch using stochastic activity networks. ICCCN Latha A. Kant, William H. Sanders
1995	—	`conf`	Numerical evaluation of a group-oriented multicast protocol using stochastic activity networks. PNPM Luai M. Malhis, William H. Sanders, Richard D. Schlichting
1995	B	`conf`	The Effect of Workload on the Performance and Availability of Voting Algorithms. MASCOTS Muhammad A. Qureshi, William H. Sanders
1995	J	`jnl`	The UltraSAN Modeling Environment. Perform. Evaluation William H. Sanders, W. Douglas Obal II, Muhammad A. Qureshi, F. K. Widjanarko
1995	—	`conf`	UltraSAN version 3 overview. PNPM Daniel D. Deavours, W. Douglas Obal II, Muhammad A. Qureshi, William H. Sanders, Aad P. A. van Moorsel
1994	B	`conf`	An Environment for Importance Sampling Based on Stochastic Activity Networks. SRDS W. Douglas Obal II, William H. Sanders
1994	J	`jnl`	Importance Sampling Simulation in UltraSAN. Simul. W. Douglas Obal II, William H. Sanders
1994	J	`jnl`	Reward Model Solution Methods with Impulse and Rate Rewards: An Algorithm and Numerical Results. Perform. Evaluation Muhammad A. Qureshi, William H. Sanders
1993	J	`jnl`	A modular method for evaluating the performance of picture archiving and communication systems. J. Digit. Imaging William H. Sanders, Latha A. Kant, Abhijit S. Kudrimoti
1993	—	`conf`	Dependability Evaluation Using U FTCS William H. Sanders, W. Douglas Obal II
1993	J	`jnl`	Efficient simulation of hierarchical stochastic activity network models. Discret. Event Dyn. Syst. William H. Sanders, Roberto S. Freire
1993	J	`jnl`	Frameworks for evaluating discrete event dynamic systems. Discret. Event Dyn. Syst. Bernard P. Zeigler, William H. Sanders
1993	J	`jnl`	Performance evaluation of a picture archiving and communication network using stochastic activity networks. IEEE Trans. Medical Imaging William H. Sanders, Ralph Martinez, Yasser H. Alsafadi, Jiseung Nam
1992	B	`conf`	A modular method for evaluating the performance of picture archiving and communication systems. CBMS Abhijit S. Kudrimoti, William H. Sanders
1992	J	`jnl`	Dependability Evaluation Using Composed SAN-Based Reward Models. J. Parallel Distributed Comput. William H. Sanders, Luai M. Malhis
1992	Misc	`conf`	Recently asked questions (RAQS). SIGUCCS William H. Sanders
1991	B	`conf`	Performability Evaluation of CASMA/CD and CASMA/DCR Protocols under Transient Fault Conditions. SRDS Kevin H. Prodromides, William H. Sanders
1991	—	`conf`	Performability Modeling with PNPM Joseph A. Couvillion, Roberto S. Freire, Ron Johnson, W. Douglas Obal II, Muhammad A. Qureshi, Manish Rai, William H. Sanders, Janet E. Tvedt
1991	J	`jnl`	Performability Modeling with UltraSAN. IEEE Softw. Joseph A. Couvillion, Roberto S. Freire, Ron Johnson, W. Douglas Obal II, Muhammad A. Qureshi, Manish Rai, William H. Sanders, Janet E. Tvedt
1991	J	`jnl`	Reduced Base Model Construction Methods for Stochastic Activity Networks. IEEE J. Sel. Areas Commun. William H. Sanders, John F. Meyer
1989	—	`conf`	Panel: Applications of Performance Petri Nets. PNPM Joanne Bechta Dugan, Dan C. Marinescu, Giovanni Chiola, Yoshio Sugasawa, William H. Sanders, Gianfranco Ciardo
1989	—	`conf`	Performability of a token bus network under transient fault conditions. FTCS John F. Meyer, K. H. Muralidhar, William H. Sanders
1989	—	`conf`	Reduced Base Model Construction Methods for Stochastic Activity Networks. PNPM William H. Sanders, John F. Meyer
1988	—	`—`	Construction and solution of performability models based on stochastic activity networks. William H. Sanders
1987	—	`conf`	Performability Evaluation of Distributed Systems Using Stochastic Activity Networks. PNPM William H. Sanders, John F. Meyer
1987	—	`conf`	Performance Variable Driven Construction Methods for Stochastic Activity Networks. Computer Performance and Reliability William H. Sanders, John F. Meyer
1986	—	`conf`	METASAN: A Performability Evaluation Tool Based on Stochastic Acitivity Networks. FJCC William H. Sanders, John F. Meyer
1985	—	`conf`	Stochastic Activity Networks: Structure, Behavior, and Application. PNPM John F. Meyer, Ali Movaghar, William H. Sanders