 | 2008 |
|---|
| 122 |       | 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 |
| 121 | | 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 |
| 120 | | Saman A. Zonouz,
William H. Sanders:
A Kalman-Based Coordination for Hierarchical State Estimation: Agorithm and Analysis.
HICSS 2008: 187 |
| 119 | | Elizabeth Van Ruitenbeek,
William H. Sanders:
Modeling Peer-to-Peer Botnets.
QEST 2008: 307-316 |
| 118 | | 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) |
| 117 | | 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) |
| 2007 |
|---|
| 116 | | Robert 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 |
| 115 | | Elizabeth Van Ruitenbeek,
Tod Courtney,
William H. Sanders,
Fabrice Stevens:
Quantifying the Effectiveness of Mobile Phone Virus Response Mechanisms.
DSN 2007: 790-800 |
| 114 | | HariGovind V. Ramasamy,
Mouna Seri,
William H. Sanders:
The coBFIT toolkit.
PODC 2007: 350-351 |
| 113 | | Michael G. McQuinn,
Peter Kemper,
William H. Sanders:
Dependability Analysis with Markov Chains: How Symmetries Improve Symbolic Computations.
QEST 2007: 151-160 |
| 112 | | 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 |
| 111 | | 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 |
| 110 | | Jean Peccoud,
Tod Courtney,
William H. Sanders:
Möbius: an integrated discrete-event modeling environment.
Bioinformatics 23(24): 3412-3414 (2007) |
| 109 | | 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) |
| 108 | | 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) |
| 2006 |
|---|
| 107 | | 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 |
| 106 | | Shravan Gaonkar,
Kimberly Keeton,
Arif Merchant,
William H. Sanders:
Designing dependable storage solutions for shared application environments.
DSN 2006: 371-382 |
| 105 | | 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 |
| 104 | | 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 |
| 103 | | W. Douglas Obal II,
Michael G. McQuinn,
William H. Sanders:
Detecting and Exploiting Symmetry in Discrete-state Markov Models.
PRDC 2006: 26-38 |
| 102 | | 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 |
| 101 | | David Daly,
Peter Buchholz,
William H. Sanders:
Bound-Preserving Composition for Markov Reward Models.
QEST 2006: 243-252 |
| 100 | | 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 |
| 99 | | 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) |
| 98 | | Peter Kemper,
William H. Sanders:
Modelling techniques and tools for computer performance evaluation.
Perform. Eval. 63(6): 521-523 (2006) |
| 97 | | 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) |
| 2005 |
|---|
| 96 | | 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 |
| 95 | | Salem Derisavi,
Peter Kemper,
William H. Sanders:
Lumping Matrix Diagram Representations of Markov Models.
DSN 2005: 742-751 |
| 94 | | Adnan Agbaria,
William H. Sanders:
Application-Driven Coordination-Free Distributed Checkpointing.
ICDCS 2005: 177-186 |
| 93 | | 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 |
| 92 | | William H. Sanders:
Probabilistic Validation of Computer System Survivability.
LADC 2005: 1 |
| 91 | | HariGovind V. Ramasamy,
Adnan Agbaria,
William H. Sanders:
Parsimony-Based Approach for Obtaining Resource-Efficient and Trustworthy Execution.
LADC 2005: 206-225 |
| 90 | | Shravan Gaonkar,
William H. Sanders:
Simultaneous Simulation of Alternative System Configurations.
PRDC 2005: 41-48 |
| 89 | | 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 |
| 88 | | Eleftheria Athanasopoulou,
Purvesh Thakker,
William H. Sanders:
Evaluating the Dependability of a LEO Satellite Network for Scientific Applications.
QEST 2005: 95-104 |
| 87 | | Kaustubh R. Joshi,
William H. Sanders,
Matti A. Hiltunen,
Richard D. Schlichting:
Automatic Model-Driven Recovery in Distributed Systems.
SRDS 2005: 25-38 |
| 86 | | 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 |
| 2004 |
|---|
| 85 | | 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- |
| 84 | | HariGovind V. Ramasamy,
Adnan Agbaria,
William H. Sanders:
CoBFIT: A Component-Based Framework for Intrusion Tolerance.
EUROMICRO 2004: 591-600 |
| 83 | | William H. Sanders:
Stochastic Methods for Dependability, Performability, and Security Evaluation.
ICATPN 2004: 97 |
| 82 |  | 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 |
| 81 | | Anil Sharma,
Jason R. Martin,
Nitin Anand,
Michel Cukier,
William H. Sanders:
Ferret: A Host Vulnerability Checking Tool.
PRDC 2004: 389-394 |
| 80 | | Adnan Agbaria,
William H. Sanders:
Distributed Snapshots for Mobile Computing Systems.
PerCom 2004: 177-186 |
| 79 | | Peter Buchholz,
William H. Sanders:
Approximate Computation of Transient Results for Large Markov Chains.
QEST 2004: 126-135 |
| 78 | | Vinh Vi Lam,
Peter Buchholz,
William H. Sanders:
A Structured Path-Based Approach for Computing Transient Rewards of Large CTMCs.
QEST 2004: 136-145 |
| 77 | | 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 |
| 76 | | 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 |
| 75 | | 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 |
| 74 | | 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) |
| 73 | | 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) |
| 72 | | 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) |
| 2003 |
|---|
| 71 | | Peter Kemper,
William H. Sanders:
Computer Performance Evaluations, Modelling Techniques and Tools. 13th International Conference, TOOLS 2003, Urbana, IL, USA, September 2-5, 2003, Proceedings
Springer 2003 |
| 70 | | Ann T. Tai,
Kam S. Tso,
William H. Sanders:
Protecting Distributed Software Upgrades that Involve Message-Passing Interface Changes.
COMPSAC 2003: 385-390 |
| 69 | | Sankalp Singh,
Michel Cukier,
William H. Sanders:
Probabilistic Validation of an Intrusion-Tolerant Replication System.
DSN 2003: 615-624 |
| 68 | | 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- |
| 67 | | 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 |
| 66 | | 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 |
| 65 | | 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 |
| 64 | | 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) |
| 63 | | 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) |
| 62 | | Salem Derisavi,
Holger Hermanns,
William H. Sanders:
Optimal state-space lumping in Markov chains.
Inf. Process. Lett. 87(6): 309-315 (2003) |
| 61 | | Salem Derisavi,
Peter Kemper,
William H. Sanders,
Tod Courtney:
The Möbius state-level abstract functional interface.
Perform. Eval. 54(2): 105-128 (2003) |
| 2002 |
|---|
| 60 | | Salem Derisavi,
Peter Kemper,
William H. Sanders,
Tod Courtney:
The Möbius State-Level Abstract Functional Interface.
Computer Performance Evaluation / TOOLS 2002: 31-50 |
| 59 | | Sudha Krishnamurthy,
William H. Sanders,
Michel Cukier:
An Adaptive Framework for Tunable Consistency and Timeliness Using Replication.
DSN 2002: 17-26 |
| 58 | | 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 |
| 57 | | 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 |
| 56 | | David Daly,
Gautam Kar,
William H. Sanders:
Modeling of Service-Level Agreements for Composed Services.
DSOM 2002: 4-15 |
| 55 | | Kaustubh R. Joshi,
Michel Cukier,
William H. Sanders:
Experimental Evaluation of the Unavailability Induced by a Group Membership Protocol.
EDCC 2002: 140-158 |
| 54 | | 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 |
| 53 | | Jennifer Ren,
Paul Rubel,
Mouna Seri,
Michel Cukier,
William H. Sanders,
Tod Courtney:
Passive Replication Schemes in Aqua.
PRDC 2002: 125-130 |
| 52 | | 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 |
| 51 | | Sudha Krishnamurthy,
William H. Sanders,
Michel Cukier:
Performance Evaluation of a Probabilistic Replica Selection Algorithm.
WORDS 2002: 119-130 |
| 50 | | 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) |
| 49 | | 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) |
| 2001 |
|---|
| 48 | | David Daly,
William H. Sanders:
A Connection Formalism for the Solution of Large and Stiff Models.
Annual Simulation Symposium 2001: 258-265 |
| 47 | | Sudha Krishnamurthy,
William H. Sanders,
Michel Cukier:
A Dynamic Replica Selection Algorithm for Tolerating Timing Faults.
DSN 2001: 107-116 |
| 46 | | William H. Sanders:
Business Meeting: IEEE Technical Committee on Fault Tolerance.
DSN 2001 |
| 45 | | 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 |
| 44 | | 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 |
| 43 | | Graham Clark,
William H. Sanders:
Implementing a Stochastic Process Algebra within the Möbius Modeling Framework.
PAPM-PROBMIV 2001: 200-216 |
| 42 | | 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) |
| 41 | | 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) |
| 40 | | W. Douglas Obal II,
William H. Sanders:
Measure-adaptive state-space construction.
Perform. Eval. 44(1-4): 237-258 (2001) |
| 2000 |
|---|
| 39 | | 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 |
| 38 | | Ramesh Chandra,
Ryan M. Lefever,
Michel Cukier,
William H. Sanders:
Loki: A State-Driven Fault Injector for Distributed Systems.
DSN 2000: 237-242 |
| 37 | | 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 |
| 36 | | 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 |
| 35 | | 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 |
| 1999 |
|---|
| 34 | | 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 |
| 33 | | 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 |
| 32 | | 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) |
| 31 | | W. Douglas Obal II,
William H. Sanders:
State-Space Support for Path-Based Reward Variables.
Perform. Eval. 35(3-4): 233-251 (1999) |
| 1998 |
|---|
| 30 | | 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 |
| 29 | | 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) |
| 28 | | Daniel D. Deavours,
William H. Sanders:
An Efficient Disk-Based Tool for Solving Large Markov Models.
Perform. Eval. 33(1): 67-84 (1998) |
| 1997 |
|---|
| 27 | | Daniel D. Deavours,
William H. Sanders:
An Efficient Disk-Based Tool for Solving Very Large Markov Models.
Computer Performance Evaluation 1997: 58-71 |
| 26 | | Harpreet S. Duggal,
Michel Cukier,
William H. Sanders:
Probabilistic Verification of a Synchronous Round-Based Consensus Protocol.
SRDS 1997: 165-174 |
| 1996 |
|---|
| 25 | | 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 |
| 24 | | 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 |
| 23 | | Muhammad A. Qureshi,
William H. Sanders:
A New Methodology for Calculating Distributions of Reward Accumulated During a Finite Interval.
FTCS 1996: 116-125 |
| 22 | | Wilkey Richardson,
Mary L. Bailey,
William H. Sanders:
Using ZPL to Develop a Parallel Chaos Router Simulator.
Winter Simulation Conference 1996: 809-816 |
| 21 | | 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) |
| 20 | | 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) |
| 19 | | 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) |
| 1995 |
|---|
| 18 | | Latha A. Kant,
William H. Sanders:
Loss process analysis of the knockout switch using stochastic activity networks.
ICCCN 1995: 344 |
| 17 | | Muhammad A. Qureshi,
William H. Sanders:
The Effect of Workload on the Performance and Availability of Voting Algorithms.
MASCOTS 1995: 217-224 |
| 16 | | 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) |
| 1994 |
|---|
| 15 | | W. Douglas Obal II,
William H. Sanders:
An Environment for Importance Sampling Based on Stochastic Activity Networks.
SRDS 1994: 64-73 |
| 14 | | 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) |
| 1993 |
|---|
| 13 | | William H. Sanders,
W. Douglas Obal II:
Dependability Evaluation Using UltraSAN.
FTCS 1993: 674-679 |
| 1992 |
|---|
| 12 | | William H. Sanders:
Recently asked questions (RAQS).
SIGUCCS 1992: 205-207 |
| 11 | | William H. Sanders,
Luai M. Malhis:
Dependability Evaluation Using Composed SAN-Based Reward Models.
J. Parallel Distrib. Comput. 15(3): 238-254 (1992) |
| 1991 |
|---|
| 10 | | Joseph A. Couvillion,
Roberto 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 |
| 9 | | Kevin H. Prodromides,
William H. Sanders:
Performability Evaluation of CASMA/CD and CASMA/DCR Protocols under Transient Fault Conditions.
SRDS 1991: 166-176 |
| 8 | | 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) |
| 7 | | Joseph A. Couvillion,
Roberto 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) |
| 1989 |
|---|
| 6 | | Joanne Bechta Dugan,
Dan C. Marinescu,
Giovanni Chiola,
Yoshio Sugasawa,
William H. Sanders,
Gianfranco Ciardo:
Panel: Applications of Performance Petri Nets.
PNPM 1989: 164 |
| 5 | | William H. Sanders,
John F. Meyer:
Reduced Base Model Construction Methods for Stochastic Activity Networks.
PNPM 1989: 74-84 |
| 1987 |
|---|
| 4 | | William H. Sanders,
John F. Meyer:
Performance Variable Driven Construction Methods for Stochastic Activity Networks.
Computer Performance and Reliability 1987: 383-398 |
| 3 | | William H. Sanders,
John F. Meyer:
Performability Evaluation of Distributed Systems Using Stochastic Activity Networks.
PNPM 1987: 111-125 |
| 1986 |
|---|
| 2 | | William H. Sanders,
John F. Meyer:
METASAN: A Performability Evaluation Tool Based on Stochastic Acitivity Networks.
FJCC 1986: 807-816 |
| 1985 |
|---|
| 1 | | John F. Meyer,
Ali Movaghar,
William H. Sanders:
Stochastic Activity Networks: Structure, Behavior, and Application.
PNPM 1985: 106-115 |
