Trivedi, K.S.

• Sun, Hairong; Zang, Xinyu; Trivedi, Kishor S.:
  A performance model of partial packet discard and early packet discard schemes in ATM switches. 2001.

• Sun, Hairong; Zang, Xinyu; Trivedi, Kishor S.:
  Performance of broadcast and unknown server (BUS) in ATM LAN emulation. 2001.

• Trivedi, Kishor S.; Tuffin, Bruno:
  Importance Sampling for the Simulation of Stochastic Petri Nets and Fluid Stochastic Petri Nets. 2001.

• Hirel, Christophe; Tuffin, Bruno; Trivedi, Kishor S.:
  SPNP: Stochastic Petri Nets. Version 6.0. 2000.

• Ramani, S.; Trivedi, K.S.; Dasarathy, B.:
  Performance analysis of the CORBA event service using stochastic reward nets. 2000.

• Tuffin, Bruno; Trivedi, Kishor S.:
  Implementation of Importance Splitting Techniques in Stochastic Petri Net Package. 2000.

• Bondavalli, A.; Mura, I.; Trivedi, K.S.:
  Dependability modeling and sensitivity analysis of scheduled maintenance system. 1999.

• Ramesh, A.V.; Twigg, D.W.; Sandadi, U.R.; Sharma, T.C.; Trivedi, K.S.; Somani, A.K.:
  An integrated reliability modeling environment. 1999.

• Sun, H.; Zang, X.; Trivedi, K.S.:
  A stochastic reward net model for performance analysis of prioritized DQDB MAN. 1999.

• Fricks, R.M.; Puliafito, A.; Trivedi, K.S.:
  Perfromance analysis of distributed real-time databases. 1998.

• Puliafito, A.; Scarpa, M; Trivedi, K.S.:
  Petri nets with K-simultaneously enable generally distributed timed transitions. 1998.

• Ciardo, Gianfranco; Nicol, David; Trivedi, Kishor S.:
  Discrete-event simulation of fluid stochastic Petri nets. 1997.

• Balakrishnan, M.; Trivedi, K.S:
  Stochastic Petri nets for the reliability analysis of communication network applications with alternate-routing. 1996.

• Fricks, R.; Puliafito, A.; Telek, M.; Trivedi, K.S.:
  Markov renewal theory applied to performability evaluation. 1996.

• Pfening, A.; Garg, S.; Puliafito, A.; Telek, M.; Trivedi, K.S.:
  Optimal rejuvenation for tolerating soft failures. 1996.

• Wang, Chang-Yu; Logothetis, D.; Trivedi, K.S.; Viniotis, I.:
  Transient Behavior of ATM Networks under Overloads. 1996.

• Bobbio, Andrea; Kulkarni, Vidyadhar G.; Puliafito, Antonio; Telek, Miklós; Trivedi, Kishor S.:
  Preemptive Repeat Indentical Transitions in Markow Regenerative Stochastic Petri Nets. 1995.

• German, Reinhard; Logothetis, Dimitris; Trivedi, Kishor S.:
  Transient Analysis of Markov Regenerative Stochastic Petri Nets: A Comparison of Approaches. 1995.

• Greiner, Stefan; Bolch, Gunter; Puliafito, Antonio; Trivedi, Kishor S.:
  Performance Evaluation of Dynamic Priority Operating Systems. 1995.

• Logothetis, D.; Trivedi, K.S.; Puliafito, A.:
  Markov regenerative models. 1995.

• Mainkar, Varsha; Trivedi, Kishor S.:
  Fixed Point Iteration Using Stochastic Reward Nets. 1995.

• Sahner, R.A.; Trivedi, K.S.; Puliafito, A.:
  Performance and Reliability Analysis of Computer Systems: An Example-Based Approach Using the SHARPE Software Package. 1995.

• Telek, M.; Bobbio, A.; Jereb, L.; Puliafito, A.; Trivedi, K.S.:
  Steady state analysis of Markov regenerative SPN with age memory policy. 1995.

