William H. Sanders

Saman A. Zonouz, Katherine M. Rogers, Robin Berthier, Rakeshbabu Bobba, William H. Sanders, Thomas J. Overbye: SCPSE: Security-Oriented Cyber-Physical State Estimation for Power Grid Critical Infrastructures. IEEE Trans. Smart Grid 3(4): 1790-1799 (2012)

Eric Rozier, William H. Sanders: A framework for efficient evaluation of the fault tolerance of deduplicated storage systems. DSN 2012: 1-12

Jing Zhang, Robin Berthier, Will Rhee, Michael Bailey, Partha Pratim Pal, Farnam Jahanian, William H. Sanders: Safeguarding academic accounts and resources with the University Credential Abuse Auditing System. DSN 2012: 1-8

Ryan M. Lefever, Vikram S. Adve, William H. Sanders: A Mirrored Data Structures Approach to Diverse Partial Memory Replication. EDCC 2012: 61-72

William H. Sanders: Assuring the trustworthiness of the smarter electric grid. NCA 2012

Michael D. Ford, Peter Buchholz, William H. Sanders: State-Based Analysis in ADVISE. QEST 2012: 148-157

William H. Sanders: Assuring the trustworthiness of the smarter electric grid. ICPE 2012: 19-20

Kaustubh R. Joshi, Matti A. Hiltunen, William H. Sanders, Richard D. Schlichting: Probabilistic Model-Driven Recovery in Distributed Systems. IEEE Trans. Dependable Sec. Comput. 8(6): 913-928 (2011)

Shuyi Chen, Kaustubh R. Joshi, Matti A. Hiltunen, Richard D. Schlichting, William H. Sanders: Using link gradients to predict the impact of network latency on multitier applications. IEEE/ACM Trans. Netw. 19(3): 855-868 (2011)

Robin Berthier, William H. Sanders: Specification-Based Intrusion Detection for Advanced Metering Infrastructures. PRDC 2011: 184-193

Elizabeth LeMay, Michael D. Ford, Ken Keefe, William H. Sanders, Carol Muehrcke: Model-based Security Metrics Using ADversary VIew Security Evaluation (ADVISE). QEST 2011: 191-200

Douglas Eskins, William H. Sanders: The Multiple-Asymmetric-Utility System Model: A Framework for Modeling Cyber-Human Systems. QEST 2011: 233-242

Saman A. Zonouz, Kaustubh R. Joshi, William H. Sanders: FloGuard: Cost-Aware Systemwide Intrusion Defense via Online Forensics and On-Demand IDS Deployment. SAFECOMP 2011: 338-354

Eric Rozier, William H. Sanders, Pin Zhou, NagaPramod Mandagere, Sandeep Uttamchandani, Mark L. Yakushev: Modeling the Fault Tolerance Consequences of Deduplication. SRDS 2011: 75-84

Shuyi Chen, Kaustubh R. Joshi, Matti A. Hiltunen, Richard D. Schlichting, William H. Sanders: Blackbox prediction of the impact of DVFS on end-to-end performance of multitier systems. SIGMETRICS Performance Evaluation Review 37(4): 59-63 (2010)

Shravan Gaonkar, Kimberly Keeton, Arif Merchant, William H. Sanders: Designing Dependable Storage Solutions for Shared Application Environments. IEEE Trans. Dependable Sec. Comput. 7(4): 366-380 (2010)

Ryan M. Lefever, Vikram S. Adve, William H. Sanders: Diverse Partial Memory Replication. DSN 2010: 71-80

Ann T. Tai, Kam S. Tso, William H. Sanders: Diversity-inspired clustering for self-healing MANETs: Motivation, protocol, and performability evaluation. DSN 2010: 547-556

Shuyi Chen, Kaustubh R. Joshi, Matti A. Hiltunen, Richard D. Schlichting, William H. Sanders: CPU gradients: Performance-aware energy conservation in multitier systems. Green Computing Conference 2010: 15-29

David M. Nicol, William H. Sanders, Mouna Seri, Sankalp Singh: Experiences Validating the Access Policy Tool in Industrial Settings. HICSS 2010: 1-8

William H. Sanders: Quantitative Evaluation of Security Metrics. QEST 2010: 306

