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
Article
2019

Modeling adversarial physical movement in a railway station: Classification and metrics

Cheh, C., Chen, B., Temple, W. G. & Sanders, W. H., Oct 2019, In : ACM Transactions on Cyber-Physical Systems. 4, 1, A11.

Research output: Contribution to journalArticle

Physical Modeling
Intrusion detection
Railway
Metric
Intrusion Detection
2018

Cyberattacks on primary frequency response mechanisms in power grids

Badrinath Krishna, V., Wu, Z., Ambardekar, V. V., Macwan, R. & Sanders, W. H., Nov 2018, Computer, 51, 11, p. 37-45 9 p.

Research output: Contribution to specialist publicationArticle

Outages
Frequency response
Control systems

Evaluating Detectors on Optimal Attack Vectors That Enable Electricity Theft and der Fraud

Krishna, V. B., Gunter, C. & Sanders, W. H., Aug 2018, In : IEEE Journal on Selected Topics in Signal Processing. 12, 4, p. 790-805 16 p., 8355252.

Research output: Contribution to journalArticle

Electricity
Detectors
Energy resources
Advanced metering infrastructures
Smart meters
2016

A Response Cost Model for Advanced Metering Infrastructures

Fawaz, A., Berthier, R. & Sanders, W. H., Mar 2016, In : IEEE Transactions on Smart Grid. 7, 2, p. 543-553 11 p., 7114342.

Research output: Contribution to journalArticle

Advanced metering infrastructures
Costs
Outages
Dynamical systems
Topology
2015

Seclius: An information flow-based, consequence-centric security metric

Zonouz, S. A., Berthier, R., Khurana, H., Sanders, W. H. & Yardley, T., Feb 1 2015, In : IEEE Transactions on Parallel and Distributed Systems. 26, 2, p. 562-573 12 p., 6547151.

Research output: Contribution to journalArticle

Security systems
Critical infrastructures
Intrusion detection
Process control
Learning systems
2014

A framework for evaluating intrusion detection architectures in advanced metering infrastructures

Cárdenas, A. A., Berthier, R., Bobba, R. B., Huh, J. H., Jetcheva, J. G., Grochocki, D. & Sanders, W. H., Mar 1 2014, In : IEEE Transactions on Smart Grid. 5, 2, p. 906-915 10 p., 6740891.

Research output: Contribution to journalArticle

Advanced metering infrastructures
Intrusion detection
Costs
Planning
Communication

Quantitative security metrics: Unattainable holy grail or a vital breakthrough within our reach?

Sanders, W. H., Jan 1 2014, In : IEEE Security and Privacy. 12, 2, p. 67-69 3 p., 6798561.

Research output: Contribution to journalArticle

Security systems
Decision making
decision making

RRE: A game-theoretic intrusion response and recovery engine

Zonouz, S. A., Khurana, H., Sanders, W. H. & Yardley, T. M., Feb 1 2014, In : IEEE Transactions on Parallel and Distributed Systems. 25, 2, p. 395-406 12 p., 6583161.

Research output: Contribution to journalArticle

Engines
Recovery
Network security
Fuzzy rules
Intrusion detection

SOCCA: A security-oriented cyber-physical contingency analysis in power infrastructures

Zonouz, S., Davis, C. M., Davis, K. R., Berthier, R., Bobba, R. B. & Sanders, W. H., Jan 1 2014, In : IEEE Transactions on Smart Grid. 5, 1, p. 3-13 11 p., 6687271.

Research output: Contribution to journalArticle

Topology
Cyber Physical System
2013

Digital I&C and cyber security in nuclear power plants

An, Y., Uddin, R. & Sanders, W. H., 2013, In : Transactions of the American Nuclear Society. 109, PART 2, p. 1876-1877 2 p.

Research output: Contribution to journalArticle

Nuclear power plants

Secloud: A cloud-based comprehensive and lightweight security solution for smartphones

Zonouz, S., Houmansadra, A., Berthiera, R., Borisova, N. & Sanders, W., Jan 1 2013, In : Computers and Security. 37, p. 215-227 13 p.

Research output: Contribution to journalArticle

Smartphones
resources
Software architecture
PC
functionality
2012

Enhancing grid measurements

Bobbo, R. B., Dagle, J., Heine, E., Khurana, H., Sanders, W. H., Sauer, P. & Yardley, T., Jan 1 2012, In : IEEE Power and Energy Magazine. 10, 1, p. 67-73 7 p., 6102586.

