Publications
Survivability analysis of telephone access network." Proceedings - International Symposium on Software Reliability Engineering, ISSRE (2004): 367-378.
"Adaptive Software Rejuvenation: Degradation Model and Rejuvenation Scheme." Proceedings of the International Conference on Dependable Systems and Networks (2003): 241-248.
"Architecture-Based Approaches to Software Reliability Prediction." Computers and Mathematics with Applications 46, no. 7 (2003): 1023-1036.
"A BDD-Based Algorithm for Analysis of Multistate Systems with Multistate Components." IEEE Transactions on Computers 52, no. 12 (2003): 1608-1618.
"Dependability Enhancement for IEEE 802.11 Wireless LAN with Redundancy Techniques." Proceedings of the International Conference on Dependable Systems and Networks (2003): 521-528.
"Hierarchical composition and aggregation of state-based availability and performability models." IEEE Transactions on Reliability 52, no. 1 (2003): 44-52.
"Importance analysis with Markov chains." Proceedings of the Annual Reliability and Maintainability Symposium (2003): 89-95.
"Maximizing interval reliability in operational software system with rejuvenation." In Proceedings - International Symposium on Software Reliability Engineering, ISSRE, 479-490. Vol. 2003-January. 2003.
"Modeling of user perceived webserver availability." IEEE International Conference on Communications 3 (2003): 1796-1800.
"Performability modelling of wireless communication systems." International Journal of Communication Systems 16, no. 6 (2003): 561-577.
"Performance Analysis of Reservation Media-Access Protocol with Access and Serving Queues Under Bursty Traffic in GPRS/EGPRS." IEEE Transactions on Vehicular Technology 52, no. 6 (2003): 1627-1641.
"Performance modeling of wireless networks with generally distributed handoff interarrival times." Computer Communications 26, no. 15 (2003): 1747-1755.
"Preventive maintenance of multi-state system with phase-type failure time distribution and non-zero inspection time." International Journal of Reliability, Quality and Safety Engineering 10, no. 3 (2003): 323-344.
"Recent advances in modeling response-time distributions in real-time systems." Proceedings of the IEEE 91, no. 7 (2003): 1023-1036.
"Security analysis of SITAR intrusion tolerance system." Proceedings of the ACM Workshop on Survivable and Self-Regenerative Systems (2003): 23-32.
"SITAR: A scalable intrusion-tolerant architecture for distributed services." In Foundations of Intrusion Tolerant Systems, OASIS 2003, 359-367. 2003.
"Software Performance Analysis Using a Language Measure." Proceedings of the American Control Conference 3 (2003): 2258-2263.
"Specification-level integration of simulation and dependability analysis." In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 245-266. Vol. 2677 LNCS. 2003.
"All-terminal reliability analysis of the SRP-ring: The effect of enhanced intelligent protection switching." In Proceedings - International Conference on Computer Communications and Networks, ICCCN, 52-57. Vol. 2002-January. 2002.
"Analysis of inspection-based preventive maintenance in operational software systems." Proceedings of the IEEE Symposium on Reliable Distributed Systems (2002): 286-295.
"Analytic Modeling of Handoffs in Wireless Cellular Networks." Proceedings of the Joint Conference on Information Sciences 6 (2002): 1383-1392.
"Application of semi-Markov process and CTMC to evaluation of UPS system availability." Proceedings of the Annual Reliability and Maintainability Symposium (2002): 584-591.
"An approach for estimation of software aging in a Web server." In ISESE 2002 - Proceedings, 2002 International Symposium on Empirical Software Engineering, 91-100. 2002.
"Availability models with age-dependent checkpointing." Proceedings of the IEEE Symposium on Reliable Distributed Systems (2002): 130-139.
"Call admission control for reducing dropped calls in CDMA cellular systems." Computer Communications 25, no. 7 (2002): 689-699.
"