Saman A. Zonouz, Kaustubh R. Joshi, William H. Sanders: Cost-aware systemwide intrusion defense via online forensics and on-demand detector deployment. SafeConfig 2010: 71-74

Shravan Gaonkar, Ken Keefe, Ruth Lamprecht, Eric Rozier, Peter Kemper, William H. Sanders: Performance and dependability modeling with Möbius. SIGMETRICS Performance Evaluation Review 36(4): 16-21 (2009)

Tod Courtney, Shravan Gaonkar, Ken Keefe, Eric Rozier, William H. Sanders: Möbius 2.3: An extensible tool for dependability, security, and performance evaluation of large and complex system models. DSN 2009: 353-358

Saman A. Zonouz, Himanshu Khurana, William H. Sanders, Timothy M. Yardley: RRE: A game-theoretic intrusion Response and Recovery Engine. DSN 2009: 439-448

Shuyi Chen, Kaustubh R. Joshi, Matti A. Hiltunen, William H. Sanders, Richard D. Schlichting: Link Gradients: Predicting the Impact of Network Latency on Multitier Applications. INFOCOM 2009: 2258-2266

Ken Keefe, Quincy Mitchell, Eric Rozier, William H. Sanders: Remote Job Management in the Mobius Modeling Framework. QEST 2009: 209-210

Shravan Gaonkar, William H. Sanders: G-SSASC: Simultaneous Simulation of System Models with bounded Hazard Rates. Winter Simulation Conference 2009: 663-673

David M. Nicol, William H. Sanders, Sankalp Singh, Mouna Seri: Usable Global Network Access Policy for Process Control Systems. IEEE Security & Privacy 6(6): 30-36 (2008)

HariGovind V. Ramasamy, Prashant Pandey, Michel Cukier, William H. Sanders: Experiences with building an intrusion-tolerant group communication system. Softw., Pract. Exper. 38(6): 639-666 (2008)

Shravan Gaonkar, Eric Rozier, Anthony Tong, William H. Sanders: Scaling file systems to support petascale clusters: A dependability analysis to support informed design choices. DSN 2008: 386-391

Ann T. Tai, Kam S. Tso, William H. Sanders: A recurrence-relation-based reward model for performability evaluation of embedded systems. DSN 2008: 532-541

Saman A. Zonouz, William H. Sanders: A Kalman-Based Coordination for Hierarchical State Estimation: Agorithm and Analysis. HICSS 2008: 187

Elizabeth Van Ruitenbeek, William H. Sanders: Modeling Peer-to-Peer Botnets. QEST 2008: 307-316

Jean Peccoud, Tod Courtney, William H. Sanders: Möbius: an integrated discrete-event modeling environment. Bioinformatics 23(24): 3412-3414 (2007)

HariGovind V. Ramasamy, Adnan Agbaria, William H. Sanders: A Parsimonious Approach for Obtaining Resource-Efficient and Trustworthy Execution. IEEE Trans. Dependable Sec. Comput. 4(1): 1-17 (2007)

W. Douglas Obal II, Michael G. McQuinn, William H. Sanders: Detecting and Exploiting Symmetry in Discrete-State Markov Models. IEEE Transactions on Reliability 56(4): 643-654 (2007)

Elizabeth Van Ruitenbeek, Tod Courtney, William H. Sanders, Fabrice Stevens: Quantifying the Effectiveness of Mobile Phone Virus Response Mechanisms. DSN 2007: 790-800

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: Securing Current and Future Process Control Systems. Critical Infrastructure Protection 2007: 99-115

HariGovind V. Ramasamy, Mouna Seri, William H. Sanders: The coBFIT toolkit. PODC 2007: 350-351

Michael G. McQuinn, Peter Kemper, William H. Sanders: Dependability Analysis with Markov Chains: How Symmetries Improve Symbolic Computations. QEST 2007: 151-160

Tod Courtney, Shravan Gaonkar, Michael G. McQuinn, Eric Rozier, William H. Sanders, Patrick G. Webster: Design of Experiments within the Mobius Modeling Environment. QEST 2007: 161-162

David M. Nicol, Steve Hanna, Frank Stratton, William H. Sanders: Modeling and analysis of worm defense using stochastic activity networks. SpringSim (3) 2007: 349-355

Mark Griffith, Tod Courtney, Jean Peccoud, William H. Sanders: Dynamic partitioning for hybrid simulation of the bistable HIV-1 transactivation network. Bioinformatics 22(22): 2782-2789 (2006)

