K. Trivedi

发表

Modeling and Evaluation of Multi-Hop Wireless Networks Using SRNs

Mohammed Gharib, Reza Entezari-Maleki, Ali Movaghar, 2021, IEEE Transactions on Network Science and Engineering.

SINR-Based Analysis of IEEE 802.11p/bd Broadcast VANETs for Safety Services

Xiaomin Ma, Kishor S. Trivedi, Xiaomin Ma, 2021, IEEE Transactions on Network and Service Management.

CS 499 – B . Tech . Project Reliability and Availability in Distributed Systems

K. Trivedi, Abhay Gupta, Santosh Kumar, 2022 .

Job Completion Time Under Migration-Based Dynamic Platform Technique

Yu Shi, Xiaolin Chang, Kishor S. Trivedi, 2022, IEEE Transactions on Services Computing.

Highly Ensured QOS Routing in Mobile Ad Hoc Networks Based on Multiple Constraints

K. Trivedi, 2020 .

In Proc of Advanced Computing ADCOMP Chennai India Structure Based Software Reliability Prediction

S. Gokhale, K. Trivedi, 2003 .

Data-driven Approach

Tadashi Dohi, Alberto Avritzer, Kishor S. Trivedi, 2020 .

Optimal estimation of training interval for channel equalizations

Yiguang Hong, K. Trivedi, Dongyan Chen, 2002, 2002 IEEE International Conference on Communications. Conference Proceedings. ICC 2002 (Cat. No.02CH37333).

Reliability and Availability Engineering - Modeling, Analysis, and Applications

Andrea Bobbio, Kishor S. Trivedi, A. Bobbio, 2017 .

MODELING IMPERFECT COVERAGE IN FAULT-TOLERANT SYSTEMS

Robert Geist, Kishor S. Trivedi, Joanne Bechta Dugan, 1995, Twenty-Fifth International Symposium on Fault-Tolerant Computing, 1995, ' Highlights from Twenty-Five Years'..

Probability and Statistics with Reliability, Queuing and Computer Science Applications, Second Edition

Kishor S. Trivedi, K. Trivedi, 2002 .

SPNP: stochastic Petri net package

Kishor S. Trivedi, Gianfranco Ciardo, Jogesh K. Muppala, 1989, Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89.

Quantification of system survivability

Ruofan Xia, K. Trivedi, 2015, Telecommunication Systems.

Architecture-based approach to reliability assessment of software systems

Katerina Goseva-Popstojanova, Kishor S. Trivedi, K. Trivedi, 2001, Perform. Evaluation.

Table of Contents

Michael C. Grace, R. Kompella, R. Chandra, 2009, Biological Psychiatry.

Assessing the Maturity of SDN Controllers With Software Reliability Growth Models

Wolfgang Kellerer, Carmen Mas Machuca, Andreas Blenk, 2018, IEEE Transactions on Network and Service Management.

Semi-Markov and Markov Regenerative Models

Andrea Bobbio, Kishor S. Trivedi, A. Bobbio, 2017 .

Computer-aided reliability analysis of fault-tolerant systems

Kishor S. Trivedi, Joanne Bechta Dugan, J. Dugan, 1987 .

Modelling of Software Failures

Poul E. Heegaard, Carmen Mas Machuca, Kishor S. Trivedi, 2020, Guide to Disaster-Resilient Communication Networks.

Performance Evaluation of Epidemic Content Retrieval in DTNs With Restricted Mobility

Pan Hui, Reza Entezari-Maleki, Ali Movaghar, 2019, IEEE Transactions on Network and Service Management.

A method for modeling and quantifying the security attributes of intrusion tolerant systems

Bharat B. Madan, Katerina Goseva-Popstojanova, Kishor S. Trivedi, 2004, Perform. Evaluation.

On-Line Algorithms for Division and Multiplication

Milos D. Ercegovac, Kishor S. Trivedi, K. Trivedi, 1977, IEEE Transactions on Computers.

Hierarchical Stochastic Models for Performance, Availability, and Power Consumption Analysis of IaaS Clouds

Danilo Ardagna, Reza Entezari-Maleki, Ali Movaghar, 2019, IEEE Transactions on Cloud Computing.

Hybrid reliability modeling of fault-tolerant computer systems

