Publications
Semi-numerical transient analysis of Markov models." Proceedings of the Annual Southeast Conference (1995): 13-23.
"Sensitivity analysis of a hierarchical model of mobile cloud computing." Simulation Modelling Practice and Theory 50 (2015): 151-164.
"Sensitivity analysis of availability of redundancy in computer networks." CTRQ 2011 - 4th International Conference on Communication Theory, Reliability, and Quality of Service (2011): 115-121.
"Sensitivity analysis of reliability and performability measures for multiprocessor systems." Perform. Eval. Rev. (USA) 16, no. 1 (1988): 177-186.
"Sensitivity Analysis of Reliability and Performability Measures for Multiprocessor Systems." Sigmetrics (1988): 177-186.
"On the sensitivity of transient solutions of Markov models." Proceedings of the 1993 ACM SIGMETRICS Conference on Measurement and Modeling of Computer Systems, SIGMETRICS 1993 (1993): 122-134.
"Service Availability Analysis in a Virtualized System: A Markov Regenerative Model Approach." IEEE Transactions on Cloud Computing 10, no. 3 (2022): 2118-2130.
"SHARPE 2002: Symbolic hierarchical automated reliability and performance evaluator." Proceedings of the 2002 International Conference on Dependable Systems and Networks (2002).
"SHARPE: a modeler's toolkit." Proceedings -IEEE International Computer Performance and Dependability Symposium, IPDS (1996).
"SHARPE: a modeler's toolkit." Proceedings of Ieee International Computer Performance and Dependability Symposium.
"SHARPE at the age of twenty two." ACM SIGMETRICS Performance Evaluation Review 36, no. 4 (2009): 52-57.
"Should I add a processor?" Proceedings of the Hawaii International Conference on System Science 1 (1990): 214-221.
"A simple characterization of provably efficient prefetching algorithms." Proceedings of the 2002 International Conference on Dependable Systems and Networks (2002): 571-580.
"A simple characterization of provably efficient prefetching algorithms." Proceedings International Conference on Dependable Systems and Networks.
"A single server queue in a hard-real-time environment." Operations Research Letters 4, no. 4 (1985): 161-168.
"SINR-Based Analysis of IEEE 802.11p/bd Broadcast VANETs for Safety Services." IEEE Transactions on Network and Service Management 18, no. 3 (2021): 2672-2686.
"Software fault mitigation and availability assurance techniques." International Journal of System Assurance Engineering and Management 1, no. 4 (2010): 340-350.
"Software Performance Analysis Using a Language Measure." Proceedings of the American Control Conference 3 (2003): 2258-2263.
"Software rejuvenation in eucalyptus cloud computing infrastructure: A method based on time series forecasting and multiple thresholds." Proceedings - 2011 3rd International Workshop on Software Aging and Rejuvenation, WoSAR 2011 (2011): 38-43.
"Software rejuvenation policies for cluster systems under varying workload." Proceedings - IEEE Pacific Rim International Symposium on Dependable Computing (2004): 122-129.
"Software rejuvenation policies for cluster systems under varying workload." 10th Ieee Pacific Rim International Symposium on Dependable Computing, 2004. Proceedings..
"Software reliability analysis incorporating fault detection and debugging activities." Proceedings of the International Symposium on Software Reliability Engineering, ISSRE (1998): 202-211.
"Software reliability analysis incorporating fault detection and debugging activities." Proceedings Ninth International Symposium on Software Reliability Engineering (Cat. No.98tb100257).
"Software reliability and testing time allocation: An architecture-based approach." IEEE Transactions on Software Engineering 36, no. 3 (2010): 323-337.
"A Software Tool for Learning About Stochastic Models." IEEE Transactions on Education 36, no. 1 (1993): 56-61.
"