Peter Kemper, William H. Sanders: Modelling techniques and tools for computer performance evaluation. Perform. Eval. 63(6): 521-523 (2006)

Partha Pratim 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: An architecture for adaptive intrusion-tolerant applications. Softw., Pract. Exper. 36(11-12): 1331-1354 (2006)

Michael Ihde, William H. Sanders: Barbarians in the Gate: An Experimental Validation of NIC-based Distributed Firewall Performance and Flood Tolerance. DSN 2006: 209-216

Shravan Gaonkar, Kimberly Keeton, Arif Merchant, William H. Sanders: Designing dependable storage solutions for shared application environments. DSN 2006: 371-382

Kaustubh R. Joshi, William H. Sanders, Matti A. Hiltunen, Richard D. Schlichting: Automatic Recovery Using Bounded Partially Observable Markov Decision Processes. DSN 2006: 445-456

Vinh Vi Lam, William H. Sanders, Peter Buchholz: A Component-Level Path Composition Approach for Efficient Transient Analysis of Large CTMCs. DSN 2006: 485-494

W. Douglas Obal II, Michael G. McQuinn, William H. Sanders: Detecting and Exploiting Symmetry in Discrete-state Markov Models. PRDC 2006: 26-38

Tod Courtney, Shravan Gaonkar, Mark Griffith, Vinh Vi Lam, Michael G. McQuinn, Eric Rozier, William H. Sanders: Data Analysis and Visualization within the Möbius Modeling Environment. QEST 2006: 137-138

David Daly, Peter Buchholz, William H. Sanders: Bound-Preserving Composition for Markov Reward Models. QEST 2006: 243-252

Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo, William H. Sanders: Proactive Resilience Revisited: The Delicate Balance Between Resisting Intrusions and Remaining Available. SRDS 2006: 71-82

Ann T. Tai, Kam S. Tso, William H. Sanders, Savio N. Chau: A Performability-Oriented Software Rejuvenation Framework for Distributed Applications. DSN 2005: 570-579

Salem Derisavi, Peter Kemper, William H. Sanders: Lumping Matrix Diagram Representations of Markov Models. DSN 2005: 742-751

Adnan Agbaria, William H. Sanders: Application-Driven Coordination-Free Distributed Checkpointing. ICDCS 2005: 177-186

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: A Compiler-Enabled Model- and Measurement-Driven Adaptation Environment for Dependability and Performance. IPDPS 2005

William H. Sanders: Probabilistic Validation of Computer System Survivability. LADC 2005: 1

HariGovind V. Ramasamy, Adnan Agbaria, William H. Sanders: Parsimony-Based Approach for Obtaining Resource-Efficient and Trustworthy Execution. LADC 2005: 206-225

Shravan Gaonkar, William H. Sanders: Simultaneous Simulation of Alternative System Configurations. PRDC 2005: 41-48

Eleftheria Athanasopoulou, Purvesh Thakker, William H. Sanders: Evaluating the Dependability of a LEO Satellite Network for Scientific Applications. QEST 2005: 95-104

Tod Courtney, Salem Derisavi, Shravan Gaonkar, Mark Griffith, Vinh Vi Lam, Michael G. McQuinn, Eric Rozier, William H. Sanders: The Mobius Modeling Environment: Recent Extensions - 2005. QEST 2005: 259-260

Kaustubh R. Joshi, William H. Sanders, Matti A. Hiltunen, Richard D. Schlichting: Automatic Model-Driven Recovery in Distributed Systems. SRDS 2005: 25-38

Vinh Vi Lam, Peter Buchholz, William H. Sanders: A component-level path-based simulation approach for efficient analysis of large Markov models. Winter Simulation Conference 2005: 584-590

Ann T. Tai, William H. Sanders, Leon Alkalai, Savio N. Chau, Kam S. Tso: Performability analysis of guarded-operation duration: a translation approach for reward model solutions. Perform. Eval. 56(1-4): 249-276 (2004)

David M. Nicol, William H. Sanders, Kishor S. Trivedi: Model-Based Evaluation: From Dependability to Security. IEEE Trans. Dependable Sec. Comput. 1(1): 48-65 (2004)

