Publications
Toward accessibility enhancement of dependability modeling techniques and tools." In Digest of Papers - 27th Annual International Symposium on Fault-Tolerant Computing, FTCS 1997, 37-41. 1997.
"Transient analysis of deterministic and stochastic petri nets." In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 166-185. Vol. 691 LNCS. 1993.
"Transient Analysis of Deterministic and Stochastic Petri Nets." In Application and Theory of Petri Nets, 166-185. Vol. 691. 1993.
"Transient Analysis of Markov and Markov Reward Models." In Computer Performance and Reliability, 535-545. 1987.
"TRANSIENT ANALYSIS OF REAL-TIME SYSTEMS USING DETERMINISTIC AND STOCHASTIC PETRI NETS." In QUALITY OF COMMUNICATION-BASED SYSTEMS, 69-84. 1995.
"Transient performance & availability modeling in high volume outpatient clinics." In Proceedings - Annual Reliability and Maintainability Symposium. 2017.
"Transient Security and Dependability Analysis of MEC Micro Datacenter under Attack." In Proceedings - Annual Reliability and Maintainability Symposium. Vol. 2021-May. 2021.
"Understanding the Impacts of Influencing Factors on Time to a DataRace Software Failure." In Proceedings - International Symposium on Software Reliability Engineering, ISSRE, 56-66. Vol. 2017-October. 2017.
"Workshop on Model Based Design for Cyber-Physical Systems (MB4CP)." In Proceedings of the International Conference on Dependable Systems and Networks, 565-566. Vol. 2015-September. 2015.
"7 Failure correlation in software reliability models." IEEE Transactions on Reliability 49, no. 1 (2000): 37-48.
"Accelerated degradation tests applied to software aging experiments." IEEE Transactions on Reliability 59, no. 1 (2010): 102-114.
"Accelerating mean time to failure computations." Performance Evaluation 27-28 (1996): 627-645.
"Accurate and efficient stochastic reliability analysis of composite services using their compact Markov reward model representations." Proceedings - 2007 IEEE International Conference on Services Computing, SCC 2007 (2007): 114-121.
"Adaptive software rejuvenation: degradation model and rejuvenation scheme." 2003 International Conference on Dependable Systems and Networks, 2003. Proceedings..
"Adaptive Software Rejuvenation: Degradation Model and Rejuvenation Scheme." Proceedings of the International Conference on Dependable Systems and Networks (2003): 241-248.
"AGGREGATION TECHNIQUE FOR THE TRANSIENT ANALYSIS OF STIFF MARKOV CHAINS." IEEE Transactions on Computers C-35, no. 9 (1986): 803-814.
"AGGREGATION TECHNIQUE FOR THE TRANSIENT ANALYSIS OF STIFF MARKOV CHAINS." IEEE Transactions on Computers C-35, no. 9 (1986): 803-814.
"Aging, Fast and Slow." Computer 55, no. 5 (2022): 73-75.
"Algorithm for reliability analysis of phased-mission systems." Reliability Engineering and System Safety 66, no. 2 (1999): 157-170.
"Analysis and implementation of software rejuvenation in cluster systems." Performance Evaluation Review 29, no. 1 (2001): 62-71.
"Analysis of a two-level software rejuvenation policy." Reliability Engineering and System Safety 87, no. 1 (2005): 13-22.
"ANALYSIS OF COMPUTER PERFORMANCE AND RELIABILITY." (1983): 464-467.
"Analysis of conditional MTTF of fault-tolerant systems." Microelectronics Reliability 38, no. 3 (1998): 393-401.
"Analysis of hypergeometric distribution software reliability model." Proceedings 12th International Symposium on Software Reliability Engineering.
"Analysis of hypergeometric distribution software reliability model." Proceedings of the International Symposium on Software Reliability Engineering, ISSRE (2001): 166-175.
"