The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

William H. Sanders: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. David Daly, William H. Sanders
    A Connection Formalism for the Solution of Large and Stiff Models. [Citation Graph (0, 0)][DBLP]
    Annual Simulation Symposium, 2001, pp:258-265 [Conf]
  2. Aad P. A. van Moorsel, Latha A. Kant, William H. Sanders
    Computation of the Asymptotic Bias and Variance for Simulation of Markov Reward Models. [Citation Graph (0, 0)][DBLP]
    Annual Simulation Symposium, 1996, pp:173-182 [Conf]
  3. Reinhard German, Aad P. A. van Moorsel, Muhammad A. Qureshi, William H. Sanders
    Expected Impulsive Rewards in Markov Regenerative Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1996, pp:172-191 [Conf]
  4. William H. Sanders
    Stochastic Methods for Dependability, Performability, and Security Evaluation. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2004, pp:97- [Conf]
  5. Ann T. Tai, Kam S. Tso, William H. Sanders
    Protecting Distributed Software Upgrades that Involve Message-Passing Interface Changes. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2003, pp:385-390 [Conf]
  6. David Daly, Daniel D. Deavours, Jay M. Doyle, Patrick G. Webster, William H. Sanders
    Möbius: An Extensible Tool for Performance and Dependability Modeling. [Citation Graph (0, 0)][DBLP]
    Computer Performance Evaluation / TOOLS, 2000, pp:332-336 [Conf]
  7. Daniel D. Deavours, William H. Sanders
    An Efficient Disk-Based Tool for Solving Very Large Markov Models. [Citation Graph (0, 0)][DBLP]
    Computer Performance Evaluation, 1997, pp:58-71 [Conf]
  8. Salem Derisavi, Peter Kemper, William H. Sanders, Tod Courtney
    The Möbius State-Level Abstract Functional Interface. [Citation Graph (0, 0)][DBLP]
    Computer Performance Evaluation / TOOLS, 2002, pp:31-50 [Conf]
  9. Ramesh Chandra, Ryan M. Lefever, Michel Cukier, William H. Sanders
    Loki: A State-Driven Fault Injector for Distributed Systems. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:237-242 [Conf]
  10. 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. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:671- [Conf]
  11. Salem Derisavi, Peter Kemper, William H. Sanders
    Lumping Matrix Diagram Representations of Markov Models. [Citation Graph (0, 0)][DBLP]
    DSN, 2005, pp:742-751 [Conf]
  12. Shravan Gaonkar, Kimberly Keeton, Arif Merchant, William H. Sanders
    Designing dependable storage solutions for shared application environments. [Citation Graph (0, 0)][DBLP]
    DSN, 2006, pp:371-382 [Conf]
  13. Kaustubh R. Joshi, William H. Sanders, Matti A. Hiltunen, Richard D. Schlichting
    Automatic Recovery Using Bounded Partially Observable Markov Decision Processes. [Citation Graph (0, 0)][DBLP]
    DSN, 2006, pp:445-456 [Conf]
  14. Michael Ihde, William H. Sanders
    Barbarians in the Gate: An Experimental Validation of NIC-based Distributed Firewall Performance and Flood Tolerance. [Citation Graph (0, 0)][DBLP]
    DSN, 2006, pp:209-216 [Conf]
  15. Sudha Krishnamurthy, William H. Sanders, Michel Cukier
    A Dynamic Replica Selection Algorithm for Tolerating Timing Faults. [Citation Graph (0, 0)][DBLP]
    DSN, 2001, pp:107-116 [Conf]
  16. Sudha Krishnamurthy, William H. Sanders, Michel Cukier
    An Adaptive Framework for Tunable Consistency and Timeliness Using Replication. [Citation Graph (0, 0)][DBLP]
    DSN, 2002, pp:17-26 [Conf]
  17. Vinh Vi Lam, William H. Sanders, Peter Buchholz
    A Component-Level Path Composition Approach for Efficient Transient Analysis of Large CTMCs. [Citation Graph (0, 0)][DBLP]
    DSN, 2006, pp:485-494 [Conf]
  18. HariGovind V. Ramasamy, Prashant Pandey, James Lyons, Michel Cukier, William H. Sanders
    Quantifying the Cost of Providing Intrusion Tolerance in Group Communication Systems. [Citation Graph (0, 0)][DBLP]
    DSN, 2002, pp:229-238 [Conf]
  19. William H. Sanders
    Business Meeting: IEEE Technical Committee on Fault Tolerance. [Citation Graph (0, 0)][DBLP]
    DSN, 2001, pp:- [Conf]
  20. Sankalp Singh, Michel Cukier, William H. Sanders
    Probabilistic Validation of an Intrusion-Tolerant Replication System. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:615-624 [Conf]
  21. 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. [Citation Graph (0, 0)][DBLP]
    DSN, 2002, pp:561-570 [Conf]
  22. Ann T. Tai, Kam S. Tso, Leon Alkalai, Savio N. Chau, William H. Sanders
    Synergistic Coordination between Software and Hardware Fault Tolerance Techniques. [Citation Graph (0, 0)][DBLP]
    DSN, 2001, pp:369-378 [Conf]
  23. Ann T. Tai, Kam S. Tso, Leon Alkalai, Savio N. Chau, William H. Sanders
    Opportunity-Adaptive QoS Enhancement in Satellite Constellations: A Case Study. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:655-0 [Conf]
  24. Ann T. Tai, Kam S. Tso, William H. Sanders
    Cluster-Based Failure Detection Service for Large-Scale Ad Hoc Wireless Network Applications. [Citation Graph (0, 0)][DBLP]
    DSN, 2004, pp:805-0 [Conf]
  25. Ann T. Tai, Kam S. Tso, William H. Sanders, Savio N. Chau
    A Performability-Oriented Software Rejuvenation Framework for Distributed Applications. [Citation Graph (0, 0)][DBLP]
    DSN, 2005, pp:570-579 [Conf]
  26. David Daly, Gautam Kar, William H. Sanders
    Modeling of Service-Level Agreements for Composed Services. [Citation Graph (0, 0)][DBLP]
    DSOM, 2002, pp:4-15 [Conf]
  27. Kaustubh R. Joshi, Michel Cukier, William H. Sanders
    Experimental Evaluation of the Unavailability Induced by a Group Membership Protocol. [Citation Graph (0, 0)][DBLP]
    EDCC, 2002, pp:140-158 [Conf]
  28. William H. Sanders, John F. Meyer
    Stochastic Activity Networks: Formal Definitions and Concepts. [Citation Graph (0, 0)][DBLP]
    European Educational Forum: School on Formal Methods and Performance Analysis, 2000, pp:315-343 [Conf]
  29. HariGovind V. Ramasamy, Adnan Agbaria, William H. Sanders
    CoBFIT: A Component-Based Framework for Intrusion Tolerance. [Citation Graph (0, 0)][DBLP]
    EUROMICRO, 2004, pp:591-600 [Conf]
  30. William H. Sanders, John F. Meyer
    METASAN: A Performability Evaluation Tool Based on Stochastic Acitivity Networks. [Citation Graph (0, 0)][DBLP]
    FJCC, 1986, pp:807-816 [Conf]
  31. Muhammad A. Qureshi, William H. Sanders
    A New Methodology for Calculating Distributions of Reward Accumulated During a Finite Interval. [Citation Graph (0, 0)][DBLP]
    FTCS, 1996, pp:116-125 [Conf]
  32. William H. Sanders, W. Douglas Obal II
    Dependability Evaluation Using UltraSAN. [Citation Graph (0, 0)][DBLP]
    FTCS, 1993, pp:674-679 [Conf]
  33. Jennifer Ren, Michel Cukier, Paul Rubel, William H. Sanders, David E. Bakken, David A. Karr
    Building Dependable Distributed Applications Using AQUA. [Citation Graph (0, 0)][DBLP]
    HASE, 1999, pp:189-196 [Conf]
  34. Latha A. Kant, William H. Sanders
    Loss process analysis of the knockout switch using stochastic activity networks. [Citation Graph (0, 0)][DBLP]
    ICCCN, 1995, pp:344- [Conf]
  35. Adnan Agbaria, William H. Sanders
    Application-Driven Coordination-Free Distributed Checkpointing. [Citation Graph (0, 0)][DBLP]
    ICDCS, 2005, pp:177-186 [Conf]
  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. [Citation Graph (0, 0)][DBLP]
    ICDCS, 2000, pp:548-555 [Conf]
  37. Ravishankar K. Iyer, William H. Sanders, Janak H. Patel, Zbigniew Kalbarczyk
    The evolution of dependable computing at the University of Illinois. [Citation Graph (0, 0)][DBLP]
    IFIP Congress Topical Sessions, 2004, pp:135-164 [Conf]
  38. 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. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2005, pp:- [Conf]
  39. 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. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2002, pp:- [Conf]
  40. Ann T. Tai, Kam S. Tso, William H. Sanders, Leon Alkalai, Savio N. Chau
    Low-Cost Flexible Software Fault Tolerance for Distributed Computing. [Citation Graph (0, 0)][DBLP]
    ISSRE, 2001, pp:148-159 [Conf]
  41. Vishu Gupta, Vinh Vi Lam, HariGovind V. Ramasamy, William H. Sanders, Sankalp Singh
    Dependability and Performance Evaluation of Intrusion-Tolerant Server Architectures. [Citation Graph (0, 0)][DBLP]
    LADC, 2003, pp:81-101 [Conf]
  42. HariGovind V. Ramasamy, Adnan Agbaria, William H. Sanders
    Parsimony-Based Approach for Obtaining Resource-Efficient and Trustworthy Execution. [Citation Graph (0, 0)][DBLP]
    LADC, 2005, pp:206-225 [Conf]
  43. William H. Sanders
    Probabilistic Validation of Computer System Survivability. [Citation Graph (0, 0)][DBLP]
    LADC, 2005, pp:1- [Conf]
  44. Muhammad A. Qureshi, William H. Sanders
    The Effect of Workload on the Performance and Availability of Voting Algorithms. [Citation Graph (0, 0)][DBLP]
    MASCOTS, 1995, pp:217-224 [Conf]
  45. William H. Sanders, John F. Meyer
    Performance Variable Driven Construction Methods for Stochastic Activity Networks. [Citation Graph (0, 0)][DBLP]
    Computer Performance and Reliability, 1987, pp:383-398 [Conf]
  46. Graham Clark, William H. Sanders
    Implementing a Stochastic Process Algebra within the Möbius Modeling Framework. [Citation Graph (0, 0)][DBLP]
    PAPM-PROBMIV, 2001, pp:200-216 [Conf]
  47. Adnan Agbaria, William H. Sanders
    Distributed Snapshots for Mobile Computing Systems. [Citation Graph (0, 0)][DBLP]
    PerCom, 2004, pp:177-186 [Conf]
  48. John F. Meyer, Ali Movaghar, William H. Sanders
    Stochastic Activity Networks: Structure, Behavior, and Application. [Citation Graph (0, 0)][DBLP]
    PNPM, 1985, pp:106-115 [Conf]
  49. William H. Sanders, John F. Meyer
    Performability Evaluation of Distributed Systems Using Stochastic Activity Networks. [Citation Graph (0, 0)][DBLP]
    PNPM, 1987, pp:111-125 [Conf]
  50. William H. Sanders, John F. Meyer
    Reduced Base Model Construction Methods for Stochastic Activity Networks. [Citation Graph (0, 0)][DBLP]
    PNPM, 1989, pp:74-84 [Conf]
  51. 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. [Citation Graph (0, 0)][DBLP]
    PNPM, 1991, pp:290-299 [Conf]
  52. Joanne Bechta Dugan, Dan C. Marinescu, Giovanni Chiola, Yoshio Sugasawa, William H. Sanders, Gianfranco Ciardo
    Panel: Applications of Performance Petri Nets. [Citation Graph (0, 0)][DBLP]
    PNPM, 1989, pp:164- [Conf]
  53. HariGovind V. Ramasamy, Michel Cukier, William H. Sanders
    Formal Specification and Verification of a Group Membership Protocol for an Intrusion-Tolerant Group Communication System. [Citation Graph (0, 0)][DBLP]
    PRDC, 2002, pp:9-18 [Conf]
  54. Jennifer Ren, Paul Rubel, Mouna Seri, Michel Cukier, William H. Sanders, Tod Courtney
    Passive Replication Schemes in Aqua. [Citation Graph (0, 0)][DBLP]
    PRDC, 2002, pp:125-130 [Conf]
  55. Anil Sharma, Jason R. Martin, Nitin Anand, Michel Cukier, William H. Sanders
    Ferret: A Host Vulnerability Checking Tool. [Citation Graph (0, 0)][DBLP]
    PRDC, 2004, pp:389-394 [Conf]
  56. Shravan Gaonkar, William H. Sanders
    Simultaneous Simulation of Alternative System Configurations. [Citation Graph (0, 0)][DBLP]
    PRDC, 2005, pp:41-48 [Conf]
  57. W. Douglas Obal II, Michael G. McQuinn, William H. Sanders
    Detecting and Exploiting Symmetry in Discrete-state Markov Models. [Citation Graph (0, 0)][DBLP]
    PRDC, 2006, pp:26-38 [Conf]
  58. Eleftheria Athanasopoulou, Purvesh Thakker, William H. Sanders
    Evaluating the Dependability of a LEO Satellite Network for Scientific Applications. [Citation Graph (0, 0)][DBLP]
    QEST, 2005, pp:95-104 [Conf]
  59. Vinh Vi Lam, Peter Buchholz, William H. Sanders
    A Structured Path-Based Approach for Computing Transient Rewards of Large CTMCs. [Citation Graph (0, 0)][DBLP]
    QEST, 2004, pp:136-145 [Conf]
  60. Peter Buchholz, William H. Sanders
    Approximate Computation of Transient Results for Large Markov Chains. [Citation Graph (0, 0)][DBLP]
    QEST, 2004, pp:126-135 [Conf]
  61. Tod Courtney, David Daly, Salem Derisavi, Shravan Gaonkar, Mark Griffith, Vinh Vi Lam, William H. Sanders
    The Möbius Modeling Environment: Recent Developments. [Citation Graph (0, 0)][DBLP]
    QEST, 2004, pp:328-329 [Conf]
  62. 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. [Citation Graph (0, 0)][DBLP]
    QEST, 2005, pp:259-260 [Conf]
  63. 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. [Citation Graph (0, 0)][DBLP]
    QEST, 2006, pp:137-138 [Conf]
  64. David Daly, Peter Buchholz, William H. Sanders
    Bound-Preserving Composition for Markov Reward Models. [Citation Graph (0, 0)][DBLP]
    QEST, 2006, pp:243-252 [Conf]
  65. William H. Sanders
    Recently asked questions (RAQS). [Citation Graph (0, 0)][DBLP]
    SIGUCCS, 1992, pp:205-207 [Conf]
  66. Ramesh Chandra, Michel Cukier, Ryan M. Lefever, William H. Sanders
    Dynamic Node Management and Measure Estimation in a State-Driven Fault Injector. [Citation Graph (0, 0)][DBLP]
    SRDS, 2000, pp:248-257 [Conf]
  67. 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. [Citation Graph (0, 0)][DBLP]
    Symposium on Reliable Distributed Systems, 1999, pp:168-177 [Conf]
  68. 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. [Citation Graph (0, 0)][DBLP]
    Symposium on Reliable Distributed Systems, 1998, pp:245-253 [Conf]
  69. Harpreet S. Duggal, Michel Cukier, William H. Sanders
    Probabilistic Verification of a Synchronous Round-Based Consensus Protocol. [Citation Graph (0, 0)][DBLP]
    Symposium on Reliable Distributed Systems, 1997, pp:165-174 [Conf]
  70. Kaustubh R. Joshi, William H. Sanders, Matti A. Hiltunen, Richard D. Schlichting
    Automatic Model-Driven Recovery in Distributed Systems. [Citation Graph (0, 0)][DBLP]
    SRDS, 2005, pp:25-38 [Conf]
  71. Ryan M. Lefever, Michel Cukier, William H. Sanders
    An Experimental Evaluation of Correlated Network Partitions in the Coda Distributed File System. [Citation Graph (0, 0)][DBLP]
    SRDS, 2003, pp:273-282 [Conf]
  72. W. Douglas Obal II, William H. Sanders
    An Environment for Importance Sampling Based on Stochastic Activity Networks. [Citation Graph (0, 0)][DBLP]
    Symposium on Reliable Distributed Systems, 1994, pp:64-73 [Conf]
  73. Kevin H. Prodromides, William H. Sanders
    Performability Evaluation of CASMA/CD and CASMA/DCR Protocols under Transient Fault Conditions. [Citation Graph (0, 0)][DBLP]
    SRDS, 1991, pp:166-176 [Conf]
  74. 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. [Citation Graph (0, 0)][DBLP]
    SRDS, 2004, pp:184-194 [Conf]
  75. Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo, William H. Sanders
    Proactive Resilience Revisited: The Delicate Balance Between Resisting Intrusions and Remaining Available. [Citation Graph (0, 0)][DBLP]
    SRDS, 2006, pp:71-82 [Conf]
  76. Sudha Krishnamurthy, William H. Sanders, Michel Cukier
    Performance Evaluation of a Probabilistic Replica Selection Algorithm. [Citation Graph (0, 0)][DBLP]
    WORDS, 2002, pp:119-130 [Conf]
  77. Kaustubh R. Joshi, Matti A. Hiltunen, Richard D. Schlichting, William H. Sanders, Adnan Agbaria
    Online model-based adaptation for optimizing performance and dependability. [Citation Graph (0, 0)][DBLP]
    WOSS, 2004, pp:85-89 [Conf]
  78. Vinh Vi Lam, Peter Buchholz, William H. Sanders
    A component-level path-based simulation approach for efficient analysis of large Markov models. [Citation Graph (0, 0)][DBLP]
    Winter Simulation Conference, 2005, pp:584-590 [Conf]
  79. Wilkey Richardson, Mary L. Bailey, William H. Sanders
    Using ZPL to Develop a Parallel Chaos Router Simulator. [Citation Graph (0, 0)][DBLP]
    Winter Simulation Conference, 1996, pp:809-816 [Conf]
  80. Mark Griffith, Tod Courtney, Jean Peccoud, William H. Sanders
    Dynamic partitioning for hybrid simulation of the bistable HIV-1 transactivation network. [Citation Graph (0, 0)][DBLP]
    Bioinformatics, 2006, v:22, n:22, pp:2782-2789 [Journal]
  81. Luai M. Malhis, William H. Sanders, Richard D. Schlichting
    Numerical performability evaluation of a group multicast protocol. [Citation Graph (0, 0)][DBLP]
    Distributed Systems Engineering, 1996, v:3, n:1, pp:39-52 [Journal]
  82. Salem Derisavi, Holger Hermanns, William H. Sanders
    Optimal state-space lumping in Markov chains. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2003, v:87, n:6, pp:309-315 [Journal]
  83. William H. Sanders, Luai M. Malhis
    Dependability Evaluation Using Composed SAN-Based Reward Models. [Citation Graph (0, 0)][DBLP]
    J. Parallel Distrib. Comput., 1992, v:15, n:3, pp:238-254 [Journal]
  84. William H. Sanders, John F. Meyer
    Reduced Base Model Construction Methods for Stochastic Activity Networks. [Citation Graph (0, 0)][DBLP]
    IEEE Journal on Selected Areas in Communications, 1991, v:9, n:1, pp:25-36 [Journal]
  85. Daniel D. Deavours, William H. Sanders
    An Efficient Disk-Based Tool for Solving Large Markov Models. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 1998, v:33, n:1, pp:67-84 [Journal]
  86. Salem Derisavi, Peter Kemper, William H. Sanders, Tod Courtney
    The Möbius state-level abstract functional interface. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 2003, v:54, n:2, pp:105-128 [Journal]
  87. Luai M. Malhis, William H. Sanders
    An Efficient Two-Stage Iterative Method for the Steady-State Analysis of Markov Regenerative Stochastic Petri Net Models. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 1996, v:27, n:4, pp:583-601 [Journal]
  88. Muhammad A. Qureshi, William H. Sanders
    Reward Model Solution Methods with Impulse and Rate Rewards: An Algorithm and Numerical Results. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 1994, v:20, n:4, pp:413-436 [Journal]
  89. W. Douglas Obal II, William H. Sanders
    Measure-adaptive state-space construction. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 2001, v:44, n:1-4, pp:237-258 [Journal]
  90. W. Douglas Obal II, William H. Sanders
    State-Space Support for Path-Based Reward Variables. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 1999, v:35, n:3-4, pp:233-251 [Journal]
  91. William H. Sanders, W. Douglas Obal II, Muhammad A. Qureshi, F. K. Widjanarko
    The UltraSAN Modeling Environment. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 1995, v:24, n:1-2, pp:89-115 [Journal]
  92. 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. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 2004, v:56, n:1-4, pp:249-276 [Journal]
  93. 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. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 2001, v:44, n:1-4, pp:211-236 [Journal]
  94. Peter Kemper, William H. Sanders
    Modelling techniques and tools for computer performance evaluation. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 2006, v:63, n:6, pp:521-523 [Journal]
  95. 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. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 1991, v:8, n:5, pp:69-80 [Journal]
  96. 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. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 2006, v:36, n:11-12, pp:1331-1354 [Journal]
  97. 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. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 2003, v:52, n:1, pp:31-50 [Journal]
  98. 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. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 2002, v:51, n:2, pp:121-137 [Journal]
  99. David M. Nicol, William H. Sanders, Kishor S. Trivedi
    Model-Based Evaluation: From Dependability to Security. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Dependable Sec. Comput., 2004, v:1, n:1, pp:48-65 [Journal]
  100. Ramesh Chandra, Ryan M. Lefever, Kaustubh R. Joshi, Michel Cukier, William H. Sanders
    A Global-State-Triggered Fault Injector for Distributed System Evaluation. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Parallel Distrib. Syst., 2004, v:15, n:7, pp:593-605 [Journal]
  101. Sudha Krishnamurthy, William H. Sanders, Michel Cukier
    An Adaptive Quality of Service Aware Middleware for Replicated Services. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Parallel Distrib. Syst., 2003, v:14, n:11, pp:1112-1125 [Journal]
  102. Jennifer Ren, Michel Cukier, William H. Sanders
    An Adaptive Algorithm for Tolerating Value Faults and Crash Failures. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Parallel Distrib. Syst., 2001, v:12, n:2, pp:173-192 [Journal]
  103. 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. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2002, v:28, n:10, pp:956-969 [Journal]
  104. Daniel D. Deavours, William H. Sanders
    ``On-the-Fly'' Solution Techniques for Stochastic Petri Nets and Extensions. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1998, v:24, n:10, pp:889-902 [Journal]
  105. Catherine Meadows, William H. Sanders
    Guest Editorial: Introduction to the Special Section - Dependable Computing for Critical Applications (DCCA-6). [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1999, v:25, n:5, pp:601-602 [Journal]
  106. 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. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1996, v:22, n:9, pp:603-614 [Journal]
  107. Elizabeth Van Ruitenbeek, Tod Courtney, William H. Sanders, Fabrice Stevens
    Quantifying the Effectiveness of Mobile Phone Virus Response Mechanisms. [Citation Graph (0, 0)][DBLP]
    DSN, 2007, pp:790-800 [Conf]
  108. HariGovind V. Ramasamy, Mouna Seri, William H. Sanders
    The coBFIT toolkit. [Citation Graph (0, 0)][DBLP]
    PODC, 2007, pp:350-351 [Conf]
  109. HariGovind V. Ramasamy, Adnan Agbaria, William H. Sanders
    A Parsimonious Approach for Obtaining Resource-Efficient and Trustworthy Execution. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Dependable Sec. Comput., 2007, v:4, n:1, pp:1-17 [Journal]

  110. A recurrence-relation-based reward model for performability evaluation of embedded systems. [Citation Graph (, )][DBLP]


  111. Scaling file systems to support petascale clusters: A dependability analysis to support informed design choices. [Citation Graph (, )][DBLP]


  112. RRE: A game-theoretic intrusion Response and Recovery Engine. [Citation Graph (, )][DBLP]


  113. Möbius 2.3: An extensible tool for dependability, security, and performance evaluation of large and complex system models. [Citation Graph (, )][DBLP]


  114. A Kalman-Based Coordination for Hierarchical State Estimation: Agorithm and Analysis. [Citation Graph (, )][DBLP]


  115. Experiences Validating the Access Policy Tool in Industrial Settings. [Citation Graph (, )][DBLP]


  116. Link Gradients: Predicting the Impact of Network Latency on Multitier Applications. [Citation Graph (, )][DBLP]


  117. Design of Experiments within the Mobius Modeling Environment. [Citation Graph (, )][DBLP]


  118. Dependability Analysis with Markov Chains: How Symmetries Improve Symbolic Computations. [Citation Graph (, )][DBLP]


  119. Remote Job Management in the Mobius Modeling Framework. [Citation Graph (, )][DBLP]


  120. Modeling Peer-to-Peer Botnets. [Citation Graph (, )][DBLP]


  121. G-SSASC: Simultaneous Simulation of System Models with bounded Hazard Rates. [Citation Graph (, )][DBLP]


  122. Securing Current and Future Process Control Systems. [Citation Graph (, )][DBLP]


  123. Modeling and analysis of worm defense using stochastic activity networks. [Citation Graph (, )][DBLP]


  124. Möbius: an integrated discrete-event modeling environment. [Citation Graph (, )][DBLP]


Search in 0.025secs, Finished in 0.030secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002