Ramesh Chandra, Ryan M. Lefever, Kaustubh R. Joshi, Michel Cukier, William H. Sanders: A Global-State-Triggered Fault Injector for Distributed System Evaluation. IEEE Trans. Parallel Distrib. Syst. 15(7): 593-605 (2004)

William H. Sanders: Stochastic Methods for Dependability, Performability, and Security Evaluation. ICATPN 2004: 97

Ann T. Tai, Kam S. Tso, William H. Sanders: Cluster-Based Failure Detection Service for Large-Scale Ad Hoc Wireless Network Applications. DSN 2004: 805-

HariGovind V. Ramasamy, Adnan Agbaria, William H. Sanders: CoBFIT: A Component-Based Framework for Intrusion Tolerance. EUROMICRO 2004: 591-600

Ravishankar K. Iyer, William H. Sanders, Janak H. Patel, Zbigniew Kalbarczyk: The evolution of dependable computing at the University of Illinois. IFIP Congress Topical Sessions 2004: 135-164

Adnan Agbaria, William H. Sanders: Distributed Snapshots for Mobile Computing Systems. PerCom 2004: 177-186

Anil Sharma, Jason R. Martin, Nitin Anand, Michel Cukier, William H. Sanders: Ferret: A Host Vulnerability Checking Tool. PRDC 2004: 389-394

Peter Buchholz, William H. Sanders: Approximate Computation of Transient Results for Large Markov Chains. QEST 2004: 126-135

Vinh Vi Lam, Peter Buchholz, William H. Sanders: A Structured Path-Based Approach for Computing Transient Rewards of Large CTMCs. QEST 2004: 136-145

Tod Courtney, David Daly, Salem Derisavi, Shravan Gaonkar, Mark Griffith, Vinh Vi Lam, William H. Sanders: The Möbius Modeling Environment: Recent Developments. QEST 2004: 328-329

Fabrice Stevens, Tod Courtney, Sankalp Singh, Adnan Agbaria, John F. Meyer, William H. Sanders, Partha Pratim Pal: Model-Based Validation of an Intrusion-Tolerant Information System. SRDS 2004: 184-194

Kaustubh R. Joshi, Matti A. Hiltunen, Richard D. Schlichting, William H. Sanders, Adnan Agbaria: Online model-based adaptation for optimizing performance and dependability. WOSS 2004: 85-89

Salem Derisavi, Holger Hermanns, William H. Sanders: Optimal state-space lumping in Markov chains. Inf. Process. Lett. 87(6): 309-315 (2003)

Salem Derisavi, Peter Kemper, William H. Sanders, Tod Courtney: The Möbius state-level abstract functional interface. Perform. Eval. 54(2): 105-128 (2003)

Jennifer Ren, David E. Bakken, Tod Courtney, Michel Cukier, David A. Karr, Paul Rubel, Chetan Sabnis, William H. Sanders, Richard E. Schantz, Mouna Seri: AQuA: An Adaptive Architecture that Provides Dependable Distributed Objects. IEEE Trans. Computers 52(1): 31-50 (2003)

Sudha Krishnamurthy, William H. Sanders, Michel Cukier: An Adaptive Quality of Service Aware Middleware for Replicated Services. IEEE Trans. Parallel Distrib. Syst. 14(11): 1112-1125 (2003)

Ann T. Tai, Kam S. Tso, William H. Sanders: Protecting Distributed Software Upgrades that Involve Message-Passing Interface Changes. COMPSAC 2003: 385-390

Sankalp Singh, Michel Cukier, William H. Sanders: Probabilistic Validation of an Intrusion-Tolerant Replication System. DSN 2003: 615-624

Ann T. Tai, Kam S. Tso, Leon Alkalai, Savio N. Chau, William H. Sanders: Opportunity-Adaptive QoS Enhancement in Satellite Constellations: A Case Study. DSN 2003: 655-664

Henrik C. Bohnenkamp, Tod Courtney, David Daly, Salem Derisavi, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren, Vinh Vi Lam, William H. Sanders: On Integrating the MÖBIUS and MODEST Modeling Tools. DSN 2003: 671

Vishu Gupta, Vinh Vi Lam, HariGovind V. Ramasamy, William H. Sanders, Sankalp Singh: Dependability and Performance Evaluation of Intrusion-Tolerant Server Architectures. LADC 2003: 81-101