• Garg, S.; Puliafito, A.; Telek, M.; Trivedi, K.S.:
  Analysis of software rejuvenation using Markov regenerative stochastic Petri net. 1995.

• Malhotra, M.; Trivedi, K.S.:
  Dependability modeling using Petri-nets. 1995.

• Puliafito, A.; Balakrishnan, M.; Viniotis, I.; Trivedi, K.S.:
  Buffer Sizing for Available Bit Rate (ABR) Traffic in an ATM Switch. 1995.

• Trivedi, Kishor S.; Bobbio, Andrea; Ciardo, Gianfranco; German, Reinhard; Puliafito, Antonio; Telek, Miklos:
  Non-Markovian Petri Nets. 1995.

• Choi, H.; Kulkarni, V.G.; Trivedi, K.S.:
  Markov Regenerative Stochastic Petri Nets. 1994.

• Muppala, J.K.; Trivedi, K.S.; Mainkar, V.; Kulkarni, V.G.:
  Numerical Computation of Response Time Distributions Using Stochastic Reward Nets. 1994.

• Malhotra, M.; Trivedi, K.S.:
  Power-hierarchy among dependability model types. 1994.

• Muppala, Jogesh K.; Ciardo, Gianfranco; Trivedi, Kishor S.:
  Stochastic Reward Nets for Reliability Prediction. 1994.

• Trivedi, Kishor S.; Ciardo, Gianfranco; Malhotra, M.; Garg, S.:
  Dependability and Performability Modeling using Stochastic Petri Nets. 1994.

• Geist, Robert; Mainkar, Varsha; Tomek, Lorrie; Trivedi, Kishor S.:
  Reliability Modeling of Life-Critical Real-Time Systems. 1994.

• Choi, H.; Kulkarni, V.G.; Trivedi, K.S.:
  Transient Analysis of Deterministic and Stochastic Petri Nets. 1993.

• Ciardo, G.; Blakemore, A.; Chimento, P.F.; Muppala, J.K.; Trivedi, K.S.:
  Automated generation and analysis of Markov reward models using Stochastic Reward Nets. 1993.

• Ciardo, Gianfranco; Trivedi, Kishor S.:
  SPNP: The Stochastic Petri Net Package (Version 3.1). 1993.

• Haverkort, Boudewijn R.; Trivedi, Kishor S.:
  Specification and Generation of Markov Reward Models. 1993.

• Mainkar, Varsha; Choi, Hoon; Trivedi, Kishor S.:
  Sensitivity Analysis of Markov Regenerative Stochastic Petri Nets. 1993.

• Mainkar, V.; Trivedi, K.S.:
  Approximate Analysis of Priority Scheduling Systems Using Stochastic Reward Nets. 1993.

• Malhotra, M.; Trivedi, K.S.:
  A Methodology for Formal Expression of Hierarchy in Model Solution. 1993.

• Muppala, J.K.; Ciardo, G.; Trivedi, K.S.:
  Modeling Using Stochastic Reward Nets. 1993.

• Muppala, J.K.; Trivedi, K.S.; Woolet, S.P.:
  On Modeling Performance of Real-Time Systems in the Presence of Failures. 1993.

• Trivedi, K.S.; Kulkarni, V.G.:
  FSPNs: Fluid Stochastic Petri Nets. 1993.

• Wang, Ch.-Y.; Trivedi, K.S.:
  Integration of Specification for Modeling and Specification for System Design. 1993.

• Ibe, Oliver C.; Choi, Hoon; Trivedi, Kishor S.:
  Performance Evaluation of Client-Server Systems. 1993.

• Muppala, J.K.; Tomek, L.; Trivedi, K.S.:
  Modeling Correlation in Software Recovery. 1993.

• Ciardo, G.; Muppala, J.K.; Trivedi, K.S.:
  Analyzing Concurrent and Fault-Tolerant Software Using Stochastic Reward Nets. 1992.

