| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | William H. Sanders |
Assuring the trustworthiness of the smarter electric grid.  |
ICPE  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Kaustubh R. Joshi, Matti A. Hiltunen, William H. Sanders, Richard D. Schlichting |
Probabilistic Model-Driven Recovery in Distributed Systems.  |
IEEE Trans. Dependable Sec. Comput.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Robin Berthier, William H. Sanders |
Specification-Based Intrusion Detection for Advanced Metering Infrastructures.  |
PRDC  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Rozier, William H. Sanders, Pin Zhou, NagaPramod Mandagere, Sandeep Uttamchandani, Mark L. Yakushev |
Modeling the Fault Tolerance Consequences of Deduplication.  |
SRDS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Elizabeth LeMay, Michael D. Ford, Ken Keefe, William H. Sanders, Carol Muehrcke |
Model-based Security Metrics Using ADversary VIew Security Evaluation (ADVISE).  |
QEST  |
2011 |
DBLP DOI BibTeX RDF |
Quantitative Security Metrics, State-based Security Model, Adversary Attack Decisions |
| 1 | Douglas Eskins, William H. Sanders |
The Multiple-Asymmetric-Utility System Model: A Framework for Modeling Cyber-Human Systems.  |
QEST  |
2011 |
DBLP DOI BibTeX RDF |
Quantitative Security Model, State-based Security Model, Cyber-Human Systems, Human Decision Points |
| 1 | Shravan Gaonkar, Kimberly Keeton, Arif Merchant, William H. Sanders |
Designing Dependable Storage Solutions for Shared Application Environments.  |
IEEE Trans. Dependable Sec. Comput.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryan M. Lefever, Vikram S. Adve, William H. Sanders |
Diverse Partial Memory Replication.  |
DSN  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ann T. Tai, Kam S. Tso, William H. Sanders |
Diversity-inspired clustering for self-healing MANETs: Motivation, protocol, and performability evaluation.  |
DSN  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David M. Nicol, William H. Sanders, Mouna Seri, Sankalp Singh |
Experiences Validating the Access Policy Tool in Industrial Settings.  |
HICSS  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | William H. Sanders |
Quantitative Evaluation of Security Metrics.  |
QEST  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Shravan Gaonkar, Ken Keefe, Ruth Lamprecht, Eric Rozier, Peter Kemper, William H. Sanders |
Performance and dependability modeling with Möbius.  |
SIGMETRICS Performance Evaluation Review  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Saman A. Zonouz, Himanshu Khurana, William H. Sanders, Timothy M. Yardley |
RRE: A game-theoretic intrusion Response and Recovery Engine.  |
DSN  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Ken Keefe, Quincy Mitchell, Eric Rozier, William H. Sanders |
Remote Job Management in the Mobius Modeling Framework.  |
QEST  |
2009 |
DBLP DOI BibTeX RDF |
parallel simulation execution, Simulation, modeling, discrete-event systems, compute clusters |
| 1 | Shravan Gaonkar, William H. Sanders |
G-SSASC: Simultaneous Simulation of System Models with bounded Hazard Rates.  |
Winter Simulation Conference  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | HariGovind V. Ramasamy, Prashant Pandey, Michel Cukier, William H. Sanders |
Experiences with building an intrusion-tolerant group communication system.  |
Softw., Pract. Exper.  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | David M. Nicol, William H. Sanders, Sankalp Singh, Mouna Seri |
Usable Global Network Access Policy for Process Control Systems.  |
IEEE Security & Privacy  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Ann T. Tai, Kam S. Tso, William H. Sanders |
A recurrence-relation-based reward model for performability evaluation of embedded systems.  |
DSN  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Saman A. Zonouz, William H. Sanders |
A Kalman-Based Coordination for Hierarchical State Estimation: Agorithm and Analysis.  |
HICSS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Elizabeth Van Ruitenbeek, William H. Sanders |
Modeling Peer-to-Peer Botnets.  |
QEST  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | HariGovind V. Ramasamy, Adnan Agbaria, William H. Sanders |
A Parsimonious Approach for Obtaining Resource-Efficient and Trustworthy Execution.  |
IEEE Trans. Dependable Sec. Comput.  |
2007 |
DBLP DOI BibTeX RDF |
fault tolerance, Distributed systems, Byzantine faults |
| 1 | W. Douglas Obal II, Michael G. McQuinn, William H. Sanders |
Detecting and Exploiting Symmetry in Discrete-State Markov Models.  |
IEEE Transactions on Reliability  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean Peccoud, Tod Courtney, William H. Sanders |
Möbius: an integrated discrete-event modeling environment.  |
Bioinformatics  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | David M. Nicol, Steve Hanna, Frank Stratton, William H. Sanders |
Modeling and analysis of worm defense using stochastic activity networks.  |
SpringSim  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Elizabeth Van Ruitenbeek, Tod Courtney, William H. Sanders, Fabrice Stevens |
Quantifying the Effectiveness of Mobile Phone Virus Response Mechanisms.  |
DSN  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | HariGovind V. Ramasamy, Mouna Seri, William H. Sanders |
The coBFIT toolkit.  |
PODC  |
2007 |
DBLP DOI BibTeX RDF |
replication, intrusion tolerance, byzantine faults, software toolkit |
| 1 | Michael G. McQuinn, Peter Kemper, William H. Sanders |
Dependability Analysis with Markov Chains: How Symmetries Improve Symbolic Computations.  |
QEST  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
secure platforms, vulnerability testing, access control, intrusion detection, Process control systems |
| 1 | Peter Kemper, William H. Sanders |
Modelling techniques and tools for computer performance evaluation.  |
Perform. Eval.  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Griffith, Tod Courtney, Jean Peccoud, William H. Sanders |
Dynamic partitioning for hybrid simulation of the bistable HIV-1 transactivation network.  |
Bioinformatics  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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.  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | W. Douglas Obal II, Michael G. McQuinn, William H. Sanders |
Detecting and Exploiting Symmetry in Discrete-state Markov Models.  |
PRDC  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Vinh Vi Lam, William H. Sanders, Peter Buchholz |
A Component-Level Path Composition Approach for Efficient Transient Analysis of Large CTMCs.  |
DSN  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Kaustubh R. Joshi, William H. Sanders, Matti A. Hiltunen, Richard D. Schlichting |
Automatic Recovery Using Bounded Partially Observable Markov Decision Processes.  |
DSN  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Ihde, William H. Sanders |
Barbarians in the Gate: An Experimental Validation of NIC-based Distributed Firewall Performance and Flood Tolerance.  |
DSN  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Shravan Gaonkar, Kimberly Keeton, Arif Merchant, William H. Sanders |
Designing dependable storage solutions for shared application environments.  |
DSN  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | David Daly, Peter Buchholz, William H. Sanders |
Bound-Preserving Composition for Markov Reward Models.  |
QEST  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Shravan Gaonkar, William H. Sanders |
Simultaneous Simulation of Alternative System Configurations.  |
PRDC  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | William H. Sanders |
Probabilistic Validation of Computer System Survivability.  |
LADC  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | HariGovind V. Ramasamy, Adnan Agbaria, William H. Sanders |
Parsimony-Based Approach for Obtaining Resource-Efficient and Trustworthy Execution.  |
LADC  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Ann T. Tai, Kam S. Tso, William H. Sanders, Savio N. Chau |
A Performability-Oriented Software Rejuvenation Framework for Distributed Applications.  |
DSN  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Salem Derisavi, Peter Kemper, William H. Sanders |
Lumping Matrix Diagram Representations of Markov Models.  |
DSN  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Kaustubh R. Joshi, William H. Sanders, Matti A. Hiltunen, Richard D. Schlichting |
Automatic Model-Driven Recovery in Distributed Systems.  |
SRDS  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Eleftheria Athanasopoulou, Purvesh Thakker, William H. Sanders |
Evaluating the Dependability of a LEO Satellite Network for Scientific Applications.  |
QEST  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Adnan Agbaria, William H. Sanders |
Application-Driven Coordination-Free Distributed Checkpointing.  |
ICDCS  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | David M. Nicol, William H. Sanders, Kishor S. Trivedi |
Model-Based Evaluation: From Dependability to Security.  |
IEEE Trans. Dependable Sec. Comput.  |
2004 |
DBLP DOI BibTeX RDF |
performability evaluation, stochastic modeling, Dependability evaluation, security evaluation |
| 1 | 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.  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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.  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Anil Sharma, Jason R. Martin, Nitin Anand, Michel Cukier, William H. Sanders |
Ferret: A Host Vulnerability Checking Tool.  |
PRDC  |
2004 |
DBLP DOI BibTeX RDF |
Security auditing tool, host vulnerabilities, security evaluation |
| 1 | William H. Sanders |
Stochastic Methods for Dependability, Performability, and Security Evaluation.  |
ICATPN  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ann T. Tai, Kam S. Tso, William H. Sanders |
Cluster-Based Failure Detection Service for Large-Scale Ad Hoc Wireless Network Applications.  |
DSN  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Adnan Agbaria, William H. Sanders |
Distributed Snapshots for Mobile Computing Systems.  |
PerCom  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Vinh Vi Lam, Peter Buchholz, William H. Sanders |
A Structured Path-Based Approach for Computing Transient Rewards of Large CTMCs.  |
QEST  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Buchholz, William H. Sanders |
Approximate Computation of Transient Results for Large Markov Chains.  |
QEST  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | HariGovind V. Ramasamy, Adnan Agbaria, William H. Sanders |
CoBFIT: A Component-Based Framework for Intrusion Tolerance.  |
EUROMICRO  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Salem Derisavi, Holger Hermanns, William H. Sanders |
Optimal state-space lumping in Markov chains.  |
Inf. Process. Lett.  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Salem Derisavi, Peter Kemper, William H. Sanders, Tod Courtney |
The Möbius state-level abstract functional interface.  |
Perform. Eval.  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Sudha Krishnamurthy, William H. Sanders, Michel Cukier |
An Adaptive Quality of Service Aware Middleware for Replicated Services.  |
IEEE Trans. Parallel Distrib. Syst.  |
2003 |
DBLP DOI BibTeX RDF |
Replica consistency, quality of service, middleware, probabilistic modeling, timeliness |
| 1 | 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  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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  |
Computer Performance Evaluation / TOOLS  |
2003 |
DBLP BibTeX RDF |
|
| 1 | Vishu Gupta, Vinh Vi Lam, HariGovind V. Ramasamy, William H. Sanders, Sankalp Singh |
Dependability and Performance Evaluation of Intrusion-Tolerant Server Architectures.  |
LADC  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Sankalp Singh, Michel Cukier, William H. Sanders |
Probabilistic Validation of an Intrusion-Tolerant Replication System.  |
DSN  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryan M. Lefever, Michel Cukier, William H. Sanders |
An Experimental Evaluation of Correlated Network Partitions in the Coda Distributed File System.  |
SRDS  |
2003 |
DBLP DOI BibTeX RDF |
correlated network faults, Loki fault injector, state-driven fault injection, fault injection, distributed file system, experimental evaluation, Coda |
| 1 | Ann T. Tai, Kam S. Tso, William H. Sanders |
Protecting Distributed Software Upgrades that Involve Message-Passing Interface Changes.  |
COMPSAC  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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.  |
2002 |
DBLP DOI BibTeX RDF |
PEPA, execution policy, Markov models, Stochastic models, stochastic Petri nets, modeling tools, modeling frameworks, modeling formalisms |
| 1 | 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  |
2002 |
DBLP DOI BibTeX RDF |
Guarded software upgrading, message-driven confidence-driven, global state consistency and recoverability, performance overhead, software fault tolerance, distributed embedded systems |
| 1 | Jennifer Ren, Paul Rubel, Mouna Seri, Michel Cukier, William H. Sanders, Tod Courtney |
Passive Replication Schemes in Aqua.  |
PRDC  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Salem Derisavi, Peter Kemper, William H. Sanders, Tod Courtney |
The Möbius State-Level Abstract Functional Interface.  |
Computer Performance Evaluation / TOOLS  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | David Daly, Gautam Kar, William H. Sanders |
Modeling of Service-Level Agreements for Composed Services.  |
DSOM  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. (PDF / PS)  |
IPDPS  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Sudha Krishnamurthy, William H. Sanders, Michel Cukier |
An Adaptive Framework for Tunable Consistency and Timeliness Using Replication.  |
DSN  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Sudha Krishnamurthy, William H. Sanders, Michel Cukier |
Performance Evaluation of a Probabilistic Replica Selection Algorithm.  |
WORDS  |
2002 |
DBLP DOI BibTeX RDF |
timing failure, performance evaluation, probabilistic models, replica selection |
| 1 | Kaustubh R. Joshi, Michel Cukier, William H. Sanders |
Experimental Evaluation of the Unavailability Induced by a Group Membership Protocol.  |
EDCC  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | W. Douglas Obal II, William H. Sanders |
Measure-adaptive state-space construction.  |
Perform. Eval.  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | 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.  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jennifer Ren, Michel Cukier, William H. Sanders |
An Adaptive Algorithm for Tolerating Value Faults and Crash Failures.  |
IEEE Trans. Parallel Distrib. Syst.  |
2001 |
DBLP DOI BibTeX RDF |
adaptive fault tolerance, CORBA, replication protocols, group communication systems, Dependable distributed systems |
| 1 | David Daly, William H. Sanders |
A Connection Formalism for the Solution of Large and Stiff Models.  |
Annual Simulation Symposium  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | William H. Sanders |
Business Meeting: IEEE Technical Committee on Fault Tolerance.  |
DSN  |
2001 |
DBLP BibTeX RDF |
|