Adaptive software rejuvenation: degradation model and rejuvenation scheme." 2003 International Conference on Dependable Systems and Networks, 2003. Proceedings.."
Analysis of hypergeometric distribution software reliability model." Proceedings 12th International Symposium on Software Reliability Engineering."
Analysis of software rejuvenation using Markov Regenerative Stochastic Petri Net." Proceedings of Sixth International Symposium on Software Reliability Engineering. Issre'95."
An analytical approach to architecture-based software reliability prediction." In Proceedings. Ieee International Computer Performance and Dependability Symposium. Ipds'98 (Cat. No.98tb100248), 13-22."
Application of semi-Markov process and CTMC to evaluation of UPS system availability." Annual Reliability and Maintainability Symposium. 2002 Proceedings (Cat. No.02ch37318)."
An approach for combinatorial performance and availability analysis." In Proceedings of 1993 Ieee 12th Symposium on Reliable Distributed Systems."
Approximate analysis of priority scheduling systems using stochastic reward nets."  Proceedings. the 13th International Conference on Distributed Computing Systems."
Availability models with age-dependent checkpointing." 21st Ieee Symposium on Reliable Distributed Systems, 2002. Proceedings.."
A cache error propagation model." Proceedings Pacific Rim International Symposium on Fault Tolerant Systems."
Combined performance and availability analysis of a switched network application." Proceedings of Icc'97 International Conference on Communications."
Dependability analysis of distributed computer systems with imperfect coverage." Digest of Papers. Twenty Ninth Annual International Symposium on Fault Tolerant Computing (Cat. No.99cb36352)."
Dependability enhancement for IEEE 802.11 wireless LAN with redundancy techniques." 2003 International Conference on Dependable Systems and Networks, 2003. Proceedings.."
Dependency characterization in path-based approaches to architecture-based software reliability prediction." In Proceedings. 1998 Ieee Workshop on Application Specific Software Engineering and Technology. Asset 98 (Cat. No.98ex183), 86-89."
On the development of dependability-evaluation workbench for high-assurance system designers." Proceedings 1997 High Assurance Engineering Workshop."
Discrete-event simulation of fluid stochastic Petri nets." Proceedings of the Seventh International Workshop on Petri Nets and Performance Models."
Heuristic self-organization algorithms for software reliability assessment and their application." Proceedings 11th International Symposium on Software Reliability Engineering. Issre 2000."
HIGHER RADIX ON-LINE DIVISION."164-174."
IDEA: integrated design environment for assessment of ATM networks." Proceedings of Iceccs '96: 2nd Ieee International Conference on Engineering of Complex Computer Systems (Held Jointly With 6th Csesaw and 4th Ieee Rtaw)."
Importance analysis with Markov chains." Annual Reliability and Maintainability Symposium, 2003.."
A methodology for detection and estimation of software aging." Proceedings Ninth International Symposium on Software Reliability Engineering (Cat. No.98tb100257)."
Modeling and analysis of software aging and rejuvenation." Proceedings 33rd Annual Simulation Symposium (Ss 2000)."
OPTIMAL SELECTION OF CPU SPEED, DEVICE CAPACITIES, AND ALLOCATION OF FILES WITH VARIABLE RECORD SIZE." National Bureau of Standards, Special Publication: 129-135."
Performability analysis of handoff calls in personal communication networks." Proceedings of Sixth International Conference on Computer Communications and Networks."
Performance analysis of distributed real-time databases." In Proceedings. Ieee International Computer Performance and Dependability Symposium. Ipds'98 (Cat. No.98tb100248), 184-194."