Follow
Elvio Gilberto Amparore
Title
Cited by
Cited by
Year
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
892016
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
842021
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
472019
(Stochastic) model checking in GreatSPN
EG Amparore, M Beccuti, S Donatelli
Application and Theory of Petri Nets and Concurrency: 35th International …, 2014
322014
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
282020
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
262018
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
242018
A New GreatSPN GUI for GSPN Editing and CSLTA Model Checking
EG Amparore
Quantitative Evaluation of Systems: 11th International Conference, QEST 2014 …, 2014
222014
MC4CSLTA: an efficient model checking tool for CSLTA
EA Gilberto, S Donatelli
2010 Seventh International Conference on the Quantitative Evaluation of …, 2010
212010
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
182018
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
162013
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
152018
Revisiting the matrix‐free solution of Markov regenerative processes
EG Amparore, S Donatelli
Numerical Linear Algebra with Applications 18 (6), 1067-1083, 2011
152011
Model checking CSLTA with Deterministic and Stochastic Petri Nets
EG Amparore, S Donatelli
2010 IEEE/IFIP International Conference on Dependable Systems & Networks …, 2010
152010
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
142019
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
142017
DSPN-Tool: a new DSPN and GSPN solver for GreatSPN
EA Gilberto, S Donatelli
2010 Seventh International Conference on the Quantitative Evaluation of …, 2010
142010
A component-based solution method for non-ergodic Markov Regenerative Processes
EG Amparore, S Donatelli
Computer Performance Engineering: 7th European Performance Engineering …, 2010
142010
Efficient model checking of the stochastic logic CSLTA
EG Amparore, S Donatelli
Performance Evaluation 123, 1-34, 2018
102018
The system can't perform the operation now. Try again later.
Articles 1–20