Ryan M. Lefever, Michel Cukier, William H. Sanders: An Experimental Evaluation of Correlated Network Partitions in the Coda Distributed File System. SRDS 2003: 273-282

Peter Kemper, William H. Sanders (Eds.): Computer Performance Evaluations, Modelling Techniques and Tools. 13th International Conference, TOOLS 2003, Urbana, IL, USA, September 2-5, 2003, Proceedings. Lecture Notes in Computer Science 2794, Springer 2003, isbn 3-540-40814-2

Ann T. Tai, Kam S. Tso, Leon Alkalai, Savio N. Chau, William H. Sanders: Low-Cost Error Containment and Recovery for Onboard Guarded Software Upgrading and Beyond. IEEE Trans. Computers 51(2): 121-137 (2002)

Daniel D. Deavours, Graham Clark, Tod Courtney, David Daly, Salem Derisavi, Jay M. Doyle, William H. Sanders, Patrick G. Webster: The Möbius Framework and Its Implementation. IEEE Trans. Software Eng. 28(10): 956-969 (2002)

Salem Derisavi, Peter Kemper, William H. Sanders, Tod Courtney: The Möbius State-Level Abstract Functional Interface. Computer Performance Evaluation / TOOLS 2002: 31-50

Sudha Krishnamurthy, William H. Sanders, Michel Cukier: An Adaptive Framework for Tunable Consistency and Timeliness Using Replication. DSN 2002: 17-26

HariGovind V. Ramasamy, Prashant Pandey, James Lyons, Michel Cukier, William H. Sanders: Quantifying the Cost of Providing Intrusion Tolerance in Group Communication Systems. DSN 2002: 229-238

Ann T. Tai, William H. Sanders, Leon Alkalai, Savio N. Chau, Kam S. Tso: Performability Analysis of Guarded-Operation Duration: A Successive Model-Translation Approach. DSN 2002: 561-570

David Daly, Gautam Kar, William H. Sanders: Modeling of Service-Level Agreements for Composed Services. DSOM 2002: 4-15

Kaustubh R. Joshi, Michel Cukier, William H. Sanders: Experimental Evaluation of the Unavailability Induced by a Group Membership Protocol. EDCC 2002: 140-158

William H. Sanders, Constantine D. Polychronopoulos, Thomas S. Huang, Tod Courtney, David Daly, Daniel D. Deavours, Salem Derisavi: Overview: An Integrated Framework for Performance Engineering and Resource-Aware Compilation. IPDPS 2002

HariGovind V. Ramasamy, Michel Cukier, William H. Sanders: Formal Specification and Verification of a Group Membership Protocol for an Intrusion-Tolerant Group Communication System. PRDC 2002: 9-18

Jennifer Ren, Paul Rubel, Mouna Seri, Michel Cukier, William H. Sanders, Tod Courtney: Passive Replication Schemes in Aqua. PRDC 2002: 125-130

Sudha Krishnamurthy, William H. Sanders, Michel Cukier: Performance Evaluation of a Probabilistic Replica Selection Algorithm. WORDS 2002: 119-130

Ann T. Tai, Kam S. Tso, Leon Alkalai, Savio N. Chau, William H. Sanders: On the effectiveness of a message-driven confidence-driven protocol for guarded software upgrading. Perform. Eval. 44(1-4): 211-236 (2001)

W. Douglas Obal II, William H. Sanders: Measure-adaptive state-space construction. Perform. Eval. 44(1-4): 237-258 (2001)

Jennifer Ren, Michel Cukier, William H. Sanders: An Adaptive Algorithm for Tolerating Value Faults and Crash Failures. IEEE Trans. Parallel Distrib. Syst. 12(2): 173-192 (2001)

David Daly, William H. Sanders: A Connection Formalism for the Solution of Large and Stiff Models. Annual Simulation Symposium 2001: 258-265

Sudha Krishnamurthy, William H. Sanders, Michel Cukier: A Dynamic Replica Selection Algorithm for Tolerating Timing Faults. DSN 2001: 107-116

William H. Sanders: Business Meeting: IEEE Technical Committee on Fault Tolerance. DSN 2001

Ann T. Tai, Kam S. Tso, Leon Alkalai, Savio N. Chau, William H. Sanders: Synergistic Coordination between Software and Hardware Fault Tolerance Techniques. DSN 2001: 369-378

