William H Sanders

Interim Director, Discovery Partners Institute

1985 …2019
If you made any changes in Pure, your changes will be visible here soon.

Research Output 1985 2019

Filter
Paper
2014

Reliable GPS-based timing for power systems: A multi-layered multi-receiver architecture

Heng, L., Makela, J. J., Dominguez-Garcia, A., Bobba, R. B., Sanders, W. H. & Gao, G. X., Jan 1 2014.

Research output: Contribution to conferencePaper

Phasor measurement units
Global positioning system
Jamming
Electric power system measurement
Electric current measurement
2008

A recurrence-relation-based reward model for performability evaluation of embedded systems

Tai, A. T., Tso, K. S. & Sanders, W. H., Oct 13 2008, p. 532-541. 10 p.

Research output: Contribution to conferencePaper

Embedded systems
Markov processes

Scaling file systems to support petascale clusters: A dependability analysis to support informed design choices

Gaonkar, S., Rozier, E., Tong, A. & Sanders, W. H., Oct 13 2008, p. 386-391. 6 p.

Research output: Contribution to conferencePaper

Servers
Stochastic models
Availability
2005

A performability-oriented software rejuvenation framework for distributed applications

Tai, A. T., Tso, K. S., Sanders, W. H. & Chau, S. N., Nov 9 2005, p. 570-579. 10 p.

Research output: Contribution to conferencePaper

Redundancy

Application-driven coordination-free distributed checkpointing

Agbaria, A. & Sanders, W. H., Jan 1 2005, p. 177-186. 10 p.

Research output: Contribution to conferencePaper

Stochastic models
Fault tolerance

Lumping matrix diagram representations of markov models

Derisavi, S., Kemper, P. & Sanders, W. H., Nov 9 2005, p. 742-751. 10 p.

Research output: Contribution to conferencePaper

Markov processes
Resource allocation
Repair
2004

Cluster-based failure detection service for large-scale ad hoc wireless network applications

Tai, A. T., Tso, K. S. & Sanders, W. H., Oct 1 2004, p. 805-814. 10 p.

Research output: Contribution to conferencePaper

Wireless ad hoc networks
Communication
Fault tolerance
Redundancy
2003

On Integrating the Möbius and Modest Modeling Tools

Bohnenkamp, H., Courtney, T., Daly, D., Derisavi, S., Hermanns, H., Katoen, J. P., Klaren, R., Vi Lam, V. & Sanders, W. H., Dec 1 2003. 1 p.

Research output: Contribution to conferencePaper

Specifications
Specification languages
Stochastic models

Opportunity-Adaptive QoS Enhancement in Satellite Constellations: A Case Study

Tai, A. T., Tso, K. S., Alkalai, L., Chau, S. N. & Sanders, W. H., Dec 1 2003, p. 655-664. 10 p.

Research output: Contribution to conferencePaper

Quality of service
Satellites
Demonstrations
Degradation

Probabilistic Validation of an Intrusion-Tolerant Replication System

Singh, S., Cukier, M. & Sanders, W. H., Dec 1 2003, p. 615-624. 10 p.

Research output: Contribution to conferencePaper

Computer systems
2000

Measure-adaptive state-space construction

Obal, W. D. & Sanders, W. H., Jan 1 2000, p. 25-34. 10 p.

Research output: Contribution to conferencePaper

Specifications

On the effectiveness of a message-driven confidence-driven protocol for guarded software upgrading

Tai, A. T., Tso, K. S., Alkalai, L., Chau, S. N. & Sanders, W. H., Jan 1 2000, p. 59-68. 10 p.

Research output: Contribution to conferencePaper

Recovery
Costs
1999

On-board guarded software upgrading for space missions

Tai, A. T., Tso, K. S., Alkalai, L., Chau, S. N. & Sanders, W. H., Dec 1 1999.

Research output: Contribution to conferencePaper

Redundancy
Costs
1997

`On-the-fly' solution techniques for stochastic Petri nets and extensions

Deavours, D. D. & Sanders, W. H., Jan 1 1997, p. 132-141. 10 p.

Research output: Contribution to conferencePaper

Stochastic Petri Nets
Petri nets
Gauss-Seidel
State Transition
State Space

Performance analysis of two time-based coordinated checkpointing protocols

Kavanaugh, G. P. & Sanders, W. H., Dec 1 1997, p. 194-201. 8 p.

Research output: Contribution to conferencePaper

Analytical models
Costs
1995

Algorithms for the generation of state-level representations of stochastic activity networks with general reward structures

Qureshi, M. A., Sanders, W. H., van Moorsel, A. P. A. & German, R., Dec 1 1995, p. 180-190. 11 p.

Research output: Contribution to conferencePaper

Petri nets
Reward
Stochastic Petri Nets
Random processes
Performance Measures

Loss process analysis of the knockout switch using stochastic activity networks

Kant, L. & Sanders, W. H., Dec 1 1995, p. 344-349. 6 p.

Research output: Contribution to conferencePaper

Switches
Voice/data communication systems
Asynchronous transfer mode
Markov processes
Telecommunication

Numerical evaluation of a group-oriented multicast protocol using stochastic activity networks

Malhis, L. M., Sanders, W. H. & Schlichting, R. D., Dec 1 1995, p. 63-72. 10 p.

Research output: Contribution to conferencePaper

Multicast
Performability
Evaluation
Stabilization
Petri nets

Ultrasan version 3: Architecture, features, and implementation

Sanders, W. H., Obal, W. D., Qureshit, M. A. & Widjanarkot, F. K., Jan 1 1995, p. 327-338. 12 p.

Research output: Contribution to conferencePaper

Computer networks
Computer systems
Specifications

UltraSAN version 3 overview

Deavours, D. D., Obal, W. D., Qureshi, M. A., Sanders, W. H. & van Moorsel, A. P. A., Dec 1 1995, p. 216-217. 2 p.

Research output: Contribution to conferencePaper

Report generators
Performability
Software
Transient State
Model Specification