Publications
Heuristic self-organization algorithms for software reliability assessment and their application." Proceedings of the International Symposium on Software Reliability Engineering, ISSRE (2000): 40-51.
"Implementation of importance splitting techniques in stochastic petri net package." In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 216-229. Vol. 1786. 2000.
"Implementation of Importance Splitting Techniques in Stochastic Petri Net Package." In Computer Performance Evaluation / TOOLS, 216-229. Vol. 1786. 2000.
"Modeling and analysis of software aging and rejuvenation." Proceedings of the IEEE Annual Simulation Symposium (2000): 270-279.
"The optimal preventive maintenance policy for a software system with multi server station." In 6TH ISSAT INTERNATIONAL CONFERENCE ON RELIABILITY AND QUALITY IN DESIGN, PROCEEDINGS, 275-279. 2000.
"Performance analysis of the CORBA event service using stochastic reward nets." Proceedings of the IEEE Symposium on Reliable Distributed Systems (2000): 238-247.
"Reliability and Performability Modeling Using SHARPE 2000." In Computer Performance Evaluation / TOOLS, 345-349. Vol. 1786. 2000.
"Reliability and performability modeling using SHARPE 2000." In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 345-349. Vol. 1786. 2000.
"SPNP: Stochastic petri nets. Version 6. 0." In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 354-357. Vol. 1786. 2000.
"SPNP: Stochastic Petri Nets. Version 6.0." In Computer Performance Evaluation / TOOLS, 354-357. Vol. 1786. 2000.
"SREPT: Software Reliability Estimation and Prediction Tool." Performance Evaluation 39, no. 1-4 (2000): 37-60.
"SREPT: Software Reliability Estimation and Prediction Tool." In Computer Performance Evaluation / TOOLS, 358-361. Vol. 1786. 2000.
"Statistical non-parametric algorithms to estimate the optimal software rejuvenation schedule." In Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC, 77-84. Vol. 2000-January. 2000.
"Stochastic modeling formalisms for dependability, performance and performability." In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 403-422. Vol. 1769. 2000.
"Stochastic Modeling Formalisms for Dependability, Performance and Performability." In Performance Evaluation, 403-422. Vol. 1769. 2000.
"Advanced Computer System Design., 1999.
Algorithm for reliability analysis of phased-mission systems." Reliability Engineering and System Safety 66, no. 2 (1999): 157-170.
"Availability and performance evaluation for automatic protection switching in TDMA wireless system." In Proceedings - 1999 Pacific Rim International Symposium on Dependable Computing, PRDC 1999, 15-22. 1999.
"A BDD-based algorithm for reliability analysis of phased-mission systems." IEEE Transactions on Reliability 48, no. 1 (1999): 50-60.
"A channel recovery method for RF channel failure in wireless communications systems." IEEE Wireless Communications and Networking Conference, WCNC 3 (1999): 1075-1079.
"A channel recovery method in TDMA wireless systems." IEEE Vehicular Technology Conference 50, no. 3 (1999): 1750-1754.
"Confidence interval estimation of NHPP-based software reliability models." Proceedings of the International Symposium on Software Reliability Engineering, ISSRE (1999): 6-11.
"Dependability analysis of distributed computer systems with imperfect coverage." Proceedings - Annual International Conference on Fault-Tolerant Computing (1999): 330-337.
"Dependability modeling and evaluation of phased mission systems: A DSPN approach." In Dependable Computing for Critical Applications 7, 319-337. 1999.
"Dependability modelling and sensitivity analysis of scheduled maintenance systems." In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 7-23. Vol. 1667 LNCS. 1999.
"