Publications
] "Reliability prediction and sensitivity analysis based on software architecture." In Proceedings International Symposium on Software Reliability Engineering, Issre, 64-75. Vol. 2002-January. 2002.
"Second-order stochastic fluid models with fluid-dependent flow rates." Performance Evaluation 49, no. 1-4 (2002): 341-358.
"SHARPE 2002: Symbolic hierarchical automated reliability and performance evaluator." Proceedings of the 2002 International Conference on Dependable Systems and Networks (2002).
"A simple characterization of provably efficient prefetching algorithms." Proceedings of the 2002 International Conference on Dependable Systems and Networks (2002): 571-580.
"Software reliability and rejuvenation: Modeling and analysis." In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 318-345. Vol. 2459. 2002.
"Software Reliability and Rejuvenation: Modeling and Analysis." In Performance, 318-345. Vol. 2459. 2002.
"Specification-Level Integration of Simulation and Dependability Analysis." In WADS, 245-266. Vol. 2677. 2002.
"SREPT: A tool for software reliability estimation and prediction." Proceedings of the 2002 International Conference on Dependable Systems and Networks (2002).
"System availability with non-exponentially distributed outages." Ieee Transactions on Reliability 51, no. 2 (2002): 193-198.
"Analysis and implementation of software rejuvenation in cluster systems." Acm Sigmetrics Performance Evaluation Review 29, no. 1 (2001): 62-71.
"Analysis of hypergeometric distribution software reliability model." Proceedings International Symposium on Software Reliability Engineering, Issre (2001): 166-175.
"Analysis of periodic preventive maintenance with general system failure distribution." In Proceedings of Ieee Pacific Rim International Symposium on Dependable Computing, Prdc, 103-107. Vol. 2001-January. 2001.
"Architecture-based approach to reliability assessment of software systems." Performance Evaluation 45, no. 2-3 (2001): 179-204.
"Characterizing intrusion tolerant systems using a state transition model." In Proceedings Darpa Information Survivability Conference and Exposition Ii, Discex 2001, 211-221. Vol. 2. 2001.
"Comparison of architecture-based software reliability models." Proceedings International Symposium on Software Reliability Engineering, Issre (2001): 22-31.
"Comparison of architecture-based software reliability models." Proceedings of the International Symposium on Software Reliability Engineering, ISSRE (2001): 22-31.
"Comparison of Hybrid Systems and Fluid Stochastic Petri Nets." Discrete Event Dynamic Systems: Theory and Applications 11, no. 1-2 (2001): 77-95.
"Composite performance and availability analysis of wireless communication networks." Ieee Transactions on Vehicular Technology 50, no. 5 (2001): 1216-1223.
"Estimating software rejuvenation schedules in high-assurance systems." The Computer Journal 44, no. 6 (2001): 473-485.
"Loss formulas and their application to optimization for cellular networks." Ieee Transactions on Vehicular Technology 50, no. 3 (2001): 664-673.
"A method for multiple channel recovery in TDMA wireless communications systems." Computer Communications 24, no. 12 (2001): 1147-1157.
"A new handoff scheme for decreasing both dropped calls and blocked calls in CDMA system." In Eurocon 2001 International Conference on Trends in Communications, Proceedings, 115-119. 2001.
"Performability analysis of TDMA cellular systems based on composite and hierarchical Markov chain models." In Performance and Qos of Next Generation Networking, 317-332. 2001.
"Performance analysis of the corba notification service." Proceedings of the Ieee Symposium on Reliable Distributed Systems (2001): 227-236.