Research output: Contribution to journalArticle

Electric power system measurement
Deregulation
Planning
Communication

SCPSE: Security-oriented cyber-physical state estimation for power grid critical infrastructures

Zonouz, S., Rogers, K. M., Berthier, R., Bobba, R. B., Sanders, W. H. & Overbye, T. J., Dec 1 2012, In : IEEE Transactions on Smart Grid. 3, 4, p. 1790-1799 10 p., 6376274.

Research output: Contribution to journalArticle

Critical infrastructures
State estimation
Sensors
Intrusion detection
Electric fuses
2011

Probabilistic model-driven recovery in distributed systems

Joshi, K. R., Hiltunen, M. A., Sanders, W. H. & Schlichting, R. D., Sep 22 2011, In : IEEE Transactions on Dependable and Secure Computing. 8, 6, p. 913-928 16 p., 5590252.

Research output: Contribution to journalArticle

Recovery
Monitoring
Decision theory
Fault detection
Failure analysis

Using CPU gradients for performance-aware energy conservation in multitier systems

Chen, S., Joshi, K. R., Hiltunen, M. A., Schlichting, R. D. & Sanders, W. H., Jun 1 2011, In : Sustainable Computing: Informatics and Systems. 1, 2, p. 113-133 21 p.

Research output: Contribution to journalArticle

Program processors
Energy conservation
Response time (computer systems)
Consolidation
Servers

Using link gradients to predict the impact of network latency on multitier applications

Chen, S., Joshi, K. R., Hiltunen, M. A., Schlichting, R. D. & Sanders, W. H., Jun 1 2011, In : IEEE/ACM Transactions on Networking. 19, 3, p. 855-868 14 p., 5678601.

Research output: Contribution to journalArticle

Relocation
Spectrum analysis
Time delay
Servers
2010

Blackbox prediction of the impact of DVFS on end-to-end performance of multitier systems

Chen, S., Joshi, K. R., Hiltunen, M. A., Schlichting, R. D. & Sanders, W. H., Mar 2010, In : Performance Evaluation Review. 37, 4, p. 59-63 5 p.

Research output: Contribution to journalArticle

Laptop computers
Personal computers
Energy conservation
Servers
Semantics

Designing dependable storage solutions for shared application environments

Gaonkar, S., Keeton, K., Merchant, A. & Sanders, W. H., Jan 1 2010, In : IEEE Transactions on Dependable and Secure Computing. 7, 4, p. 366-380 15 p., 4586394.

Research output: Contribution to journalArticle

Data privacy
Costs
Genetic algorithms
Recovery
Industry
2008

Experiences with building an intrusion-tolerant group communication system

Ramasamy, H. G. V., Pandey, P., Cukier, M. & Sanders, W. H., May 1 2008, In : Software - Practice and Experience. 38, 6, p. 639-666 28 p.

Research output: Contribution to journalArticle

Communication systems
Network protocols
Costs
Recovery
Communication

Usable global network access policy for process control systems

Nicol, D. M., Sanders, W. H., Singh, S. & Seri, M., Nov 1 2008, In : IEEE Security and Privacy. 6, 6, p. 30-36 7 p., 4753671.

Research output: Contribution to journalArticle

control system
Process control
Control systems
policy implementation
XML
2007

A parsimonious approach for obtaining resource-efficient and trustworthy execution

Ramasamy, H. G. V., Agbaria, A. & Sanders, W. H., Jan 1 2007, In : IEEE Transactions on Dependable and Secure Computing. 4, 1, p. 1-17 17 p.

Research output: Contribution to journalArticle

Switches
Fault detection
Masks
Recovery
Processing

A preorder relation for Markov reward processes

Daly, D., Buchholz, P. & Sanders, W. H., Jun 15 2007, In : Statistics and Probability Letters. 77, 11, p. 1148-1157 10 p.

Research output: Contribution to journalArticle

Preorder
Reward
Markov Process
Monotone
Interval

Detecting and exploiting symmetry in discrete-state Markov models

Obal, W. D., McQuinn, M. G. & Sanders, W. H., Dec 1 2007, In : IEEE Transactions on Reliability. 56, 4, p. 643-654 12 p.

Research output: Contribution to journalArticle

Group theory
Graph theory
Specifications

Möbius: An integrated discrete-event modeling environment

Peccoud, J., Courtney, T. & Sanders, W. H., Dec 1 2007, In : Bioinformatics. 23, 24, p. 3412-3414 3 p.