Ann T. Tai, Kam S. Tso, William H. Sanders, Leon Alkalai, Savio N. Chau: Low-Cost Flexible Software Fault Tolerance for Distributed Computing. ISSRE 2001: 148-159

Graham Clark, William H. Sanders: Implementing a Stochastic Process Algebra within the Möbius Modeling Framework. PAPM-PROBMIV 2001: 200-216

David Daly, Daniel D. Deavours, Jay M. Doyle, Patrick G. Webster, William H. Sanders: Möbius: An Extensible Tool for Performance and Dependability Modeling. Computer Performance Evaluation / TOOLS 2000: 332-336

Ramesh Chandra, Ryan M. Lefever, Michel Cukier, William H. Sanders: Loki: A State-Driven Fault Injector for Distributed Systems. DSN 2000: 237-242

William H. Sanders, John F. Meyer: Stochastic Activity Networks: Formal Definitions and Concepts. European Educational Forum: School on Formal Methods and Performance Analysis 2000: 315-343

Ann T. Tai, Kam S. Tso, Leon Alkalai, Savio N. Chau, William H. Sanders: On Low-Cost Error Containment and Recovery Methods for Guarded Software Upgrading. ICDCS 2000: 548-555

Ramesh Chandra, Michel Cukier, Ryan M. Lefever, William H. Sanders: Dynamic Node Management and Measure Estimation in a State-Driven Fault Injector. SRDS 2000: 248-257

W. Douglas Obal II, William H. Sanders: State-Space Support for Path-Based Reward Variables. Perform. Eval. 35(3-4): 233-251 (1999)

Catherine Meadows, William H. Sanders: Guest Editorial: Introduction to the Special Section - Dependable Computing for Critical Applications (DCCA-6). IEEE Trans. Software Eng. 25(5): 601-602 (1999)

Jennifer Ren, Michel Cukier, Paul Rubel, William H. Sanders, David E. Bakken, David A. Karr: Building Dependable Distributed Applications Using AQUA. HASE 1999: 189-196

Michel Cukier, Ramesh Chandra, David Henke, Jessica Pistole, William H. Sanders: Fault Injection based on a Partial View of the Global State of a Distributed System. SRDS 1999: 168-177

Daniel D. Deavours, William H. Sanders: An Efficient Disk-Based Tool for Solving Large Markov Models. Perform. Eval. 33(1): 67-84 (1998)

Latha A. Kant, William H. Sanders: Performance Analysis of the Knockout Switch Under Bursty Traffic Based on a Stochastic Activity Network Model. Simulation 70(1): 19-33 (1998)

Daniel D. Deavours, William H. Sanders: ``On-the-Fly'' Solution Techniques for Stochastic Petri Nets and Extensions. IEEE Trans. Software Eng. 24(10): 889-902 (1998)

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: AQuA: An Adaptive Architecture that Provides Dependable Distributed Objects. SRDS 1998: 245-253

Daniel D. Deavours, William H. Sanders: An Efficient Disk-Based Tool for Solving Very Large Markov Models. Computer Performance Evaluation 1997: 58-71

Harpreet S. Duggal, Michel Cukier, William H. Sanders: Probabilistic Verification of a Synchronous Round-Based Consensus Protocol. SRDS 1997: 165-174

Luai M. Malhis, William H. Sanders, Richard D. Schlichting: Numerical performability evaluation of a group multicast protocol. Distributed Systems Engineering 3(1): 39-52 (1996)

Luai M. Malhis, William H. Sanders: An Efficient Two-Stage Iterative Method for the Steady-State Analysis of Markov Regenerative Stochastic Petri Net Models. Perform. Eval. 27/28(4): 583-601 (1996)

Muhammad A. Qureshi, William H. Sanders, Aad P. A. van Moorsel, Reinhard German: Algorithms for the Generation of State-Level Representations of Stochastic Activity Networks with General Reward Structures. IEEE Trans. Software Eng. 22(9): 603-614 (1996)

Aad P. A. van Moorsel, Latha A. Kant, William H. Sanders: Computation of the Asymptotic Bias and Variance for Simulation of Markov Reward Models. Annual Simulation Symposium 1996: 173-182

Reinhard German, Aad P. A. van Moorsel, Muhammad A. Qureshi, William H. Sanders: Expected Impulsive Rewards in Markov Regenerative Stochastic Petri Nets. Application and Theory of Petri Nets 1996: 172-191

