Research Output per year
Research Output
2005
Automatic model-driven recovery in distributed systems
Joshi, K. R., Hiltunen, M. A., Sanders, W. H. & Schlichting, R. D., Dec 1 2005, In : Proceedings of the IEEE Symposium on Reliable Distributed Systems. p. 25-36 12 p., 1541182.Research output: Contribution to journal › Conference article
2004
CoBFIT: A component-based framework for intrusion tolerance
Ramasamy, H. G. V., Agbaria, A. & Sanders, W. H., Dec 1 2004, In : Conference Proceedings of the EUROMICRO. 30, p. 591-600 10 p.Research output: Contribution to journal › Conference article
Symbolic state-space exploration and numerical analysis of state-sharing composed models
Derisavi, S., Kemper, P. & Sanders, W. H., Jul 15 2004, In : Linear Algebra and Its Applications. 386, 1-3 SUPPL., p. 137-166 30 p.Research output: Contribution to journal › Conference article
2003
Protecting Distributed Software Upgrades that Involve Message-Passing Interface Changes
Tai, A. T., Tso, K. S. & Sanders, W. H., Dec 16 2003, In : Proceedings - IEEE Computer Society's International Computer Software and Applications Conference. p. 385-390 6 p.Research output: Contribution to journal › Conference article
2001
A connection formalism for the solution of large and stiff models
Daly, D. & Sanders, W. H., Jan 1 2001, In : Proceedings of the IEEE Annual Simulation Symposium. p. 258-265 8 p.Research output: Contribution to journal › Conference article
1999
State-space support for path-based reward variables
Obal, W. D. & Sanders, W. H., May 1999, In : Performance Evaluation. 35, 3, p. 233-251 19 p.Research output: Contribution to journal › Conference article
1998
AQuA: an adaptive architecture that provides dependable distributed objects
Cukier, M., Ren, J., Sabnis, C., Henke, D., Pistole, J., Sanders, W. H., Bakken, D. E., Berman, M. E., Karr, D. A. & Schantz, R. E., Dec 1 1998, In : Proceedings of the IEEE Symposium on Reliable Distributed Systems. p. 245-253 9 p.Research output: Contribution to journal › Conference article
1997
Probabilistic verification of a synchronous round-based consensus protocol
Duggal, H. S., Cukier, M. & Sanders, W. H., Dec 1 1997, In : Proceedings of the IEEE Symposium on Reliable Distributed Systems. p. 165-174 10 p.Research output: Contribution to journal › Conference article
1996
Computation of the asymptotic bias and variance for simulation of Markov reward models
van Moorsel, A. P. A., Kant, L. A. & Sanders, W. H., Jan 1 1996, In : Proceedings of the IEEE Annual Simulation Symposium. p. 173-182 10 p.Research output: Contribution to journal › Conference article
Using ZPL to develop a parallel chaos router simulator
Richardson, W., Bailey, M. L. & Sanders, W. H., Dec 1 1996, In : Winter Simulation Conference Proceedings. p. 809-816 8 p.Research output: Contribution to journal › Conference article