Publications
] "Model validation using simulated data." In Proceedings - 1998 IEEE Workshop on Application-Specific Software Engineering and Technology, ASSET 1998, 22-27. Vol. 1998-January. 1998.
"Performability analysis of channel allocation with channel recovery strategy in cellular networks." In ICUPC 1998 - IEEE 1998 International Conference on Universal Personal Communications, Conference Proceedings, 71-75. Vol. 1. 1998.
"Petri nets with k simultaneously enabled generally distributed timed transitions." Performance Evaluation 32, no. 1 (1998): 1-34.
"Recent developments in non-Markovian stochastic Petri nets." Journal of Circuits, Systems and Computers 8, no. 1 (1998): 119-158.
"Reliability simulation of component-based software systems." Proceedings of the International Symposium on Software Reliability Engineering, ISSRE (1998): 192-201.
"Software reliability analysis incorporating fault detection and debugging activities." Proceedings of the International Symposium on Software Reliability Engineering, ISSRE (1998): 202-211.
"SREPT: Software Reliability Estimation and Prediction Tool." In Computer Performance Evaluation (Tools), 27-36. Vol. 1469. 1998.
"Srept: Software reliability estimation and prediction tool." In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 27-36. Vol. 1469. 1998.
"On the analysis of software rejuvenation policies." COMPASS - Proceedings of the Annual Conference on Computer Assurance (1997): 88-96.
"Buffer losses vs. deadline violations for ABR traffic in an ATM switch: A computational approach." Telecommunication Systems 7, no. 1-3 (1997): 105-123.
"Cache error propagation model." Proceedings of the Pacific Rim International Symposium on Fault Tolerant Systems, PRFTS (1997): 15-21.
"Combined performance and availability analysis of a switched network application." IEEE International Conference on Communications 1 (1997): 241-245.
"On the development of dependability-evaluation workbench for high-assurance system designers." Proceedings of the High-Assurance Systems Engineering Workshop (1997): 2-7.
"Discrete-event simulation of fluid stochastic Petri nets." International Workshop on Petri Nets and Performance Models (1997): 217-225.
"The Effect of Detection and Restoration Times for Error Recovery in Communication Networks." Journal of Network and Systems Management 5, no. 2 (1997): 173-195.
"Effect of repair policies on software reliability." COMPASS - Proceedings of the Annual Conference on Computer Assurance (1997): 105-116.
"Performability analysis of handoff calls in personal communication networks." Proceedings of the International Conference on Computer Communications and Networks, ICCCN (1997): 116-121.
"Reliability simulation of fault-tolerant software and systems." Proceedings of the Pacific Rim International Symposium on Fault Tolerant Systems, PRFTS (1997): 167-173.
"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.
"Accelerating mean time to failure computations." Performance Evaluation 27-28 (1996): 627-645.
"Comment/correction: dependability modeling using petri nets." IEEE Transactions on Reliability 45, no. 2 (1996): 272-273.
"A Comparison of Approximate Interval Estimators for the Bernoulli Parameter." American Statistician 50, no. 1 (1996): 63-68.
"Foreword." Latin American Research Review 31, no. 4 (1996): R3-R9.
"IDEA: Integrated design environment for assessment of ATM networks." Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS (1996): 27-34.
"Important Milestones in Software Reliability Modeling." In Seke, 345-352. 1996.