Research output: Contribution to journalArticle

Biological Phenomena
Workflow
Discrete Event
Computational Biology
Stochastic models
2006

An architecture for adaptive intrusion-tolerant applications

Pal, P., Rubel, P., Atighetchi, M., Webber, F., Sanders, W. H., Seri, M., Ramasamy, H., Lyons, J., Courtney, T., Agbaria, A., Cukier, M., Gossett, J. & Keidar, I., Sep 1 2006, In : Software - Practice and Experience. 36, 11-12, p. 1331-1354 24 p.

Research output: Contribution to journalArticle

Avionics
Fault tolerance
Middleware
Redundancy
Information systems

Dynamic partitioning for hybrid simulation of the bistable HIV-1 transactivation network

Griffith, M., Courtney, T., Peccoud, J. & Sanders, W. H., Nov 15 2006, In : Bioinformatics. 22, 22, p. 2782-2789 8 p.

Research output: Contribution to journalArticle

Hybrid Simulation
Transcriptional Activation
HIV-1
Partitioning
Set theory
2004

A global-state-triggered fault injector for distributed system evaluation

Chandra, R., Lefever, R. M., Joshi, K. R., Cukier, M. & Sanders, W. H., Jul 1 2004, In : IEEE Transactions on Parallel and Distributed Systems. 15, 7, p. 593-605 13 p.

Research output: Contribution to journalArticle

Synchronization
Experiments
Specifications

Model-based evaluation: From dependability to security

Nicol, D. M., Sanders, W. H. & Trivedi, K. S., Jan 1 2004, In : IEEE Transactions on Dependable and Secure Computing. 1, 1, p. 48-64 17 p.

Research output: Contribution to journalArticle

Discrete event simulation
Security systems
Computer systems
Acoustic waves

Performability analysis of guarded-operation duration: A translation approach for reward model solutions

Tai, A. T., Sanders, W. H., Alkalai, L., Chau, S. N. & Tso, K. S., Mar 1 2004, In : Performance Evaluation. 56, 1-4, p. 249-276 28 p.

Research output: Contribution to journalArticle

Performability
Reward
Model
Fault-tolerant Systems
Evaluation
Performability
Dependability
Stochastic Methods
Petri nets
Evaluation
2003

An Adaptive Quality of Service Aware Middleware for Replicated Services

Krishnamurthy, S., Sanders, W. H. & Cukier, M., Nov 1 2003, In : IEEE Transactions on Parallel and Distributed Systems. 14, 11, p. 1112-1125 14 p.

Research output: Contribution to journalArticle

Middleware
Quality of service
Feedback
Analytical models
Servers

AQuA: An adaptive architecture that provides dependable distributed objects

Ren, Y., Bakken, D. E., Courtney, T., Cukier, M., Karr, D. A., Rubel, P., Sabnis, C., Sanders, W. H., Schantz, R. E. & Seri, M., Jan 1 2003, In : IEEE Transactions on Computers. 52, 1, p. 31-50 20 p.

Research output: Contribution to journalArticle

CORBA
Common object request broker architecture (CORBA)
Dependability
Replication
Managers

Formal Verification of an Intrusion-Tolerant Group Membership Protocol

Ramasamy, H. G. V., Cukier, M. & Sanders, W. H., Dec 2003, In : IEICE Transactions on Information and Systems. E86-D, 12, p. 2612-2622 11 p.

Research output: Contribution to journalArticle

Network protocols
Formal verification
Explosions
Communication systems

Optimal state-space lumping in Markov chains

Derisavi, S., Hermanns, H. & Sanders, W. H., Sep 30 2003, In : Information Processing Letters. 87, 6, p. 309-315 7 p.

Research output: Contribution to journalArticle

Markov processes
Markov chain
State Space
Sort
Quotient

The Möbius state-level abstract functional interface

Derisavi, S., Kemper, P., Sanders, W. H. & Courtney, T., Oct 1 2003, In : Performance Evaluation. 54, 2, p. 105-128 24 p.

Research output: Contribution to journalArticle

Steady-state Analysis
State-space Representation
Labeled Transition System
Transient Analysis
Modeling
2002

Low-cost error containment and recovery for onboard guarded software upgrading and beyond

Tai, A. T., Tso, K. S., Alkalai, L., Chau, S. N. & Sanders, W. H., Feb 1 2002, In : IEEE Transactions on Computers. 51, 2, p. 121-137 17 p.

