2008 | ||
---|---|---|
121 | EE | 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 |
120 | EE | 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 |
119 | EE | Saman A. Zonouz, William H. Sanders: A Kalman-Based Coordination for Hierarchical State Estimation: Agorithm and Analysis. HICSS 2008: 187 |
118 | EE | Elizabeth Van Ruitenbeek, William H. Sanders: Modeling Peer-to-Peer Botnets. QEST 2008: 307-316 |
117 | EE | 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 | EE | 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 | EE | Elizabeth Van Ruitenbeek, Tod Courtney, William H. Sanders, Fabrice Stevens: Quantifying the Effectiveness of Mobile Phone Virus Response Mechanisms. DSN 2007: 790-800 |
114 | EE | HariGovind V. Ramasamy, Mouna Seri, William H. Sanders: The coBFIT toolkit. PODC 2007: 350-351 |
113 | EE | Michael G. McQuinn, Peter Kemper, William H. Sanders: Dependability Analysis with Markov Chains: How Symmetries Improve Symbolic Computations. QEST 2007: 151-160 |
112 | EE | 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 | EE | 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 | EE | Jean Peccoud, Tod Courtney, William H. Sanders: Möbius: an integrated discrete-event modeling environment. Bioinformatics 23(24): 3412-3414 (2007) |
109 | EE | 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 | EE | 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 | EE | 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 | EE | Shravan Gaonkar, Kimberly Keeton, Arif Merchant, William H. Sanders: Designing dependable storage solutions for shared application environments. DSN 2006: 371-382 |
105 | EE | 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 | EE | 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 | EE | W. Douglas Obal II, Michael G. McQuinn, William H. Sanders: Detecting and Exploiting Symmetry in Discrete-state Markov Models. PRDC 2006: 26-38 |
102 | EE | 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 | EE | David Daly, Peter Buchholz, William H. Sanders: Bound-Preserving Composition for Markov Reward Models. QEST 2006: 243-252 |
100 | EE | 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 | EE | 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 | EE | Peter Kemper, William H. Sanders: Modelling techniques and tools for computer performance evaluation. Perform. Eval. 63(6): 521-523 (2006) |
97 | EE | 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 | EE | 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 | EE | Salem Derisavi, Peter Kemper, William H. Sanders: Lumping Matrix Diagram Representations of Markov Models. DSN 2005: 742-751 |
94 | EE | Adnan Agbaria, William H. Sanders: Application-Driven Coordination-Free Distributed Checkpointing. ICDCS 2005: 177-186 |
93 | EE | 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 | EE | William H. Sanders: Probabilistic Validation of Computer System Survivability. LADC 2005: 1 |
91 | EE | HariGovind V. Ramasamy, Adnan Agbaria, William H. Sanders: Parsimony-Based Approach for Obtaining Resource-Efficient and Trustworthy Execution. LADC 2005: 206-225 |
90 | EE | Shravan Gaonkar, William H. Sanders: Simultaneous Simulation of Alternative System Configurations. PRDC 2005: 41-48 |
89 | EE | 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 | EE | Eleftheria Athanasopoulou, Purvesh Thakker, William H. Sanders: Evaluating the Dependability of a LEO Satellite Network for Scientific Applications. QEST 2005: 95-104 |
87 | EE | Kaustubh R. Joshi, William H. Sanders, Matti A. Hiltunen, Richard D. Schlichting: Automatic Model-Driven Recovery in Distributed Systems. SRDS 2005: 25-38 |
86 | EE | 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 | EE | 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 | EE | HariGovind V. Ramasamy, Adnan Agbaria, William H. Sanders: CoBFIT: A Component-Based Framework for Intrusion Tolerance. EUROMICRO 2004: 591-600 |
83 | EE | 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 | EE | Anil Sharma, Jason R. Martin, Nitin Anand, Michel Cukier, William H. Sanders: Ferret: A Host Vulnerability Checking Tool. PRDC 2004: 389-394 |
80 | EE | Adnan Agbaria, William H. Sanders: Distributed Snapshots for Mobile Computing Systems. PerCom 2004: 177-186 |
79 | EE | Peter Buchholz, William H. Sanders: Approximate Computation of Transient Results for Large Markov Chains. QEST 2004: 126-135 |
78 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Ann T. Tai, Kam S. Tso, William H. Sanders: Protecting Distributed Software Upgrades that Involve Message-Passing Interface Changes. COMPSAC 2003: 385-390 |
69 | EE | Sankalp Singh, Michel Cukier, William H. Sanders: Probabilistic Validation of an Intrusion-Tolerant Replication System. DSN 2003: 615-624 |
68 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Salem Derisavi, Holger Hermanns, William H. Sanders: Optimal state-space lumping in Markov chains. Inf. Process. Lett. 87(6): 309-315 (2003) |
61 | EE | 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 | EE | 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 | EE | Sudha Krishnamurthy, William H. Sanders, Michel Cukier: An Adaptive Framework for Tunable Consistency and Timeliness Using Replication. DSN 2002: 17-26 |
58 | EE | 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 | EE | 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 | EE | David Daly, Gautam Kar, William H. Sanders: Modeling of Service-Level Agreements for Composed Services. DSOM 2002: 4-15 |
55 | EE | Kaustubh R. Joshi, Michel Cukier, William H. Sanders: Experimental Evaluation of the Unavailability Induced by a Group Membership Protocol. EDCC 2002: 140-158 |
54 | EE | 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 | EE | Jennifer Ren, Paul Rubel, Mouna Seri, Michel Cukier, William H. Sanders, Tod Courtney: Passive Replication Schemes in Aqua. PRDC 2002: 125-130 |
52 | EE | 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 | EE | Sudha Krishnamurthy, William H. Sanders, Michel Cukier: Performance Evaluation of a Probabilistic Replica Selection Algorithm. WORDS 2002: 119-130 |
50 | EE | 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 | EE | 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 | EE | David Daly, William H. Sanders: A Connection Formalism for the Solution of Large and Stiff Models. Annual Simulation Symposium 2001: 258-265 |
47 | EE | 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 | EE | 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 | EE | 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 | EE | Graham Clark, William H. Sanders: Implementing a Stochastic Process Algebra within the Möbius Modeling Framework. PAPM-PROBMIV 2001: 200-216 |
42 | EE | 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 | EE | 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 | EE | Ramesh Chandra, Ryan M. Lefever, Michel Cukier, William H. Sanders: Loki: A State-Driven Fault Injector for Distributed Systems. DSN 2000: 237-242 |
37 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Wilkey Richardson, Mary L. Bailey, William H. Sanders: Using ZPL to Develop a Parallel Chaos Router Simulator. Winter Simulation Conference 1996: 809-816 |
21 | EE | 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 | EE | 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 | EE | 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 | EE | 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 |