Muhammad A. Qureshi, William H. Sanders: A New Methodology for Calculating Distributions of Reward Accumulated During a Finite Interval. FTCS 1996: 116-125

Wilkey Richardson, Mary L. Bailey, William H. Sanders: Using ZPL to Develop a Parallel Chaos Router Simulator. Winter Simulation Conference 1996: 809-816

William H. Sanders, W. Douglas Obal II, Muhammad A. Qureshi, F. K. Widjanarko: The UltraSAN Modeling Environment. Perform. Eval. 24(1-2): 89-115 (1995)

Latha A. Kant, William H. Sanders: Loss process analysis of the knockout switch using stochastic activity networks. ICCCN 1995: 344

Muhammad A. Qureshi, William H. Sanders: The Effect of Workload on the Performance and Availability of Voting Algorithms. MASCOTS 1995: 217-224

Muhammad A. Qureshi, William H. Sanders: Reward Model Solution Methods with Impulse and Rate Rewards: An Algorithm and Numerical Results. Perform. Eval. 20(4): 413-436 (1994)

W. Douglas Obal II, William H. Sanders: An Environment for Importance Sampling Based on Stochastic Activity Networks. SRDS 1994: 64-73

Bernard P. Zeigler, William H. Sanders: Frameworks for evaluating discrete event dynamic systems. Discrete Event Dynamic Systems 3(2-3): 113-118 (1993)

William H. Sanders, Roberto S. Freire: Efficient simulation of hierarchical stochastic activity network models. Discrete Event Dynamic Systems 3(2-3): 271-299 (1993)

William H. Sanders, W. Douglas Obal II: Dependability Evaluation Using UltraSAN. FTCS 1993: 674-679

William H. Sanders, Luai M. Malhis: Dependability Evaluation Using Composed SAN-Based Reward Models. J. Parallel Distrib. Comput. 15(3): 238-254 (1992)

Abhijit S. Kudrimoti, William H. Sanders: A modular method for evaluating the performance of picture archiving and communication systems. CBMS 1992: 44-53

William H. Sanders: Recently asked questions (RAQS). SIGUCCS 1992: 205-207

William H. Sanders, John F. Meyer: Reduced Base Model Construction Methods for Stochastic Activity Networks. IEEE Journal on Selected Areas in Communications 9(1): 25-36 (1991)

Joseph A. Couvillion, Roberto S. Freire, Ron Johnson, W. Douglas Obal II, Muhammad A. Qureshi, Manish Rai, William H. Sanders, Janet E. Tvedt: Performability Modeling with UltraSAN. IEEE Software 8(5): 69-80 (1991)

Joseph A. Couvillion, Roberto S. Freire, Ron Johnson, W. Douglas Obal II, Muhammad A. Qureshi, Manish Rai, William H. Sanders, Janet E. Tvedt: Performability Modeling with UltraSAN. PNPM 1991: 290-299

Kevin H. Prodromides, William H. Sanders: Performability Evaluation of CASMA/CD and CASMA/DCR Protocols under Transient Fault Conditions. SRDS 1991: 166-176

John F. Meyer, K. H. Muralidhar, William H. Sanders: Performability of a token bus network under transient fault conditions. FTCS 1989: 175-182

William H. Sanders, John F. Meyer: Reduced Base Model Construction Methods for Stochastic Activity Networks. PNPM 1989: 74-84

Joanne Bechta Dugan, Dan C. Marinescu, Giovanni Chiola, Yoshio Sugasawa, William H. Sanders, Gianfranco Ciardo: Panel: Applications of Performance Petri Nets. PNPM 1989: 164

William H. Sanders, John F. Meyer: Performance Variable Driven Construction Methods for Stochastic Activity Networks. Computer Performance and Reliability 1987: 383-398

William H. Sanders, John F. Meyer: Performability Evaluation of Distributed Systems Using Stochastic Activity Networks. PNPM 1987: 111-125

William H. Sanders, John F. Meyer: METASAN: A Performability Evaluation Tool Based on Stochastic Acitivity Networks. FJCC 1986: 807-816

John F. Meyer, Ali Movaghar, William H. Sanders: Stochastic Activity Networks: Structure, Behavior, and Application. PNPM 1985: 106-115