Publications

Gokhale, S. S., M. R. Lyu, and K. S. Trivedi. “Model validation using simulated data.” In Proceedings 1998 IEEE Workshop on Application Specific Software Engineering and Technology Asset 1998, 1998-January:22–27, 1998. https://doi.org/10.1109/ASSET.1998.688228.

Bobbio, A., A. Puliafito, M. Telek, and K. S. Trivedi. “Recent developments in non-Markovian stochastic Petri nets.” Journal of Circuits Systems and Computers 8, no. 1 (January 1, 1998): 119–58. https://doi.org/10.1142/S0218126698000067.

Fricks, R. M., A. Puliafito, M. Telek, and K. S. Trivedi. “Applications of non-Markovian stochastic Petri nets.” Performance Evaluation Review 26, no. 2 (January 1, 1998): 15–27. https://doi.org/10.1145/288197.288204.

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.

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.

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.

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.

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.

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.