| 30 years of GreatSPN EG Amparore, G Balbo, M Beccuti, S Donatelli, G Franceschinis Principles of Performance and Reliability Modeling and Evaluation: Essays in …, 2016 | 84 | 2016 |
| 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 | 74 | 2021 |
| Presentation of the 9th edition of the model checking contest E Amparore, B Berthomieu, G Ciardo, S Dal Zilio, F Gallà, LM Hillah, ... Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019 | 40 | 2019 |
| (Stochastic) model checking in GreatSPN EG Amparore, M Beccuti, S Donatelli Application and Theory of Petri Nets and Concurrency: 35th International …, 2014 | 30 | 2014 |
| On driver behavior recognition for increased safety: a roadmap L Davoli, M Martalò, A Cilfone, L Belli, G Ferrari, R Presta, R Montanari, ... Safety 6 (4), 55, 2020 | 26 | 2020 |
| 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 | 25 | 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 | 24 | 2018 |
| A New GreatSPN GUI for GSPN Editing and CSLTA Model Checking EG Amparore Quantitative Evaluation of Systems: 11th International Conference, QEST 2014 …, 2014 | 22 | 2014 |
| MC4CSLTA: an efficient model checking tool for CSLTA EA Gilberto, S Donatelli 2010 Seventh International Conference on the Quantitative Evaluation of …, 2010 | 21 | 2010 |
| 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 | 18 | 2018 |
| 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, ... | 18 | |
| 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 |
| Model checking CSLTA with Deterministic and Stochastic Petri Nets EG Amparore, S Donatelli 2010 IEEE/IFIP International Conference on Dependable Systems & Networks …, 2010 | 15 | 2010 |
| Heterogeneous industrial vehicle usage predictions: A real case D Markudova, E Baralis, L Cagliero, M Mellia, L Vassio, EG Amparore, ... Proceedings of the Workshops of the {EDBT/ICDT} 2019 Joint Conference,{EDBT …, 2019 | 14 | 2019 |
| 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 |
| A component-based solution method for non-ergodic Markov Regenerative Processes EG Amparore, S Donatelli Computer Performance Engineering: 7th European Performance Engineering …, 2010 | 14 | 2010 |
| 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 | 13 | 2018 |
| 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 | 13 | 2017 |
| A CTL* model checker for Petri nets EG Amparore, S Donatelli, F Gallà International Conference on Applications and Theory of Petri Nets and …, 2020 | 10 | 2020 |
Susanna DonatelliComputer Science Professor, Universita' di Torino (Italy)Dirección de correo verificada de di.unito.it
