Kishor S. Trivedi

SPNP: stochastic Petri net package

Gianfranco Ciardo, Jogesh K. Muppala, Kishor S. Trivedi · 2003 · 548 citations

Engineering, Computer Science, Systems Engineering +11

Analysis of software rejuvenation using Markov Regenerative Stochastic Petri Net

S. Garg, Antonio Puliafito, Miklós Telek et al. · 2002 · 215 citations

Engineering, Computer Engineering, Computer Systems +17

Availability Modeling and Analysis of a Virtualized System

Dong Seong Kim, Fumio Machida, Kishor S. Trivedi · 2009 · 212 citations

Computing, Computer Science, Computer Systems +17

Composite performance and dependability analysis

Kishor S. Trivedi, Jogesh K. Muppala, Steven Woolet et al. · Performance Evaluation · 1992 · 166 citations · Full text

Engineering, Systems Engineering, Structural Analysis +11

Attack countermeasure trees (ACT): towards unifying the constructs of attack and defense trees

A.B. Roy, Dong Seong Kim, Kishor S. Trivedi · Security and Communication Networks · 2011 · 159 citations

Computing, Computer Science, Cybersecurity +12