Publications
Online monitoring of software system reliability." EDCC-8 - Proceedings of the 8th European Dependable Computing Conference (2010): 209-218.
"Performability analysis of multistate computing systems using multivalued decision diagrams." IEEE Transactions on Computers 59, no. 10 (2010): 1419-1433.
"Poster abstract: ACT: Attack countermeasure trees for information assurance analysis." Proceedings - IEEE INFOCOM (2010).
"Quantifying resiliency of IaaS cloud." Proceedings of the IEEE Symposium on Reliable Distributed Systems (2010): 343-347.
"Second workshop on proactive failure avoidance, recovery, and maintenance (PFARM)." Proceedings of the International Conference on Dependable Systems and Networks (2010): 616-618.
"Software fault mitigation and availability assurance techniques." International Journal of System Assurance Engineering and Management 1, no. 4 (2010): 340-350.
"Software reliability and testing time allocation: An architecture-based approach." IEEE Transactions on Software Engineering 36, no. 3 (2010): 323-337.
"Uncertainty propagation in analytic availability models." Proceedings of the IEEE Symposium on Reliable Distributed Systems (2010): 121-130.
"Using accelerated life tests to estimate time to software aging failure." Proceedings - International Symposium on Software Reliability Engineering, ISSRE (2010): 211-219.
"Analyzing the hold time schemes to limit the routing table calculations in OSPF protocol." Proceedings - International Conference on Advanced Information Networking and Applications, AINA (2009): 74-81.
"Availability modeling and analysis of a virtualized system." 2009 15th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2009 (2009): 365-371.
"Dependability and security models." Proceedings of the 2009 7th International Workshop on the Design of Reliable Communication Networks, DRCN 2009 (2009): 11-20.
"The fundamentals of software aging." 2008 IEEE International Conference on Software Reliability Engineering Workshops, ISSRE Wksp 2008 (2009).
"Markovian arrival process parameter estimation with group data." IEEE/ACM Trans. Netw. 17 (2009): 1326-1339.
"Markovian arrival process parameter estimation with group data." IEEE/ACM Transactions on Networking 17, no. 4 (2009): 1326-1339.
"Modeling user-perceived reliability based on user behavior graphs." International Journal of Reliability, Quality and Safety Engineering 16, no. 4 (2009): 303-329.
"Network survivability modeling." Computer Networks 53, no. 8 (2009): 1215-1234.
"Resilience in computer systems and networks." IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD (2009): 74-77.
"A sctochastic model for beaconless IEEE 802.15.4 MAC operation." Proceedings of the 2009 International Symposium on Performance Evaluation of Computer and Telecommunication Systems, SPECTS 2009 (2009): 199-207.
"SHARPE at the age of twenty two." ACM SIGMETRICS Performance Evaluation Review 36, no. 4 (2009): 52-57.
"A stochastic model for beaconless IEEE 802.15.4 MAC operation." International Symposium on Performance Evaluation of Computer and Telecommunication Systems 2009, SPECTS 2009, Part of the 2009 Summer Simulation Multiconference, SummerSim 2009 (2009): 199-207.
"SURVIVABILITY MODELING WITH STOCHASTIC REWARD NETS." In PROCEEDINGS OF THE 2009 WINTER SIMULATION CONFERENCE (WSC 2009 ), VOL 1-4, 822-+. 2009.
"Toward optimal virtual machine placement and rejuvenation scheduling in a virtualized data center." 2008 IEEE International Conference on Software Reliability Engineering Workshops, ISSRE Wksp 2008 (2009).
"Workshop on Proactive Failure Avoidance, Recovery and Maintenance (PFARM)." Proceedings of the International Conference on Dependable Systems and Networks (2009): 590-591.
"Achieving and assuring high availability." In 2008 IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL & DISTRIBUTED PROCESSING, VOLS 1-8, 252-+. 2008.
"