Research output: Contribution to journalArticle

Confidence
Recovery
Software
Software design
Fault tolerance

The Möbius framework and its implementation

Deavours, D. D., Clark, G., Courtney, T., Daly, D., Derisavi, S., Doyle, J. M., Sanders, W. H. & Webster, P. G., Oct 1 2002, In : IEEE Transactions on Software Engineering. 28, 10, p. 956-969 14 p.

Research output: Contribution to journalArticle

Catalysts
2001

An adaptive algorithm for tolerating value faults and crash failures

Ren, Y., Cukier, M. & Sanders, W. H., Feb 1 2001, In : IEEE Transactions on Parallel and Distributed Systems. 12, 2, p. 173-191 19 p.

Research output: Contribution to journalArticle

Adaptive algorithms
Common object request broker architecture (CORBA)
Fault tolerance
Communication

Low-cost flexible software fault tolerance for distributed computing

Tai, A. T., Tso, K. S., Sanders, W. H., Alkalai, L. & Chau, S. N., Jan 1 2001, In : Proceedings of the International Symposium on Software Reliability Engineering, ISSRE. p. 148-157 10 p.

Research output: Contribution to journalArticle

Distributed computer systems
Fault tolerance
Network protocols
Recovery
Middleware

Measure-adaptive state-space construction

Obal, W. D. & Sanders, W. H., Apr 2001, In : Performance Evaluation. 44, 1-4, p. 237-258 22 p.

Research output: Contribution to journalArticle

Reward
State Space
Specifications
Performance Measures
Specification

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., Apr 2001, In : Performance Evaluation. 44, 1-4, p. 211-236 26 p.

Research output: Contribution to journalArticle

Cost effectiveness
Confidence
Recovery
Software
Software Components
2000

Dynamic node management and measure estimation in a state-driven fault injector

Chandra, R., Cukier, M., Lefever, R. M. & Sanders, W. H., 2000, In : Proceedings of the IEEE Symposium on Reliable Distributed Systems. p. 248-257 10 p.

Research output: Contribution to journalArticle

Injector
Clocks
Fault
Vertex of a graph
Distributed Systems
1998

An efficient disk-based tool for solving large Markov models

Deavours, D. D. & Sanders, W. H., Jun 1 1998, In : Performance Evaluation. 33, 1, p. 67-84 18 p.

Research output: Contribution to journalArticle

Markov Model
Gauss-Seidel
Computer Modeling
Iterative Solution
State Transition

"On-the-fly" solution techniques for stochastic petri nets and extensions

Deavours, D. D. & Sanders, W. H., Dec 1 1998, In : IEEE Transactions on Software Engineering. 24, 10, p. 889-902 14 p.

Research output: Contribution to journalArticle

Petri nets
Data storage equipment

Performance Analysis of the Knockout Switch Under Bursty Traffic Based on a Stochastic Activity Network Model

Kant, L. & Sanders, W. H., Jan 1998, In : SIMULATION. 70, 1, p. 19-33 15 p.

Research output: Contribution to journalArticle

Network Model
Performance Analysis
Switch
Switches
Traffic
1997
ATM Switch
Automatic teller machines
Consecutive
Switches
Switch

Probabilistic verification of a synchronous round-based consensus protocol

Duggal, H. S., Cukier, M. & Sanders, W. H., 1997, In : Proceedings of the IEEE Symposium on Reliable Distributed Systems. p. 165-174 10 p.

Research output: Contribution to journalArticle

Network protocols
Crash
Distributed Systems
Correctness
Fault

Transient solution of markov models by combining adaptive & standard uniformization

Van Moorsei, A. P. A. & Sanders, W. H., Dec 1 1997, In : IEEE Transactions on Reliability. 46, 3, p. 430-440 11 p.

Research output: Contribution to journalArticle

Software packages
Markov processes
Repair
Costs
1996

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 1996, In : IEEE Transactions on Software Engineering. 22, 9, p. 603-614 12 p.

Research output: Contribution to journalArticle

Random processes

An efficient two-stage iterative method for the steady-state analysis of Markov regenerative stochastic Petri net models

Malhis, L. M. & Sanders, W. H., Oct 1996, In : Performance Evaluation. 27-28, p. 583-601 19 p.

Research output: Contribution to journalArticle

Steady-state Analysis
Stochastic Petri Nets
Iterative methods
Petri nets
Regenerative Process