| 2021 | DSN | S-ADA: Software as an Autonomous, Dependable and Affordable System. | Kai-Yuan Cai, Kishor S. Trivedi, Beibei Yin |
| 2020 | ISSRE | Chapter 1: Software Aging and Rejuvenation: A Genesis - Extended Abstract. | Alberto Avritzer, Domenico Cotroneo, Yennun Huang, Kishor S. Trivedi |
| 2019 | ISSRE | Rejuvenation and the Age of Information. | Daniel S. Menasch, Kishor S. Trivedi, Eitan Altman |
| 2019 | ISSRE | Supervised Representation Learning Approach for Cross-Project Aging-Related Bug Prediction. | Xiaohui Wan, Zheng Zheng, Fangyun Qin, Yu Qiao, Kishor S. Trivedi |
| 2018 | ICCCN | Survivability Model for Security and Dependability Analysis of a Vulnerable Critical System. | Xiaolin Chang, ShaoHua Lv, Ricardo J. Rodrguez, Kishor S. Trivedi |
| 2018 | NCA | Performance Modeling of Hyperledger Fabric (Permissioned Blockchain Network). | Harish Sukhwani, Nan Wang, Kishor S. Trivedi, Andy J. Rindos |
| 2017 | CNSM | An empirical study of software reliability in SDN controllers. | Petra Vizarreta, Kishor S. Trivedi, Bjarne E. Helvik, Poul E. Heegaard, Wolfgang Kellerer, Carmen Mas Machuca |
| 2017 | ISSRE | Understanding the Impacts of Influencing Factors on Time to a DataRace Software Failure. | Kun Qiu, Zheng Zheng, Kishor S. Trivedi, Bei-Bei Yin |
| 2017 | ISSRE | Monitoring and Mitigating Software Aging on IBM Cloud Controller System. | Harish Sukhwani, Rivalino Matias, Kishor S. Trivedi, Andy J. Rindos |
| 2017 | ISSRE | Experience Report: Fault Triggers in Linux Operating System: from Evolution Perspective. | Guanping Xiao, Zheng Zheng, Beibei Yin, Kishor S. Trivedi, Xiaoting Du, Kai-Yuan Cai |
| 2017 | PRDC | An Empirical Investigation of Fault Triggers in Android Operating System. | Fangyun Qin, Zheng Zheng, Xiaodan Li, Yu Qiao, Kishor S. Trivedi |
| 2017 | SRDS | Performance Modeling of PBFT Consensus Process for Permissioned Blockchain Network (Hyperledger Fabric). | Harish Sukhwani, Jos Manuel Martnez, Xiaolin Chang, Kishor S. Trivedi, Andy J. Rindos |
| 2016 | DSN | DSN 2016 Tutorial: Reliability and Availability Modeling in Practice. | Kishor S. Trivedi, Andrea Bobbio |
| 2016 | ISSRE | Software Aging Detection Based on Differential Analysis: An Experimental Study. | Rivalino Matias, Guilherme Otavio de Sena, Artur Andrzejak, Kishor S. Trivedi |
| 2016 | ISSRE | The Relationship between Software Bug Type and Number of Factors Involved in Failures. | Zachary B. Ratliff, D. Richard Kuhn, Raghu N. Kacker, Yu Lei, Kishor S. Trivedi |
| 2016 | LCN | Model-Based Survivability Analysis of a Virtualized System. | Xiaolin Chang, Zhenjiang Zhang, Xiaodan Li, Kishor S. Trivedi |
| 2016 | QRS | Software Reliability Analysis of NASA Space Flight Software: A Practical Experience. | Harish Sukhwani, Javier Alonso, Kishor S. Trivedi, Issac Mcginnis |
| 2015 | DSN | Workshop on Model Based Design for Cyber-Physical Systems (MB4CP). | Alberto Avritzer, Daniel Sadoc Menasch, Kishor S. Trivedi, Lucia Happe, Sahra Sedigh Sarvestani |
| 2015 | DSN | SeReNe: On Establishing Secure and Resilient Networking Services for an SDN-based Multi-tenant Datacenter Environment. | Chun-Jen Chung, Tianyi Xing, Dijiang Huang, Deep Medhi, Kishor S. Trivedi |
| 2015 | ICSE | Emulating Environment-Dependent Software Faults. | Roberto Pietrantuono, Stefano Russo, Kishor S. Trivedi |
| 2015 | PRDC | A Scalable Optimization Framework for Storage Backup Operations Using Markov Decision Processes. | Ruofan Xia, Fumio Machida, Kishor S. Trivedi |
| 2014 | DSN | A Markov Decision Process Approach for Optimal Data Backup Scheduling. | Ruofan Xia, Fumio Machida, Kishor S. Trivedi |
| 2014 | GLOBECOM | Defects Per Million (DPM): A user-oriented perspective of telecommunication systems. | Subrota K. Mondal, Jogesh K. Muppala, Kishor S. Trivedi |
| 2014 | ISSRE | Reproducibility of Environment-Dependent Software Failures: An Experience Report. | Davide G. Cavezza, Roberto Pietrantuono, Javier Alonso, Stefano Russo, Kishor S. Trivedi |
| 2014 | ISSRE | Performability Comparison of Lustre and HDFS for MR Applications. | Rekha Singhal, Manoj Nambiar, Harish Sukhwani, Kishor S. Trivedi |
| 2014 | ISSRE | Software Maintenance Optimization Based on Stackelberg Game Methods. | Jing Zhao, Yanbin Wang, Gao-Rong Ning, Cheng-Hong Wang, Kishor S. Trivedi, Kai-Yuan Cai, Zhenyu Zhang |
| 2014 | PRDC | Computing Defects per Million in Cloud Caused by Virtual Machine Failures with Replication. | Subrota K. Mondal, Jogesh K. Muppala, Fumio Machida, Kishor S. Trivedi |
| 2014 | SRDS | A Systematic Differential Analysis for Fast and Robust Detection of Software Aging. | Rivalino Matias, Artur Andrzejak, Fumio Machida, Diego Elias, Kishor S. Trivedi |
| 2013 | DSN | An empirical investigation of fault repairs and mitigations in space mission system software. | Javier Alonso, Michael Grottke, Allen P. Nikora, Kishor S. Trivedi |
| 2013 | DSN | Analysis of bugs in Apache Virtual Computing Lab. | Flavio Frattini, Rahul Ghosh, Marcello Cinque, Andy J. Rindos, Kishor S. Trivedi |
| 2013 | ISSRE | Towards fast OS rejuvenation: An experimental evaluation of fast OS reboot techniques. | Antonio Bovenzi, Javier Alonso, Hiroshi Yamada, Stefano Russo, Kishor S. Trivedi |
| 2013 | ISSRE | Fault triggers in open-source software: An experience report. | Domenico Cotroneo, Michael Grottke, Roberto Natella, Roberto Pietrantuono, Kishor S. Trivedi |
| 2013 | ISSRE | Failure data analytics to build failure prediction mechanisms. | Sandipan Dey, Kandathil K. Jacob, Javier Alonso Lopez, Kishor S. Trivedi |
| 2013 | ISSRE | Design of distribution automation networks using survivability modeling and power flow equations. | Anne Koziolek, Alberto Avritzer, Sindhu Suresh, Daniel Sadoc Menasch, Kishor S. Trivedi, Lucia Happe |
| 2013 | IWCMC | Performance of VANET safety message broadcast at rural intersections. | Xiaomin Ma, Matthew Wilson, Xiaoyan Yin, Kishor S. Trivedi |
| 2013 | MSWIM | Channel fading impact on multi-hop DSRC safety communication. | Xiaoyan Yin, Xiaomin Ma, Kishor S. Trivedi |
| 2013 | VTC | Performance of BSM Dissemination in Multi-Channel DSRC. | Xiaoyan Yin, Xiaomin Ma, Kishor S. Trivedi |
| 2012 | DSN | Scalable optimal countermeasure selection using implicit enumeration on attack countermeasure trees. | Arpan Roy, Dong Seong Kim, Kishor S. Trivedi |
| 2012 | ISSRE | Software Rejuvenation: Do IT & Telco Industries Use It? | Javier Alonso, Antonio Bovenzi, Jinghui Li, Yakun Wang, Stefano Russo, Kishor S. Trivedi |
| 2012 | ISSRE | The Nature of the Times to Flight Software Failure during Space Missions. | Javier Alonso, Michael Grottke, Allen P. Nikora, Kishor S. Trivedi |
| 2012 | UIC | Optimizing Software Rejuvenation Policies under Interval Reliability Criteria. | Tadashi Dohi, Hiroyuki Okamura, Kishor S. Trivedi |
| 2012 | SRDS | Fast Optimization Algorithms for Designing Cellular Networks with Guard Channel. | Kousaburo Hari, Tadashi Dohi, Kishor S. Trivedi |
| 2012 | SRDS | Availability Modeling and Analysis for Data Backup and Restore Operations. | Xiaoyan Yin, Javier Alonso, Fumio Machida, Ermeson C. Andrade, Kishor S. Trivedi |
| 2011 | DSN | Power-performance trade-offs in IaaS cloud: A scalable analytic approach. | Rahul Ghosh, Vijay K. Naik, Kishor S. Trivedi |
| 2011 | DSN | A scalable availability model for Infrastructure-as-a-Service cloud. | Francesco Longo, Rahul Ghosh, Vijay K. Naik, Kishor S. Trivedi |
| 2011 | DSN | Third workshop on proactive failure avoidance, recovery, and maintenance (PFARM). | Miroslaw Malek, Felix Salfner, Kishor S. Trivedi |
| 2011 | DSN | Third workshop on proactive failure avoidance, recovery, and maintenance (PFARM). | Miroslaw Malek, Felix Salfner, Kishor S. Trivedi |
| 2011 | IM | A hierarchical model to evaluate quality of experience of online services hosted by cloud computing. | Haiyang Qian, Deep Medhi, Kishor S. Trivedi |
| 2011 | ISSRE | A Comparative Evaluation of Software Rejuvenation Strategies. | Javier Alonso, Rivalino Matias, Elder Vicente, Ana M. M. Carvalho, Kishor S. Trivedi |
| 2011 | ISSRE | Software Rejuvenation in Eucalyptus Cloud Computing Infrastructure: A Method Based on Time Series Forecasting and Multiple Thresholds. | Jean Araujo, Rbens de Souza Matos Jnior, Paulo Romero Martins Maciel, Francisco Vieira, Rivalino Matias, Kishor S. Trivedi |
| 2011 | ISSRE | Job Completion Time on a Virtualized Server Subject to Software Aging and Rejuvenation. | Fumio Machida, Victor F. Nicola, Kishor S. Trivedi |
| 2011 | ISSRE | Uncertainty Propagation through Software Dependability Models. | Kesari Mishra, Kishor S. Trivedi |
| 2011 | ISSRE | Multi-granularity Software Rejuvenation Policy Based on Continuous Time Markov Chain. | Gao-Rong Ning, Kishor S. Trivedi, Hai Hu, Kai-Yuan Cai |
| 2011 | ISSRE | Injecting Memory Leaks to Accelerate Software Failures. | Jing Zhao, Yuliang Jin, Kishor S. Trivedi, Rivalino Matias |
| 2011 | ISSRE | Performance Modeling of Apache Web Server Affected by Aging. | Jing Zhao, Kishor S. Trivedi |
| 2011 | PRDC | Recovery from Failures Due to Mandelbugs in IT Systems. | Kishor S. Trivedi, Rajesh K. Mansharamani, Dong Seong Kim, Michael Grottke, Manoj Nambiar |
| 2011 | VTC | A Robust Broadcast Scheme for VANET One-Hop Emergency Services. | Xiaomin Ma, Xiaoyan Yin, Kishor S. Trivedi |
| 2011 | SRDS | Candy: Component-based Availability Modeling Framework for Cloud Service Management Using SysML. | Fumio Machida, Ermeson C. Andrade, Dong Seong Kim, Kishor S. Trivedi |
| 2010 | ATC | On-Line Adaptive Algorithms in Autonomic Restart Control. | Hiroyuki Okamura, Tadashi Dohi, Kishor S. Trivedi |
| 2010 | DSN | An empirical investigation of fault types in space mission system software. | Michael Grottke, Allen P. Nikora, Kishor S. Trivedi |
| 2010 | DSN | Second workshop on proactive failure avoidance, recovery, and maintenance (PFARM). | Miroslaw Malek, Felix Salfner, Kishor S. Trivedi |
| 2010 | EDCC | Online Monitoring of Software System Reliability. | Roberto Pietrantuono, Stefano Russo, Kishor S. Trivedi |
| 2010 | ISSRE | Modeling and analysis of software rejuvenation in a server virtualized system. | Fumio Machida, Dong Seong Kim, Kishor S. Trivedi |
| 2010 | ISSRE | Using Accelerated Life Tests to Estimate Time to Software Aging Failure. | Rivalino Matias, Kishor S. Trivedi, Paulo Romero Martins Maciel |
| 2010 | ISSRE | Computing the Number of Calls Dropped Due to Failures. | Kishor S. Trivedi, Dazhi Wang, D. Jason Hunt |
| 2010 | ISSRE | Evaluation of software performance affected by aging. | Jing Zhao, Kishor S. Trivedi, Yanbin Wang, Xiaoyong Chen |
| 2010 | PRDC | End-to-End Performability Analysis for Infrastructure-as-a-Service Cloud: An Interacting Stochastic Models Approach. | Rahul Ghosh, Kishor S. Trivedi, Vijay K. Naik, Dong Seong Kim |
| 2010 | PRDC | A Hierarchical Model for Reliability Analysis of Sensor Networks. | Dong Seong Kim, Rahul Ghosh, Kishor S. Trivedi |
| 2010 | SRDS | Uncertainty Propagation in Analytic Availability Models. | Amita Devaraj, Kesari Mishra, Kishor S. Trivedi |
| 2010 | SRDS | Quantifying Resiliency of IaaS Cloud. | Rahul Ghosh, Francesco Longo, Vijay K. Naik, Kishor S. Trivedi |
| 2009 | AINA | Analyzing the Hold Time Schemes to Limit the Routing Table Calculations in OSPF Protocol. | Mukul Goyal, Mohd Soperi, Seyed Hossein Hosseini, Kishor S. Trivedi, Aman Shaikh, G. Choudhury |
| 2009 | DSN | Workshop on proactive failure avoidance, recovery and maintenance (PFARM). | Miroslaw Malek, Felix Salfner, Kishor S. Trivedi |
| 2009 | ICCAD | Resilience in computer systems and networks. | Kishor S. Trivedi, Dong Seong Kim, Rahul Ghosh |
| 2009 | PRDC | Availability Modeling and Analysis of a Virtualized System. | Dong Seong Kim, Fumio Machida, Kishor S. Trivedi |
| 2009 | WSC | Survivability Modeling with Stochastic Reward Nets. | Poul E. Heegaard, Kishor S. Trivedi |
| 2008 | DSN | Survivability quantification of communication services. | Poul E. Heegaard, Kishor S. Trivedi |
| 2008 | ICCAD | Reliable system design: models, metrics and design techniques. | Subhasish Mitra, Ravishankar K. Iyer, Kishor S. Trivedi, James W. Tschanz |
| 2008 | ISSRE | The fundamentals of software aging. | Michael Grottke, Rivalino Matias, Kishor S. Trivedi |
| 2008 | ISSRE | Toward optimal virtual machine placement and rejuvenation scheduling in a virtualized data center. | Fumio Machida, Dong Seong Kim, Jong Sou Park, Kishor S. Trivedi |
| 2008 | PRDC | Availability Modeling of SIP Protocol on IBM(c) WebSphere(c). | Kishor S. Trivedi, Dazhi Wang, D. Jason Hunt, Andrew J. Rindos, W. Earl Smith, Bart Vashaw |
| 2007 | Broadnets | Survivability Quantification - Keynote. | Kishor S. Trivedi |
| 2007 | DSN | Variational Bayesian Approach for Interval Estimation of NHPP-Based Software Reliability Models. | Hiroyuki Okamura, Michael Grottke, Tadashi Dohi, Kishor S. Trivedi |
| 2007 | ICSOC | Stochastic Modeling of Composite Web Services for Closed-Form Analysis of Their Performance and Reliability Bottlenecks. | N. Sato, Kishor S. Trivedi |
| 2006 | COMPSAC | A Performance Engineering Tool for Tiered Software Systems. | Vibhu Saujanya Sharma, Pankaj Jalote, Kishor S. Trivedi |
| 2006 | DSN | Performance Assurance via Software Rejuvenation: Monitoring, Statistics and Algorithms. | Alberto Avritzer, Andre B. Bondi, Michael Grottke, Kishor S. Trivedi, Elaine J. Weyuker |
| 2006 | ISSRE | Reliability and Performance of Component Based Software Systems with Restarts, Retries, Reboots and Repairs. | Vibhu Saujanya Sharma, Kishor S. Trivedi |
| 2006 | PRDC | A Best Practice Guide to Resources Forecasting for the Apache Webserver. | Gnther A. Hoffmann, Kishor S. Trivedi, Miroslaw Malek |
| 2006 | PRDC | Modeling High Availability. | Kishor S. Trivedi, Ranjith Vasireddy, David Trindale, Swami Nathan, Rick Castro |
| 2005 | COMPSAC | State Space Approach to Security Quantification. | Christopher Griffin, Bharat B. Madan, Kishor S. Trivedi |
| 2005 | DSN | On a Method for Mending Time to Failure Distributions. | Michael Grottke, Kishor S. Trivedi |
| 2005 | WSC | Modeling and simulation of integrated voice/data cellular communication with generally distributed delay for end voice calls. | Pawan K. Choudhary, Bharat B. Madan, Kishor S. Trivedi |
| 2004 | APSEC | An Infinite Server Queueing Approach for Describing Software Reliability Growth - Unified Modeling and Estimation Framework. | Tadashi Dohi, Shunji Osaki, Kishor S. Trivedi |
| 2004 | DSN | Hierarchical Computation of Interval Availability and Related Metrics. | Dong Tang, Kishor S. Trivedi |
| 2004 | ISSRE | Survivability Analysis of Telephone Access Network. | Yun Liu, Veena B. Mendiratta, Kishor S. Trivedi |
| 2004 | PRDC | Software Rejuvenation Policies for Cluster Systems under Varying Workload. | Wei Xie, Yiguang Hong, Kishor S. Trivedi |
| 2003 | CCS | Security analysis of SITAR intrusion tolerance system. | Dazhi Wang, Bharat B. Madan, Kishor S. Trivedi |
| 2003 | DSN | Adaptive Software Rejuvenation: Degradation Model and Rejuvenation Scheme. | Yujuan Bao, Xiaobai Sun, Kishor S. Trivedi |
| 2003 | DSN | Dependability Enhancement for IEEE 802.11 Wireless LAN with Redundancy Techniques. | Dongyan Chen, Sachin Garg, Chandra M. R. Kintala, Kishor S. Trivedi |
| 2003 | ISSRE | Maximizing Interval Reliability in Operational Software System with Rejuvenation. | Hiroyuki Suzuki, Tadashi Dohi, Naoto Kaio, Kishor S. Trivedi |
| 2002 | DSN | Reliability and Availability Analysis for the JPL Remote Exploration and Experimentation System. | Dong Chen, Selvamuthu Dharmaraja, Dongyan Chen, Lei Li, Kishor S. Trivedi, Raphael R. Some, Allen P. Nikora |
| 2002 | DSN | A Simple Characterization of Provably Efficient Prefetching Algorithms. | Wei Jin, Rakesh D. Barve, Kishor S. Trivedi |
| 2002 | DSN | Modeling and Quantification of Security Attributes of Software Systems. | Bharat B. Madan, Katerina Goseva-Popstojanova, Kalyanaraman Vaidyanathan, Kishor S. Trivedi |
| 2002 | DSN | SHARPE 2002: Symbolic Hierarchical Automated Reliability and Performance Evaluator. | Kishor S. Trivedi |
| 2002 | DSN | SREPT: A Tool for Software Reliability Estimation and Prediction. | Kishor S. Trivedi |
| 2002 | ICCCN | All-terminal reliability analysis of the SRP-ring: the effect of enhanced intelligent protection switching. | Ming Qian, Dimitris Logothetis, Kishor S. Trivedi |
| 2002 | ICECCS | A Framework for Performability Modeling of Messaging Services in Distributed Systems. | Srinivasan Ramani, Katerina Goseva-Popstojanova, Kishor S. Trivedi |
| 2002 | ICSE | Specification-Level Integration of Simulation and Dependability Analysis. | Swapna S. Gokhale, Joseph R. Horgan, Kishor S. Trivedi |
| 2002 | ISSRE | Reliability Prediction and Sensitivity Analysis Based on Software Architecture. | Swapna S. Gokhale, Kishor S. Trivedi |
| 2002 | ISSRE | Modeling and Analysis of Software Rejuvenation in Cable Modem Termination Systems. | Yun Liu, Kishor S. Trivedi, Yue Ma, James J. Han, Haim Levendel |
| 2002 | MSWIM | Network survivability performance evaluation: : a quantitative approach with applications in wireless ad-hoc networks. | Dongyan Chen, Sachin Garg, Kishor S. Trivedi |
| 2002 | PERFORMANCE | Software Reliability and Rejuvenation: Modeling and Analysis. | Kishor S. Trivedi, Kalyanaraman Vaidyanathan |
| 2002 | SRDS | Availability Models with Age-Dependent Checkpointing. | Tadashi Dohi, Naoto Kaio, Kishor S. Trivedi |
| 2002 | SRDS | Analysis of Inspection-Based Preventive Maintenance in Operational Software Systems. | Kalyanaraman Vaidyanathan, Dharmaraja Selvamuthu, Kishor S. Trivedi |
| 2001 | ISSRE | Analysis of Hypergeometric Distribution Software Reliability Model. | Tadashi Dohi, Nobuyuki Wakana, Shunji Osaki, Kishor S. Trivedi |
| 2001 | ISSRE | Many architecture-based software reliability modelsComparison of Architecture-Based Software Reliability Models. | Katerina Goseva-Popstojanova, Aditya P. Mathur, Kishor S. Trivedi |
| 2001 | PRDC | Analysis of Periodic Preventive Maintenance with General System Failure Distribution. | Dongyan Chen, Kishor S. Trivedi |
| 2001 | SIGMETRICS | Analysis and implementation of software rejuvenation in cluster systems. | Kalyanaraman Vaidyanathan, Richard E. Harper, Steven W. Hunter, Kishor S. Trivedi |
| 2001 | SRDS | Performance Analysis of the CORBA Notification Service . | Srinivasan Ramani, Kishor S. Trivedi, Balakrishnan Dasarathy |
| 2000 | GLOBECOM | Composite performance and availability analysis of communications networks. A comparison of exact and approximate approaches. | Yue Ma, James J. Han, Kishor S. Trivedi |
| 2000 | INFOCOM | Call Admission Control for Reducing Dropped Calls in Code Division Multiple Access (CDMA) Cellular Systems. | Yue Ma, James J. Han, Kishor S. Trivedi |
| 2000 | ISSRE | Heuristic Self-Organization Algorithms for Software Reliability Assessment and Their Applications. | Tadashi Dohi, Shunji Osaki, Kishor S. Trivedi |
| 2000 | PRDC | Statistical non-parametric algorithms to estimate the optimal software rejuvenation schedule. | Tadashi Dohi, Katerina Goseva-Popstojanova, Kishor S. Trivedi |
| 2000 | PRDC | Effects of failure correlation on software in operation. | Katerina Goseva-Popstojanova, Kishor S. Trivedi |
| 2000 | SRDS | Performance Analysis of the CORBA Event Service using Stochastic Reward Nets. | Srinivasan Ramani, Kishor S. Trivedi, Balakrishnan Dasarathy |
| 1999 | EDCC | Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systems. | Andrea Bondavalli, Ivan Mura, Kishor S. Trivedi |
| 1999 | ISSRE | Failure correlation in software reliability models. | Katerina Goseva-Popstojanova, Kishor S. Trivedi |
| 1999 | ISSRE | A measurement-based model for estimation of resource exhaustion in operational software systems. | Kalyanaraman Vaidyanathan, Kishor S. Trivedi |
| 1999 | ISSRE | Confidence interval estimation of NHPP-based software reliability models. | Liang Yin, Kishor S. Trivedi |
| 1999 | PRDC | Availability and Performance Evaluation for Automatic Protection Switching in TDMA Wireless System. | Hairong Sun, Yonghuan Cao, Kishor S. Trivedi, James J. Han |
| 1999 | WCNC | A channel recovery method for RF channel failure in wireless communications systems. | Yue Ma, James J. Han, Kishor S. Trivedi |
| 1998 | ISSRE | A methodology for detection and estimation of software aging. | Sachin Garg, Aad P. A. van Moorsel, Kalyanaraman Vaidyanathan, Kishor S. Trivedi |
| 1998 | ISSRE | Reliability simulation of component-based software systems. | Swapna S. Gokhale, Michael R. Lyu, Kishor S. Trivedi |
| 1998 | ISSRE | Software reliability analysis incorporating fault detection and debugging activities. | Swapna S. Gokhale, Michael R. Lyu, Kishor S. Trivedi |
| 1997 | ICCCN | Performability analysis of handoff calls in personal communication networks. | Cheul Woo Ro, Kishor S. Trivedi |
| 1996 | ICECCS | IDEA: Integrated Design Environment for Assessment of ATM Networks. | Ricardo M. Fricks, Steven W. Hunter, Sachin Garg, Kishor S. Trivedi |
| 1996 | INFOCOM | Transient Behavior of ATM Networds under Overloads. | Chang-Yu Wang, Dimitris Logothetis, Kishor S. Trivedi, Yannis Viniotis |
| 1996 | ISSRE | Unification of finite failure non-homogeneous Poisson process models through test coverage. | Swapna S. Gokhale, Teebu Philip, Peter N. Marinos, Kishor S. Trivedi |
| 1996 | SEKE | Important Milestones in Software Reliability Modeling. | Swapna S. Gokhale, Peter N. Marinos, Kishor S. Trivedi |
| 1996 | SIGMETRICS | Minimizing Completion Time of a Program by Checkpointing and Rejuvenation. | Sachin Garg, Yennun Huang, Chandra M. R. Kintala, Kishor S. Trivedi |
| 1995 | ISSRE | Analysis of software rejuvenation using Markov Regenerative Stochastic Petri Net. | Sachin Garg, Antonio Puliafito, Mikls Telek, Kishor S. Trivedi |
| 1995 | MASCOTS | From Stochastic Petri Nets to Markov Regenerative Stochastic Petri Nets. | Kishor S. Trivedi, Antonio Puliafito, Dimitris Logothetis |
| 1995 | SIGMETRICS | Non-Markovian Petri Nets (Panel). | Kishor S. Trivedi, Andrea Bobbio, Mikls Telek, Reinhard German, Gianfranco Ciardo, Antonio Puliafito |
| 1994 | INFOCOM | Transient Analysis of the Leaky Bucket Rate Control Scheme Under Poisson and ON-OFF Sources. | Dimitris Logothetis, Kishor S. Trivedi |
| 1994 | MASCOTS | Markov Reward Approach to Performability and Reliability Analysis. | Kishor S. Trivedi, Manish Malhotra, Ricardo M. Fricks |
| 1994 | SIGMETRICS | Phased-Mission System Analysis Using Boolean Algebraic Methods. | Arun K. Somani, Kishor S. Trivedi |
| 1993 | ICDCS | Approximate Analysis of Priority Scheduling Systems Using Stochastic Reward Nets. | Varsha Mainkar, Kishor S. Trivedi |
| 1993 | INFOCOM | Reliability Analysis of Various Station Attachment Schemes in an FDDI Token Ring. | Dimitris Logothetis, Kishor S. Trivedi |
| 1993 | MASCOTS | Sensitivity Analysis of Deterministic and Stochastic Petri Nets. | Hoon Choi, Varsha Mainkar, Kishor S. Trivedi |
| 1993 | MASCOTS | SPNP: The Stochastic Petri Net Package (Version 3.1). | Gianfranco Ciardo, Kishor S. Trivedi |
| 1993 | MASCOTS | Modeling Using Stochastic Reward Nets. | Jogesh K. Muppala, Gianfranco Ciardo, Kishor S. Trivedi |
| 1993 | SIGMETRICS | On the Sensitivity of Transient Solutions of Markov Models. | A. V. Ramesh, Kishor S. Trivedi |
| 1993 | SIGMETRICS | Dependability and Performability Analysis. | Kishor S. Trivedi, Gianfranco Ciardo, Manish Malhotra, Robin A. Sahner |
| 1993 | SRDS | An Approach for Combinatorial Performance and Availability Analysis. | Malathi Veeraraghavan, Kishor S. Trivedi |
| 1992 | INFOCOM | Approximate Performance Models of Polling Systems Using Stochastic Petri Nets. | Hoon Choi, Kishor S. Trivedi |
| 1991 | LCN | Reliability analysis of the FDDI token ring. | Dimitris Logothetis, Kishor S. Trivedi |
| 1990 | SRDS | An Improved ALgorithm for the Symbolic Reliability Analysis of Networks. | Malathi Veeraraghavan, Kishor S. Trivedi |
| 1989 | ICDCS | On reliability modelling of fault-tolerant distributed systems. | Philip M. Thambidurai, You-Keun Park, Kishor S. Trivedi |
| 1989 | ICPP | Completion Times of Programs on Concurrent Processors with Failure and Repair. | Phillip F. Chimento Jr., Kishor S. Trivedi |
| 1989 | RTSS | Transient Overloads in Fault-Tolerant Real-Time Systems. | Philip M. Thambidurai, Kishor S. Trivedi |
| 1988 | SIGMETRICS | Sensitivity Analysis of Reliability and Performability Measures for Multiprocessor Systems. | James T. Blake, Andrew L. Reibman, Kishor S. Trivedi |
| 1986 | SIGMETRICS | Queueing Analysis of Fault-Tolerant Computer Systems. | Victor F. Nicola, Vidyadhar G. Kulkarni, Kishor S. Trivedi |
| 1984 | PERFORMANCE | Extended Stochastic Petri Nets: Applications and Analysis. | Joanne Bechta Dugan, Kishor S. Trivedi, Robert Geist, Victor F. Nicola |
| 1983 | PERFORMANCE | Analysis of M/G/2 - Standby Redundant System. | Franois Baccelli, Kishor S. Trivedi |
| 1983 | PERFORMANCE | The Integration of User Perception in the Heterogeneous M/M/2 Queue. | Robert Geist, Kishor S. Trivedi |
| 1980 | ISCA | Designing Linear Storage Hierarchies so as to Maximize Reliability Subject to Cost and Performance Constraints. | Kishor S. Trivedi |
| 1980 | SIGMETRICS | Hardware configuration selection through discretizing a continuous variable solution. | Robert A. Wagner, Kishor S. Trivedi |
| 1979 | ISCA | A Performance Comparison of Optimally Designed Computer Systems with and without Virtual Memory. | Kishor S. Trivedi, Timothy M. Sigmon |
| 1978 | ARITH | Higher radix on-line division. | Kishor S. Trivedi, Joseph G. Rusnak |
| 1975 | ARITH | On the use of continued emotions for digital computer arithmetic. | Kishor S. Trivedi |
| 1975 | ARITH | On-line algorithms for division and multiplication. | Kishor S. Trivedi, Milos D. Ercegovac |
| 1972 | ARITH | The status of investigations into the use of continued fractions for computer hardware. | James E. Robertson, Kishor S. Trivedi |