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 | 38 | 2016 |
(Stochastic) model checking in GreatSPN EG Amparore, M Beccuti, S Donatelli International Conference on Applications and Theory of Petri Nets and …, 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 | 18 | 2010 |
A New GreatSPN GUI for GSPN Editing and CSLTA Model Checking EG Amparore International Conference on Quantitative Evaluation of Systems, 170-173, 2014 | 16 | 2014 |
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 | 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 |
A component-based solution method for non-ergodic Markov Regenerative Processes EG Amparore, S Donatelli European Performance Engineering Workshop, 236-251, 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 |
DSPN-Tool: a new DSPN and GSPN solver for GreatSPN EA Gilberto, S Donatelli 2010 Seventh International Conference on the Quantitative Evaluation of …, 2010 | 13 | 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, ... | 13 | |
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 | 12 | 2019 |
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 | 11 | 2018 |
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 |
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 | 9 | 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 | 9 | 2017 |
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 |
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 | 8 | 2018 |
Backward solution of Markov chains and Markov regenerative processes: Formalization and applications EG Amparore, S Donatelli Electronic Notes in Theoretical Computer Science 296, 7-26, 2013 | 8 | 2013 |
Expressing and computing passage time measures of GSPN models with HASL EG Amparore, P Ballarini, M Beccuti, S Donatelli, G Franceschinis International Conference on Applications and Theory of Petri Nets and …, 2013 | 8 | 2013 |