icona publicationsPublications

Di seguito, l'elenco delle mie pubblicazioni:

Articoli su riviste nazionali e intenazionali


  1. Elvio Gilberto Amparore, Susanna Donatelli: Backward Solution of Markov Chains and Markov Regenerative Processes: Formalization and Applications.Electr. Notes Theor. Comput. Sci. 296: 7-26 (2013)
  2. Elvio Gilberto Amparore, Susanna Donatelli: A component-based solution for reducible Markov regenerative processes. Perform. Eval. 70(6): 400-422 (2013)
  3. Elvio Gilberto Amparore, Susanna Donatelli: Revisiting the matrix-free solution of Markov regenerative processes. Numerical Lin. Alg. with Applic. 18(6): 1067-1083 (2011)

Interventi e Appunti in conferenze e convegni nazionali e internazionali


  1. Elvio Gilberto Amparore, Susanna Donatelli, Marco Beccuti, Giulio Garbi and Andrew Miner: Decision diagrams for Petri nets: which variable ordering?, accepted for publication at the 11th International Workshop on Petri Nets and Software Engineering (PNSE'17), Zaragoza, Spain, June 26-27, 2017.
  2. Elvio Gilberto Amparore, Susanna Donatelli: Optimal Aggregation of Components for the Solution of Markov Regenerative Processes. QEST 2016: 19-34
  3. Elvio Gilberto Amparore: Reengineering the Editor of the GreatSPN Framework. PNSE @ Petri Nets 2015: 153-170
  4. Marco Beccuti, Elvio Gilberto Amparore, Susanna Donatelli, Dimitri Scheftelowitsch, Peter Buchholz, Giuliana Franceschinis:Markov Decision Petri Nets with Uncertainty EPEW 2015: 177-192
  5. Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli: (Stochastic) Model Checking in GreatSPN. Petri Nets 2014: 354-363
  6. Elvio Gilberto Amparore, Marco Beccuti, Simona Collina, Flavia De Simone, Susanna Donatelli, Fabio Tango: Cognitive Systems in Intelligent Vehicles - A New Frontier for Autonomous Driving. ICINCO (2) 2014: 817-822
  7. Elvio Gilberto Amparore, Peter Buchholz, Susanna Donatelli: A Structured Solution Approach for Markov Regenerative Processes. QEST 2014: 9-24
  8. Elvio Gilberto Amparore: A New GreatSPN GUI for GSPN Editing and CSLTA Model Checking. QEST 2014: 170-173
  9. Elvio Gilberto Amparore, Paolo Ballarini, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis: Expressing and Computing Passage Time Measures of GSPN Models with HASL. Petri Nets 2013: 110-129
  10. Elvio Gilberto Amparore, Susanna Donatelli: Improving and Assessing the Efficiency of the MC4CSLTA Model Checker. EPEW 2013: 206-220
  11. Elvio Gilberto Amparore, BenoƮt Barbot, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis: Simulation-based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets. SIGSIM-PADS 2013: 253-264
  12. Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis: Probe Automata for Passage Time Specification. QEST 2011: 101-110
  13. Elvio Gilberto Amparore, Susanna Donatelli: Model checking CSLTA with Deterministic and Stochastic Petri Nets. DSN 2010: 605-614
  14. Elvio Gilberto Amparore, Susanna Donatelli: A Component-Based Solution Method for Non-ergodic Markov Regenerative Processes. EPEW 2010: 236-251
  15. Elvio Gilberto Amparore, Susanna Donatelli: DSPN-Tool: A New DSPN and GSPN Solver for GreatSPN. QEST 2010: 79-80
  16. Elvio Gilberto Amparore, Susanna Donatelli: MC4CSLTA: An Efficient Model Checking Tool for CSLTA. QEST 2010: 153-154

Libri e singoli capitoli


  1. Elvio Gilberto Amparore, Gianfranco Balbo, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis 30 Years of GreatSPN Principles of Performance and Reliability Modeling and Evaluation, 227-254

Altro...