Christophe Hirel

Simulation versus analytic-numeric methods: illustrative examples

Kishor S. Trivedi, Bruno Tuffin, Pawan K. Choudhary, 2007, ValueTools '07.

SPNP: Stochastic Petri Nets. Version 6.0

Kishor S. Trivedi, Bruno Tuffin, Christophe Hirel, 2000, Computer Performance Evaluation / TOOLS.

The development of an integrated modeling environment

Kishor S. Trivedi, Ricardo M. Fricks, Christophe Hirel, 1998 .

Simulation versus analytic-numeric methods: illustrative examples

Kishor S. Trivedi, Bruno Tuffin, Pawan K. Choudhary, 2007, Valuetools 2007.

iSPN: An integrated environment for modeling using stochastic Petri nets

Kishor S. Trivedi, Ricardo M. Fricks, Christophe Hirel, 1998 .

Reliability and Performability Modeling Using SHARPE 2000

Kishor S. Trivedi, Christophe Hirel, Xinyu Zang, 2000, Computer Performance Evaluation / TOOLS.