• Muppala, J.K.; Sathaye, A.S.; Howe, R.C.; Trivedi, K.S.:
  Dependability Modeling of a Heterogenous VAXcluster System using Stochastic Reward Nets. 1992.

• Muppala, J.K.; Trivedi, K.S.:
  Composite Performance and Availability Analysis Using a Hierarchy of Stochastic Reward Nets. 1992.

• Muppala, J.K.; Trivedi, K.S.:
  Numerical Transient Analysis of Finite Markovian Queueing Systems. 1992.

• Ciardo, G.; Muppala, J.K.; Trivedi, K.S.:
  On the Solution of GSPN Reward Models. 1991.

• Ciardo, Gianfranco; Trivedi, Kishor S.:
  Solution of large GSPN models. 1991.

• Ciardo, Gianfranco; Trivedi, Kishor S.:
  A Decomposition Approach for Stochastic Petri Net Models. 1991.

• Kantz, Heinz; Trivedi, Kishor S.:
  Reliability Modeling of the MARS System: A Case Study in the Use of Different Tools and Techniques. 1991.

• Muppala, J.K.; Woolet, S.P.; Trivedi, K.S.:
  Real-Time Systems Performance in the Presence of Failures. 1991.

• Ibe, O.C.; Trivedi, K.S.:
  Stochastic Petri Net Analysis of Finite-Population Vacation Queueing Systems. 1991.

• Ciardo, Gianfranco; Muppala, Jogesh K.; Trivedi, Kishor S.:
  SPNP: Stochastic Petri Net Package. 1990.

• Ibe, Oliver C.; Sathaye, Archana; Howe, Richard C.; Trivedi, Kishor S.:
  Stochastic Petri Net Modeling of VAXcluster System Availability. 1990.

• Muppala, J.K.; Trivedi, K.S.:
  GSPN Models: Sensitivity Analysis and Applications. 1990.

• Sathaye, A.; Trivedi, K.S.; Howe, R.C.:
  Availability Modeling of Heterogeneous VAX-Cluster Systems: a Stochastic Petri Net Approach. 1990.

• Ibe, O.C.; Trivedi, K.S.:
  Stochastic Petri Net Models of Polling Systems. 1990.

• Dugan, Joanne Bechta; Trivedi, Kishor S.:
  Coverage Modeling for Dependability Analysis of Fault-Tolerant Systems. 1989.

• Trivedi, K.S.:
  Effectiveness Evaluation of Fault-Tolerant Multiprocessor Systems. 1988.

• Geist, R.M.; Smotherman, M.; Trivedi, K.S.; Dugan, J.B.:
  Reliability of Life-critical Computer Systems. 1986.

• Dugan, J.B.; Bobbio, A.; Ciardo, G.; Trivedi, K.S.:
  The Design of a Unified Package for the Solution of Stochastic Petri Net Models. 1985.

• Geist, R.M.; Trivedi, K.S.:
  Hybrid Modelling Techniques and Their Application to Fault-Tolerant Computer Systems. 1984.

• Trivedi, K.S.; Ciardo, G.; Bobbio, A.; Dugan, J.B.:
  Design of a Unified Package for the Solution of Stochastic Petri Net Models. 1984.

• Trivedi, K.S.; Dugan, J.B.; Geist, R.M.; Smotherman, M.:
  Hybrid Reliability Modeling of Fault-Tolerant Computer Systems. 1984.

• Trivedi, K.S.; Dugan, J.B.; Geist, R.M.; Smotherman, M.:
  Modelling Imperfect Coverage in Fault-Tolerant Systems. 1984.

• Dugan, J.B.; Trivedi, K.S.; Geist, R.M.; Nicola, V.F.:
  Extended Stochastic Petri Nets: Applications and Analysis. 1984.

• Geist, R.M.; Trivedi, K.S.; Dugan, J.B.; Smotherman, M.:
  Design of the Hybrid Automated Reliability Predictor. 1983.

Back to the Petri Nets Bibliography