Publications

Puliafito, A., M. Scarpa, and K. S. Trivedi. “Petri nets with k simultaneously enabled generally distributed timed transitions.” Performance Evaluation 32, no. 1 (January 1, 1998): 1–34. https://doi.org/10.1016/s0166-5316(97)00013-8.

Fricks, R. M., and K. S. Trivedi. “Availability modeling of energy management systems.” Microelectronics Reliability 38, no. 5 (January 1, 1998): 727–43. https://doi.org/10.1016/S0026-2714(98)00027-4.

Luo, T., and K. S. Trivedi. “An improved multiple variable inversion algorithm for reliability calculation.” In Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 1469:180–92, 1998. https://doi.org/10.1007/3-540-68061-6_15.

Ma, Y., C. W. Ro, and K. S. Trivedi. “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, 1:71–75, 1998. https://doi.org/10.1109/ICUPC.1998.732808.

Ramani, S., S. S. Gokhale, and K. S. Trivedi. “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, 1469:27–36, 1998. https://doi.org/10.1007/3-540-68061-6_3.

Choi, H., W. Wang, and K. S. Trivedi. “Analysis of conditional MTTF of fault-tolerant systems.” Microelectronics Reliability 38, no. 3 (January 1, 1998): 393–401. https://doi.org/10.1016/S0026-2714(97)00043-7.

Gokhale, S. S., and K. S. Trivedi. “Log-logistic software reliability growth model.” In Proceedings 3rd IEEE International High Assurance Systems Engineering Symposium Hase 1998, 1998-November:34–41, 1998. https://doi.org/10.1109/HASE.1998.731593.

Somani, A. K., and K. S. Trivedi. “Cache error propagation model.” Proceedings of the Pacific Rim International Symposium on Fault Tolerant Systems Prfts, December 1, 1997, 15–21.

Ro, C. W., and K. S. Trivedi. “Performability analysis of handoff calls in personal communication networks.” Proceedings of the International Conference on Computer Communications and Networks ICCCN, December 1, 1997, 116–21.

Gokhale, S. S., M. R. Lyu, and K. S. Trivedi. “Reliability simulation of fault-tolerant software and systems.” Proceedings of the Pacific Rim International Symposium on Fault Tolerant Systems Prfts, December 1, 1997, 167–73.

Tai, A. T., H. Hecht, K. S. Trivedi, and B. Zhang. “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. https://doi.org/10.1109/FTCS.1997.614075.

Gokhale, S. S., P. N. Marinos, M. R. Lyu, and K. S. Trivedi. “Effect of repair policies on software reliability.” Compass Proceedings of the Annual Conference on Computer Assurance, January 1, 1997, 105–16.

Balakrishnan, M., A. Puliafito, K. Trivedi, and Y. Viniotis. “Buffer losses vs. deadline violations for ABR traffic in an ATM switch: A computational approach.” Telecommunication Systems 7, no. 1–3 (January 1, 1997): 105–23. https://doi.org/10.1023/a:1019164110511.

Logothetis, D., and K. Trivedi. “The Effect of Detection and Restoration Times for Error Recovery in Communication Networks.” Journal of Network and Systems Management 5, no. 2 (January 1, 1997): 173–95. https://doi.org/10.1023/A:1018722928191.

Ciardo, G., D. Nicol, and K. S. Trivedi. “Discrete-event simulation of fluid stochastic Petri nets.” International Workshop on Petri Nets and Performance Models, January 1, 1997, 217–25.

Garg, S., M. Telek, A. Puliafito, and K. S. Trivedi. “On the analysis of software rejuvenation policies.” Compass Proceedings of the Annual Conference on Computer Assurance, January 1, 1997, 88–96.

Hunter, S., T. Philip, and K. Trivedi. “Combined performance and availability analysis of a switched network application.” IEEE International Conference on Communications 1 (January 1, 1997): 241–45.

Tai, A. T., K. S. Trivedi, and H. Hecht. “On the development of dependability-evaluation workbench for high-assurance system designers.” Proceedings of the High Assurance Systems Engineering Workshop, January 1, 1997, 2–7.

Bänsch, K., A. Heini, M. Malhotra, and K. Trivedi. “Comment/correction: dependability modeling using petri nets.” IEEE Transactions on Reliability 45, no. 2 (December 1, 1996): 272–73. https://doi.org/10.1109/24.510814.

Gokhale, S. S., T. Philip, P. N. Marinos, and K. S. Trivedi. “Unification of finite failure non-homogeneous Poisson process models through test coverage.” Proceedings of the International Symposium on Software Reliability Engineering ISSRE, December 1, 1996, 299–307.

Mainkar, V., and K. S. Trivedi. “Sufficient conditions for existence of a fixed point in stochastic reward net-based iterative models.” IEEE Transactions on Software Engineering 22, no. 9 (December 1, 1996): 640–53. https://doi.org/10.1109/32.541435.

Fricks, R., S. Hunter, S. Garg, and K. S. Trivedi. “IDEA: Integrated design environment for assessment of ATM networks.” Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems ICECCS, December 1, 1996, 27–34.

Leemis, L., and K. S. Trivedi. “A comparison of approximate interval estimators for the Bernoulli parameter.” AMERICAN STATISTICIAN 50, no. 4 (November 1, 1996): 388–89.

Heidelberger, P., J. K. Muppala, and K. S. Trivedi. “Accelerating mean time to failure computations.” Performance Evaluation 27–28 (October 1, 1996): 627–45. https://doi.org/10.1016/0166-5316(96)00027-2.

Garg, S., Y. Huang, C. Kintala, and K. S. Trivedi. “Minimizing completion time of a program by checkpointing and rejuvenation.” In Sigmetrics 1996 Proceedings of the 1996 ACM Sigmetrics International Conference on Measurement and Modeling of Computer Systems, 252–61, 1996. https://doi.org/10.1145/233013.233050.