Skip to main content

Kishor S. Trivedi

Hudson Distinguished Professor of Electrical and Computer Engineering
Electrical and Computer Engineering

Research Interests


Markov models, Fault trees, Stochastic Petri nets, Reliability Modeling, Availability Modeling, Performability modeling, Survivability modeling, Cyber Security, Software reliability, Software Fault Tolerance, Software Aging and Rejuvenation

Selected Grants


TWC: Small: Collaborative: SRN: On Establishing Secure and Resilient Networking Services

ResearchPrincipal Investigator · Awarded by National Science Foundation · 2015 - 2019

CNH-Ex: Balancing Water Needs and Water Uses for Humans and Nature

ResearchInvestigator · Awarded by National Science Foundation · 2013 - 2017

Empirical Analysis of Software Failure Data in NASA Space Missions

ResearchPrincipal Investigator · Awarded by National Aeronautics and Space Administration · 2014 - 2015

Application of Markov Decision Process for System Dependability Design

ResearchPrincipal Investigator · Awarded by NEC Corporation · 2014 - 2015

TWC: Small: Collaborative: SRN: On Establishing Secure and Resilient Networking Services

ResearchPrincipal Investigator · Awarded by National Science Foundation · 2015 - 2019

CNH-Ex: Balancing Water Needs and Water Uses for Humans and Nature

ResearchInvestigator · Awarded by National Science Foundation · 2013 - 2017

Empirical Analysis of Software Failure Data in NASA Space Missions

ResearchPrincipal Investigator · Awarded by National Aeronautics and Space Administration · 2014 - 2015

Application of Markov Decision Process for System Dependability Design

ResearchPrincipal Investigator · Awarded by NEC Corporation · 2014 - 2015

NeTS: Small: Collaborative Research: Analytic Modeling and Enhancement of Vehicular Ad Hoc Networks for Safety Related Applications

ResearchPrincipal Investigator · Awarded by National Science Foundation · 2010 - 2014

Collaborative Research: MiMANaS: Metrics, Models and Analysis of Network Security and Survivability

ResearchPrincipal Investigator · Awarded by National Science Foundation · 2008 - 2012

Classifying Software Faults to Improve Fault Detection Effectiveness

ResearchPrincipal Investigator · Awarded by Jet Propulsion Lab · 2007 - 2009

Collaborative Project: NSF Partnership in the Center for Advanced Computing and Communication

ResearchPrincipal Investigator · Awarded by National Science Foundation · 1998 - 2005

Bilateral Project: Dependability Modeling and Analysis of Phased-Mission Systems

ResearchPrincipal Investigator · Awarded by National Science Foundation · 1999 - 2002

Reliability, Availability and Performability Modeling of the REE System

ResearchPrincipal Investigator · Awarded by Jet Propulsion Lab · 2000 - 2002

TUNE: System Support for Memory-Friendly Programming

ResearchPrincipal Investigator · Awarded by National Science Foundation · 1997 - 2001

Performance Analysis Methodology for the Future Wireless Communication Systems

ResearchPrincipal Investigator · Awarded by National Science Foundation · 1998 - 2000

Software Reliability

ResearchPrincipal Investigator · Awarded by National Science Foundation · 1997 - 2000

NSF Partnership in the Center for Advanced Computing and Communication

ResearchPrincipal Investigator · Awarded by National Science Foundation · 1994 - 1999

Mathematical Models and Transformations for Memory-Friendly Programming

ResearchPrincipal Investigator · Awarded by Lord Foundation of North Carolina · 1998 - 1999

TUNE: System Support for Memory-Friendly Programming

ResearchPrincipal Investigator · Awarded by National Science Foundation · 1997 - 1998

REGAL Reliability Engineering Analytical Modeler

ResearchPrincipal Investigator · Awarded by National Science Foundation · 1994 - 1998

ATM Networks

ResearchPrincipal Investigator · Awarded by National Science Foundation · 1994 - 1998

Center for Advanced Computing and Communication-NSF/IUCRC

ResearchPrincipal Investigator · Awarded by National Science Foundation · 1994 - 1998

Center for Advanced Computing and Communication - NSF/IUCRC

ResearchPrincipal Investigator · Awarded by National Science Foundation · 1994 - 1998

IUCRC/Center for Advanced Computing and Communications

ResearchPrincipal Investigator · Awarded by National Science Foundation · 1994 - 1998

Research in Advanced Computing and Communication

ResearchPrincipal Investigator · Awarded by Lord Foundation of North Carolina · 1996 - 1997

Research for Advanced Computing and Communications

ResearchPrincipal Investigator · Awarded by Lord Foundation of North Carolina · 1995 - 1996

High Performance Computing in Stochastic Modeling

ResearchPrincipal Investigator · Awarded by National Science Foundation · 1993 - 1995

Computer Engineering System Center: A Planning Grant

ResearchPrincipal Investigator · Awarded by National Science Foundation · 1993 - 1994

Towards A Theory of Hierarchical Modeling

ResearchPrincipal Investigator · Awarded by National Science Foundation · 1991 - 1993

Towards a Theory of Hierarchical Modeling

ResearchPrincipal Investigator · Awarded by National Science Foundation · 1991 - 1992

Methodology for the Specification of Fault-Tolerant Real-Time Systems

ResearchPrincipal Investigator · Awarded by Office of Naval Research · 1991 - 1992

Performance: Dependability Validation of Highly Fault Tolerant Systems

ResearchPrincipal Investigator · Awarded by Office of Naval Research · 1988 - 1991

Performance and Dependability Validation in High Fault Tolerant Systems

ResearchPrincipal Investigator · Awarded by Office of Naval Research · 1988 - 1991

Performance and Dependability Validation of Highly Parallel Fault Tolerant Systems

ResearchPrincipal Investigator · Awarded by Office of Naval Research · 1988 - 1990

Performance and Dependability

ResearchPrincipal Investigator · Awarded by Office of Naval Research · 1988 - 1990

Hybrid Automated Reliability Prediction

ResearchPrincipal Investigator · Awarded by National Aeronautics and Space Administration · 1986 - 1989

trivedi

ResearchPrincipal Investigator · Awarded by Air Force Office of Scientific Research ·

Effectiveness Evaluation of Fault-Tolerant Multiprocessor Systems

ResearchPrincipal Investigator · Awarded by Department of Energy · 1987 - 1988

Hybrid Automated Reliability Prediction

ResearchPrincipal Investigator · Awarded by National Aeronautics and Space Administration · 1986 - 1987

Hybrid Automated Reliability Predictor

ResearchPrincipal Investigator · Awarded by National Aeronautics and Space Administration · 1980 - 1987