Gianfranco Ciardo

SPNP: stochastic Petri net package

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

Engineering, Computer Science, Systems Engineering +11

A decomposition approach for stochastic reward net models

Gianfranco Ciardo, Kishor S. Trivedi · Performance Evaluation · 1993 · 267 citations

Business, Decision Sciences, Machine Learning +12

A characterization of the stochastic process underlying a stochastic Petri net

Gianfranco Ciardo, Reinhard German, Christoph Lindemann · IEEE Transactions on Software Engineering · 1994 · 201 citations

Engineering, Computer Science, Stochastic Modeling +16

Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models

Peter Buchholz, Gianfranco Ciardo, Susanna Donatelli et al. · INFORMS journal on computing · 2000 · 160 citations

Computing, Computer Science, Mathematics +16

Stochastic Reward Nets for Reliability Prediction

Jogesh K. Muppala, Gianfranco Ciardo, Kishor S. Trivedi · 1996 · 153 citations

Computing, Computer Science, Industrial Engineering +14