Kishor S. Trivedi

ORCID

Publication Activity (10 Years)

Years Active: 1972-2024
Publications (10 Years): 90

Top Venues

IEEE Trans. Reliab.

IEEE Trans. Dependable Secur. Comput.

ISSRE Workshops

IEEE Trans. Serv. Comput.

Publications

Kishor S. Trivedi, Michael Grottke, Javier Alonso Lopez
Rethinking Software Fault Tolerance. IEEE Trans. Reliab. 73 (1) (2024)
Fangyun Qin, Zheng Zheng, Yulei Sui, Siqian Gong, Zhi-Ping Shi, Kishor S. Trivedi
Cross-project concurrency bug prediction using domain-adversarial neural network. J. Syst. Softw. 214 (2024)
Kishor S. Trivedi, Andrea Bobbio
Reliability and Availability Analysis in Practice: Toward Multilevel Models for Complex Systems. Computer 57 (4) (2024)
Kishor S. Trivedi
Reliability and Availability Assessment. IEEE Trans. Reliab. 73 (1) (2024)
Jing Bai, Xiaolin Chang, Ricardo J. Rodríguez, Kishor S. Trivedi, Shupan Li
Towards UAV-Based MEC Service Chain Resilience Evaluation: A Quantitative Modeling Approach. IEEE Trans. Veh. Technol. 72 (4) (2023)
Lina Liu, Jing Bai, Xiaolin Chang, Fumio Machida, Kishor S. Trivedi, Haoran Zhu
Towards Semi-Markov Model-based Dependability Evaluation of VM-based Multi-Domain Service Function Chain. CoRR (2023)
Michael Grottke, Alberto Avritzer, Hironori Washizaki, Kishor S. Trivedi
Guest Editorial Special Section on Applied Software Aging and Rejuvenation. IEEE Trans. Emerg. Top. Comput. 11 (3) (2023)
Jing Bai, Xiaolin Chang, Fumio Machida, Lili Jiang, Zhen Han, Kishor S. Trivedi
Impact of Service Function Aging on the Dependability for MEC Service Function Chain. IEEE Trans. Dependable Secur. Comput. 20 (4) (2023)
Jing Bai, Yaru Li, Xiaolin Chang, Fumio Machida, Kishor S. Trivedi
Understanding NFV-Enabled Vehicle Platooning Application: A Dependability View. IEEE Trans. Cloud Comput. 11 (4) (2023)
Jing Bai, Xiaolin Chang, Fumio Machida, Kishor S. Trivedi
Understanding Container-based Services under Software Aging: Dependability and Performance Views. CoRR (2023)
Jing Bai, Xiaolin Chang, Fumio Machida, Kishor S. Trivedi, Yaru Li
Model-Driven Dependability Assessment of Microservice Chains in MEC-Enabled IoT. IEEE Trans. Serv. Comput. 16 (4) (2023)
Zheng Zheng, Lorenzo Strigini, Nuno Antunes, Kishor S. Trivedi
Editorial: Software Reliability and Dependability Engineering. IEEE Trans. Dependable Secur. Comput. 20 (4) (2023)
Jing Bai, Xiaolin Chang, Gaorong Ning, Zhenjiang Zhang, Kishor S. Trivedi
Service Availability Analysis in a Virtualized System: A Markov Regenerative Model Approach. IEEE Trans. Cloud Comput. 10 (3) (2022)
Xiaoting Du, Zheng Zheng, Guanping Xiao, Zenghui Zhou, Kishor S. Trivedi
DeepSIM: Deep Semantic Information-Based Automatic Mandelbug Classification. IEEE Trans. Reliab. 71 (4) (2022)
Jing Bai, Xiaolin Chang, Fumio Machida, Zhen Han, Yang Xu, Kishor S. Trivedi
Quantitative understanding serial-parallel hybrid sfc services: a dependability perspective. Peer-to-Peer Netw. Appl. 15 (4) (2022)
Xiaolin Chang, Yu Shi, Zhenjiang Zhang, Zhen Xu, Kishor S. Trivedi
Job Completion Time Under Migration-Based Dynamic Platform Technique. IEEE Trans. Serv. Comput. 15 (3) (2022)
Michael Grottke, Kishor S. Trivedi
Aging, Fast and Slow. Computer 55 (5) (2022)
Reza Entezari-Maleki, Mohammed Gharib, Shahbaz Rezaei, Kishor S. Trivedi, Ali Movaghar
Modeling and Evaluation of Multi-Hop Wireless Networks Using SRNs. IEEE Trans. Netw. Sci. Eng. 8 (1) (2021)
Caio Augusto R. Dos Santos, Rivalino Matias, Kishor S. Trivedi
A Multisite Characterization Study on Failure Causes in System and Applications Software. SBESC (2021)
Kai-Yuan Cai, Kishor S. Trivedi, Beibei Yin
S-ADA: Software as an Autonomous, Dependable and Affordable System. DSN (Supplements) (2021)
Junjun Zheng, Hiroyuki Okamura, Tadashi Dohi, Kishor S. Trivedi
Quantitative Security Evaluation of Intrusion Tolerant Systems With Markovian Arrivals. IEEE Trans. Reliab. 70 (2) (2021)
Jing Bai, Xiaolin Chang, Kishor S. Trivedi, Zhen Han
Resilience-Driven Quantitative Analysis of Vehicle Platooning Service. IEEE Trans. Veh. Technol. 70 (6) (2021)
Alberto Avritzer, Kishor S. Trivedi, Alexandru Iosup
Welcome to the 3rd Workshop on Education and Practice of Performance Engineering. ICPE (2021)
Kun Qiu, Zheng Zheng, Kishor S. Trivedi, Ivan Mura
Availability Analysis of Systems Deploying Sequences of Environmental-Diversity-Based Recovery Methods. IEEE Trans. Reliab. 70 (3) (2021)
Xiaomin Ma, Kishor S. Trivedi
SINR-Based Analysis of IEEE 802.11p/bd Broadcast VANETs for Safety Services. IEEE Trans. Netw. Serv. Manag. 18 (3) (2021)
Petra Vizarreta, Christian Sieber, Andreas Blenk, Amaury Van Bemten, Vinod Ramachandra, Wolfgang Kellerer, Carmen Mas Machuca, Kishor S. Trivedi
ARES: A Framework for Management of Aging and Rejuvenation in Softwarized Networks. IEEE Trans. Netw. Serv. Manag. 18 (2) (2021)
Zheng Zheng, Kishor S. Trivedi
Guest editorial: special issue on modeling and mitigation techniques for software aging. Softw. Qual. J. 28 (1) (2020)
Jing Bai, Xiaolin Chang, Fumio Machida, Kishor S. Trivedi, Zhen Han
Analyzing Software Rejuvenation Techniques in a Virtualized System: Service Provider and User Views. IEEE Access 8 (2020)
Caio Augusto R. Dos Santos, Rivalino Matias, Kishor S. Trivedi
A Statistical Approach to Predict Operating System Failures Based on Multiple Failures Association. SBESC (2020)
Zheng Zheng, Kishor S. Trivedi, Nan Wang, Kun Qiu
Markov Regenerative Models of WebServers for Their User-Perceived Availability and Bottlenecks. IEEE Trans. Dependable Secur. Comput. 17 (1) (2020)
Kun Qiu, Zheng Zheng, Kishor S. Trivedi, Beibei Yin
Stress Testing With Influencing Factors to Accelerate Data Race Software Failures. IEEE Trans. Reliab. 69 (1) (2020)
Petra Vizarreta, Kishor S. Trivedi, Veena B. Mendiratta, Wolfgang Kellerer, Carmen Mas Machuca
DASON: Dependability Assessment Framework for Imperfect Distributed SDN Implementations. IEEE Trans. Netw. Serv. Manag. 17 (2) (2020)
Alberto Avritzer, Domenico Cotroneo, Yennun Huang, Kishor S. Trivedi
Chapter 1: Software Aging and Rejuvenation: A Genesis - Extended Abstract. ISSRE Workshops (2020)
Fabio Antonelli, Vittorio Cortellessa, Marco Gribaudo, Riccardo Pinciroli, Kishor S. Trivedi, Catia Trubiani
Analytical modeling of performance indices under epistemic uncertainty applied to cloud computing systems. Future Gener. Comput. Syst. 102 (2020)
Ehsan Ataie, Reza Entezari-Maleki, Leila Rashidi, Kishor S. Trivedi, Danilo Ardagna, Ali Movaghar
Hierarchical Stochastic Models for Performance, Availability, and Power Consumption Analysis of IaaS Clouds. IEEE Trans. Cloud Comput. 7 (4) (2019)
Yu Qiao, Zheng Zheng, Yunyu Fang, Fangyun Qin, Kishor S. Trivedi, Kai-Yuan Cai
Two-Level Rejuvenation for Android Smartphones and Its Optimization. IEEE Trans. Reliab. 68 (2) (2019)
Fangyun Qin, Zheng Zheng, Yu Qiao, Kishor S. Trivedi
Studying Aging-Related Bug Prediction Using Cross-Project Models. IEEE Trans. Reliab. 68 (3) (2019)
Daniel S. Menasché, Kishor S. Trivedi, Eitan Altman
Rejuvenation and the Age of Information. ISSRE Workshops (2019)
Xiaohui Wan, Zheng Zheng, Fangyun Qin, Yu Qiao, Kishor S. Trivedi
Supervised Representation Learning Approach for Cross-Project Aging-Related Bug Prediction. ISSRE (2019)
Caio Augusto R. Dos Santos, Rivalino Matias, Kishor S. Trivedi
An Empirical Exploratory Analysis of Failure Sequences in a Commodity Operating System. SBESC (2019)
Leila Rashidi, Reza Entezari-Maleki, Dimitris Chatzopoulos, Pan Hui, Kishor S. Trivedi, Ali Movaghar
Performance Evaluation of Epidemic Content Retrieval in DTNs With Restricted Mobility. IEEE Trans. Netw. Serv. Manag. 16 (2) (2019)
Guanping Xiao, Zheng Zheng, Beibei Yin, Kishor S. Trivedi, Xiaoting Du, Kai-Yuan Cai
An Empirical Study of Fault Triggers in the Linux Operating System: An Evolutionary Perspective. IEEE Trans. Reliab. 68 (4) (2019)
Kishor S. Trivedi
Reliability and Availability Assessment in Practice. DS-RT (2019)
Kishor S. Trivedi
Software Aging and Software Rejuvenation: Keynote. ICPE (2019)
Alberto Avritzer, Kishor S. Trivedi
2nd Workshop on Education and Practice ofPerformance Engineering: WEPPE'19 Chairs' Welcome. ICPE Companion (2019)
Kishor S. Trivedi
Performance Engineering Education: A Viewpoint. ICPE Companion (2019)
Yu Shi, Xiaolin Chang, Ricardo J. Rodríguez, Zhenjiang Zhang, Kishor S. Trivedi
Quantitative security analysis of a dynamic network system under lateral movement-based attacks. Reliab. Eng. Syst. Saf. 183 (2019)
Xiaolin Chang, José M. Martínez, Kishor S. Trivedi
Transient performance analysis of smart grid with dynamic power distribution. Inf. Sci. 422 (2018)
Marco Gribaudo, Riccardo Pinciroli, Kishor S. Trivedi
Epistemic Uncertainty Propagation in Power Models. Electron. Notes Theor. Comput. Sci. 337 (2018)
Hiroyuki Okamura, Tadashi Dohi, Kishor S. Trivedi
Parametric Uncertainty Propagation through Dependability Models. LADC (2018)
Rafael B. Fricks, Henry Tseng, Marjorie Veihl, Kishor S. Trivedi, Roger C. Barr
Robust Prediction Of Treatment Times In Concurrent Patient Care. EMBC (2018)
Tadashi Dohi, Junjun Zheng, Hiroyuki Okamura, Kishor S. Trivedi
Optimal periodic software rejuvenation policies based on interval reliability criteria. Reliab. Eng. Syst. Saf. 180 (2018)
Harish Sukhwani, Nan Wang, Kishor S. Trivedi, Andy J. Rindos
Performance Modeling of Hyperledger Fabric (Permissioned Blockchain Network). NCA (2018)
Bo Liu, Xiaolin Chang, Zhen Han, Kishor S. Trivedi, Ricardo J. Rodríguez
Model-based sensitivity analysis of IaaS cloud availability. Future Gener. Comput. Syst. 83 (2018)
Xiaolin Chang, Ruofan Xia, Jogesh K. Muppala, Kishor S. Trivedi, Jiqiang Liu
Effective Modeling Approach for IaaS Data Center Performance Analysis under Heterogeneous Workload. IEEE Trans. Cloud Comput. 6 (4) (2018)
Fumio Machida, Ruofan Xia, Kishor S. Trivedi
Performability Modeling for RAID Storage Systems by Markov Regenerative Process. IEEE Trans. Dependable Secur. Comput. 15 (1) (2018)
Stefano Sebastio, Kishor S. Trivedi, Javier Alonso
Characterizing machines lifecycle in Google data centers. Perform. Evaluation 126 (2018)
Reza Entezari-Maleki, Kishor S. Trivedi, Leonel Sousa, Ali Movaghar
Performability-Based Workflow Scheduling in Grids. Comput. J. 61 (10) (2018)
Xiaolin Chang, ShaoHua Lv, Ricardo J. Rodríguez, Kishor S. Trivedi
Survivability Model for Security and Dependability Analysis of a Vulnerable Critical System. ICCCN (2018)
Petra Vizarreta, Kishor S. Trivedi, Bjarne E. Helvik, Poul E. Heegaard, Andreas Blenk, Wolfgang Kellerer, Carmen Mas Machuca
Assessing the Maturity of SDN Controllers With Software Reliability Growth Models. IEEE Trans. Netw. Serv. Manag. 15 (3) (2018)
Kun Qiu, Zheng Zheng, Kishor S. Trivedi, Bei-Bei Yin
Understanding the Impacts of Influencing Factors on Time to a DataRace Software Failure. ISSRE (2017)
Fangyun Qin, Zheng Zheng, Xiaodan Li, Yu Qiao, Kishor S. Trivedi
An Empirical Investigation of Fault Triggers in Android Operating System. PRDC (2017)
Rúbens de Souza Matos Júnior, Jamilson Dantas, Jean Araujo, Kishor S. Trivedi, Paulo Romero Martins Maciel
Redundant Eucalyptus Private Clouds: Availability Modeling and Sensitivity Analysis. J. Grid Comput. 15 (1) (2017)
Xiaomin Ma, Gabe Kanelopoulos, Kishor S. Trivedi
Application-level scheme to enhance VANET event-driven multi-hop safety-related services. ICNC (2017)
Harish Sukhwani, Rivalino Matias, Kishor S. Trivedi, Andy J. Rindos
Monitoring and Mitigating Software Aging on IBM Cloud Controller System. ISSRE Workshops (2017)
Kishor S. Trivedi
Performance Engineering Education: A Viewpoint. ICPE Companion (2017)
Francesco Longo, Rahul Ghosh, Vijay K. Naik, Andrew J. Rindos, Kishor S. Trivedi
An Approach for Resiliency Quantification of Large Scale Systems. SIGMETRICS Perform. Evaluation Rev. 44 (4) (2017)
Zheng Zheng, Kishor S. Trivedi, Kun Qiu, Ruofan Xia
Semi-Markov Models of Composite Web Services for their Performance, Reliability and Bottlenecks. IEEE Trans. Serv. Comput. 10 (3) (2017)
Petra Vizarreta, Kishor S. Trivedi, Bjarne E. Helvik, Poul E. Heegaard, Wolfgang Kellerer, Carmen Mas Machuca
An empirical study of software reliability in SDN controllers. CNSM (2017)
Riccardo Pinciroli, Andrea Bobbio, Cristiana Bolchini, Davide Cerotti, Marco Gribaudo, Antonio Miele, Kishor S. Trivedi
Epistemic uncertainty propagation in a Weibull environment for a two-core system-on-chip. ICSRS (2017)
Harish Sukhwani, José M. Martínez, Xiaolin Chang, Kishor S. Trivedi, Andy J. Rindos
Performance Modeling of PBFT Consensus Process for Permissioned Blockchain Network (Hyperledger Fabric). SRDS (2017)
Guanping Xiao, Zheng Zheng, Beibei Yin, Kishor S. Trivedi, Xiaoting Du, Kai-Yuan Cai
Experience Report: Fault Triggers in Linux Operating System: from Evolution Perspective. ISSRE (2017)
Wenfeng Li, Xiaomin Ma, Jun Wu, Kishor S. Trivedi, Xin-Lin Huang, Qingwen Liu
Analytical Model and Performance Evaluation of Long-Term Evolution for Vehicle Safety Services. IEEE Trans. Veh. Technol. 66 (3) (2017)
Xiaomin Ma, Gregory Butron, Kishor S. Trivedi
Modeling of VANET for BSM Safety Messaging at Intersections with Non-homogeneous Node Distribution. Nets4Cars/Nets4Trains/Nets4Aircraft (2016)
Riccardo Pinciroli, Kishor S. Trivedi, Andrea Bobbio
Parametric Sensitivity and Uncertainty Propagation in Dependability Models. VALUETOOLS (2016)
Xiaolin Chang, Zhenjiang Zhang, Xiaodan Li, Kishor S. Trivedi
Model-Based Survivability Analysis of a Virtualized System. LCN (2016)
Ricardo J. Rodríguez, Xiaolin Chang, Xiaodan Li, Kishor S. Trivedi
Survivability Analysis of a Computer System Under an Advanced Persistent Threat Attack. GraMSec@CSF (2016)
Anne Koziolek, Alberto Avritzer, Sindhu Suresh, Daniel S. Menasché, Morganna Carmem Diniz, Edmundo de Souza e Silva, Rosa Maria Meri Leão, Kishor S. Trivedi, Lucia Happe
Assessing survivability to support power grid investment decisions. Reliab. Eng. Syst. Saf. 155 (2016)
Xiaomin Ma, Kishor S. Trivedi
Reliability and performance of general two-dimensional broadcast wireless network. Perform. Evaluation 95 (2016)
Gao-Rong Ning, Jing Zhao, Yunlong Lou, Javier Alonso, Rivalino Matias, Kishor S. Trivedi, Bei-Bei Yin, Kai-Yuan Cai
Optimization of Two-Granularity Software Rejuvenation Policy Based on the Markov Regenerative Process. IEEE Trans. Reliab. 65 (4) (2016)
Harish Sukhwani, Javier Alonso, Kishor S. Trivedi, Issac Mcginnis
Software Reliability Analysis of NASA Space Flight Software: A Practical Experience. QRS (2016)
Rivalino Matias, Guilherme Otavio de Sena, Artur Andrzejak, Kishor S. Trivedi
Software Aging Detection Based on Differential Analysis: An Experimental Study. ISSRE Workshops (2016)
Rahul Ghosh, Francesco Longo, Vijay K. Naik, Andrew J. Rindos, Kishor S. Trivedi
Resiliency Quantification for Large Scale Systems: An IaaS Cloud Use Case. VALUETOOLS (2016)
Zachary B. Ratliff, D. Richard Kuhn, Raghu N. Kacker, Yu Lei, Kishor S. Trivedi
The Relationship between Software Bug Type and Number of Factors Involved in Failures. ISSRE Workshops (2016)
Selvamuthu Dharmaraja, Resham Vinayak, Kishor S. Trivedi
Reliability and survivability of vehicular ad hoc networks: An analytical approach. Reliab. Eng. Syst. Saf. 153 (2016)
Dong Seong Kim, Jin B. Hong, Tuan Anh Nguyen, Fumio Machida, Jong Sou Park, Kishor S. Trivedi
Availability Modeling and Analysis of a Virtualized System Using Stochastic Reward Nets. CIT (2016)
Domenico Cotroneo, Roberto Pietrantuono, Stefano Russo, Kishor S. Trivedi
How do bugs surface? A comprehensive study on the characteristics of software bugs manifestation. J. Syst. Softw. 113 (2016)
Michael Grottke, Dong Seong Kim, Rajesh K. Mansharamani, Manoj K. Nambiar, Roberto Natella, Kishor S. Trivedi
Recovery From Software Failures Caused by Mandelbugs. IEEE Trans. Reliab. 65 (1) (2016)
José M. Martínez, Kishor S. Trivedi, Benny Cheng
Efficient Computation of the Mean Time to Security Failure in Cyber Physical Systems. VALUETOOLS (2016)
Kishor S. Trivedi, Andrea Bobbio
DSN 2016 Tutorial: Reliability and Availability Modeling in Practice. DSN Workshops (2016)
Chun-Jen Chung, Tianyi Xing, Dijiang Huang, Deep Medhi, Kishor S. Trivedi
SeReNe: On Establishing Secure and Resilient Networking Services for an SDN-based Multi-tenant Datacenter Environment. DSN Workshops (2015)
Dario Bruneo, Francesco Longo, Marco Scarpa, Antonio Puliafito, Rahul Ghosh, Kishor S. Trivedi
An SRN-Based Resiliency Quantification Approach. Petri Nets (2015)
Jacek Rak, Mario Pickavet, Kishor S. Trivedi, Javier Alonso Lopez, Arie M. C. A. Koster, James P. G. Sterbenz, Egemen K. Çetinkaya, Teresa Gomes, Matthias Gunkel, Krzysztof Walkowiak, Dimitri Staessens
Future research directions in design of reliable communication systems. Telecommun. Syst. 60 (4) (2015)
Roberto Pietrantuono, Stefano Russo, Kishor S. Trivedi
Emulating Environment-Dependent Software Faults. COUFLESS@ICSE (2015)
Kishor S. Trivedi, Ruofan Xia
Quantification of system survivability. Telecommun. Syst. 60 (4) (2015)
Dario Bruneo, Francesco Longo, Rahul Ghosh, Marco Scarpa, Antonio Puliafito, Kishor S. Trivedi
Analytical Modeling of Reactive Autonomic Management Techniques in IaaS Clouds. CLOUD (2015)
Subrota K. Mondal, Xiaoyan Yin, Jogesh K. Muppala, Javier Alonso Lopez, Kishor S. Trivedi
Defects per Million Computation in Service-Oriented Environments. IEEE Trans. Serv. Comput. 8 (1) (2015)
Alberto Avritzer, Daniel Sadoc Menasché, Kishor S. Trivedi, Lucia Happe, Sahra Sedigh Sarvestani
Workshop on Model Based Design for Cyber-Physical Systems (MB4CP). DSN (2015)
Rúbens de Souza Matos Júnior, Jean Araujo, Danilo Oliveira, Paulo Romero Martins Maciel, Kishor S. Trivedi
Sensitivity analysis of a hierarchical model of mobile cloud computing. Simul. Model. Pract. Theory 50 (2015)
Poul E. Heegaard, Bjarne E. Helvik, Kishor S. Trivedi, Fumio Machida
Survivability as a generalization of recovery. DRCN (2015)

Kishor S. Trivedi.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Kishor S. Trivedi