Publications

1998

Puliafito, A., O. Tomarchio, L. Vita, and K. S. Trivedi. “Increasing application accessibility through Java.” IEEE Internet Computing 2, no. 4 (July 1, 1998): 70–77. https://doi.org/10.1109/4236.707808.

Horton, G., V. G. Kulkarni, D. M. Nicol, and K. S. Trivedi. “Fluid stochastic petri nets: Theory, applications, and solution techniques.” European Journal of Operational Research 105, no. 1 (February 16, 1998): 184–201. https://doi.org/10.1016/S0377-2217(97)00028-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.

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.

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.

1997

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., 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.

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.

1996

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.