Kishor S. Trivedi, Joanne Bechta Dugan, Mark Smotherman, 1984 .

Reliability and survivability of vehicular ad hoc networks

Selvamuthu Dharmaraja, Kishor S. Trivedi, Resham Vinayak, 2012, 2012 International Symposium on Performance Evaluation of Computer & Telecommunication Systems (SPECTS).

Modeling and analysis of software aging and rejuvenation

Katerina Goseva-Popstojanova, Kishor S. Trivedi, Kalyanaraman Vaidyanathan, 2000, Proceedings 33rd Annual Simulation Symposium (SS 2000).

Reliability and Availability Analysis in Practice

Kishor S. Trivedi, Andrea Bobbio, A. Bobbio, 2020 .

Two queues with alternating service and server breakdown

Oliver C. Ibe, Kishor S. Trivedi, K. Trivedi, 1990, Queueing Syst. Theory Appl..

Modeling and quantification of security attributes of software systems

Bharat B. Madan, Katerina Goseva-Popstojanova, Kishor S. Trivedi, 2002, Proceedings International Conference on Dependable Systems and Networks.

Dependability modeling and evaluation of phased mission systems: a DSPN approach

A. Bondavalli, K.S. Trivedi, I. Mural, 1999, Dependable Computing for Critical Applications 7.

Multiprocessor performability analysis

Kishor S. Trivedi, N. Lopez-Benitez, K. Trivedi, 1993 .

Specification techniques for Markov reward models

Boudewijn R. Haverkort, Kishor S. Trivedi, K. Trivedi, 1993, Discret. Event Dyn. Syst..

Comparison of Hybrid Systems and Fluid Stochastic Petri Nets

Bruno Tuffin, Kishor S. Trivedi, Dong S. Chen, 2001, Discret. Event Dyn. Syst..

Failure correlation in software reliability models

Kishor S. Trivedi, Katerina Goseva-Popstojanova, K. Trivedi, 1999, Proceedings 10th International Symposium on Software Reliability Engineering (Cat. No.PR00443).

Towards UAV-Based MEC Service Chain Resilience Evaluation: A Quantitative Modeling Approach

Xiaolin Chang, K. Trivedi, Shupan Li, 2023, IEEE Transactions on Vehicular Technology.

Service Availability Analysis in a Virtualized System: A Markov Regenerative Model Approach

Jing Bai, Xiaolin Chang, Kishor S. Trivedi, 2022, IEEE Transactions on Cloud Computing.

Model-Driven Dependability Assessment of Microservice Chains in MEC-Enabled IoT

Xiaolin Chang, K. Trivedi, F. Machida, 2023, IEEE Transactions on Services Computing.

Resilience-Driven Quantitative Analysis of Vehicle Platooning Service

Xiaolin Chang, Kishor S. Trivedi, Jing Bai, 2021, IEEE Transactions on Vehicular Technology.

Model-driven Approach

Tadashi Dohi, Alberto Avritzer, Kishor S. Trivedi, 2020 .

Fluid stochastic Petri nets: Theory, applications, and solution techniques

V. Kulkarni, K. Trivedi, Graham Horton, 1998, Eur. J. Oper. Res..

IEEE Transactions on Software Engineering

K. Trivedi, 1978 .

Eeect of Repair Policies on Software Reliability

S. Gokhale, P. Marinos, K. Trivedi, 1997 .

Software Aging and Rejuvenation for Increased Resilience: Modeling, Analysis and Applications

Kishor S. Trivedi, Ricardo M. Czekster, Salvatore Distefano, 2012, Resilience Assessment and Evaluation of Computing Systems.

SITAR: a scalable intrusion-tolerant architecture for distributed services

Feiyi Wang, F. Jou, Fengmin Gong, 2003, Foundations of Intrusion Tolerant Systems, 2003 [Organically Assured and Survivable Information Systems].

Cross-project concurrency bug prediction using domain-adversarial neural network

K. Trivedi, Fangyun Qin, Zheng Zheng, 2024, Journal of Systems and Software.

Comparison of architecture-based software reliability models

Aditya P. Mathur, Katerina Goseva-Popstojanova, Kishor S. Trivedi, 2001, Proceedings 12th International Symposium on Software Reliability Engineering.