| 30 years of GreatSPN EG Amparore, G Balbo, M Beccuti, S Donatelli, G Franceschinis Principles of performance and reliability modeling and evaluation, 227-254, 2016 | 61 | 2016 |
| Presentation of the 9th edition of the model checking contest E Amparore, B Berthomieu, G Ciardo, S Dal Zilio, F Gallà, LM Hillah, ... International Conference on Tools and Algorithms for the Construction and …, 2019 | 28 | 2019 |
| (Stochastic) model checking in GreatSPN EG Amparore, M Beccuti, S Donatelli International Conference on Applications and Theory of Petri Nets and …, 2014 | 27 | 2014 |
| A New GreatSPN GUI for GSPN Editing and CSLTA Model Checking EG Amparore International Conference on Quantitative Evaluation of Systems, 170-173, 2014 | 20 | 2014 |
| MC4CSLTA: an efficient model checking tool for CSLTA EA Gilberto, S Donatelli 2010 Seventh International Conference on the Quantitative Evaluation of …, 2010 | 20 | 2010 |
| SeqBox: RNAseq/ChIPseq reproducible analysis on a consumer game computer M Beccuti, F Cordero, M Arigoni, R Panero, EG Amparore, S Donatelli, ... Bioinformatics 34 (5), 871-872, 2018 | 19 | 2018 |
| On the safety of automotive systems incorporating machine learning based components: A Position Paper M Gharib, P Lollini, M Botta, E Amparore, S Donatelli, A Bondavalli 2018 48th Annual IEEE/IFIP International Conference on Dependable Systems …, 2018 | 15 | 2018 |
| A component-based solution for reducible Markov regenerative processes EG Amparore, S Donatelli Performance Evaluation 70 (6), 400-422, 2013 | 15 | 2013 |
| Revisiting the matrix‐free solution of Markov regenerative processes EG Amparore, S Donatelli Numerical Linear Algebra with Applications 18 (6), 1067-1083, 2011 | 15 | 2011 |
| MCC’2017–the seventh model checking contest F Kordon, H Garavel, LM Hillah, E Paviot-Adet, L Jezequel, ... Transactions on Petri Nets and Other Models of Concurrency XIII, 181-209, 2018 | 14 | 2018 |
| A component-based solution method for non-ergodic Markov Regenerative Processes EG Amparore, S Donatelli European Performance Engineering Workshop, 236-251, 2010 | 14 | 2010 |
| DSPN-Tool: a new DSPN and GSPN solver for GreatSPN EA Gilberto, S Donatelli 2010 Seventh International Conference on the Quantitative Evaluation of …, 2010 | 14 | 2010 |
| Model checking CSLTA with Deterministic and Stochastic Petri Nets EG Amparore, S Donatelli 2010 IEEE/IFIP International Conference on Dependable Systems & Networks …, 2010 | 14 | 2010 |
| Complete results for the 2016 edition of the model checking contest, June 2016 F Kordon, H Garavel, LM Hillah, F Hulin-Hubard, B Berthomieu, G Ciardo, ... | 14 | |
| Decision diagrams for Petri nets: a comparison of variable ordering algorithms EG Amparore, S Donatelli, M Beccuti, G Garbi, A Miner Transactions on Petri Nets and Other Models of Concurrency XIII, 73-92, 2018 | 12 | 2018 |
| To trust or not to trust an explanation: using LEAF to evaluate local linear XAI methods E Amparore, A Perotti, P Bajardi PeerJ Computer Science 7, e479, 2021 | 11 | 2021 |
| A structured solution approach for Markov regenerative processes EG Amparore, P Buchholz, S Donatelli International Conference on Quantitative Evaluation of Systems, 9-24, 2014 | 11 | 2014 |
| Gradient-based variable ordering of decision diagrams for systems with structural units EG Amparore, M Beccuti, S Donatelli International Symposium on Automated Technology for Verification and …, 2017 | 10 | 2017 |
| Efficient model checking of the stochastic logic CSLTA EG Amparore, S Donatelli Performance Evaluation 123, 1-34, 2018 | 9 | 2018 |
| Decision diagrams for Petri nets: which variable ordering EG Amparore, S Donatelli, M Beccuti, G Garbi, A Miner Petri Net Performance Engineering conference (PNSE), 31-50, 2017 | 9 | 2017 |
Susanna DonatelliComputer Science Professor, Universita' di Torino (Italy)Verified email at di.unito.it
