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, 227-254, 2016
382016
(Stochastic) model checking in GreatSPN
EG Amparore, M Beccuti, S Donatelli
International Conference on Applications and Theory of Petri Nets and …, 2014
202014
MC4CSLTA: an efficient model checking tool for CSLTA
EA Gilberto, S Donatelli
2010 Seventh International Conference on the Quantitative Evaluation of …, 2010
182010
A New GreatSPN GUI for GSPN Editing and CSLTA Model Checking
EG Amparore
International Conference on Quantitative Evaluation of Systems, 170-173, 2014
162014
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
152018
A component-based solution for reducible Markov regenerative processes
EG Amparore, S Donatelli
Performance Evaluation 70 (6), 400-422, 2013
152013
Revisiting the matrix‐free solution of Markov regenerative processes
EG Amparore, S Donatelli
Numerical Linear Algebra with Applications 18 (6), 1067-1083, 2011
152011
A component-based solution method for non-ergodic Markov Regenerative Processes
EG Amparore, S Donatelli
European Performance Engineering Workshop, 236-251, 2010
142010
Model checking CSLTA with Deterministic and Stochastic Petri Nets
EG Amparore, S Donatelli
2010 IEEE/IFIP International Conference on Dependable Systems & Networks …, 2010
142010
DSPN-Tool: a new DSPN and GSPN solver for GreatSPN
EA Gilberto, S Donatelli
2010 Seventh International Conference on the Quantitative Evaluation of …, 2010
132010
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
122019
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
112018
A structured solution approach for Markov regenerative processes
EG Amparore, P Buchholz, S Donatelli
International Conference on Quantitative Evaluation of Systems, 9-24, 2014
112014
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
92018
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
92017
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
92017
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
82018
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
82013
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
82013
The system can't perform the operation now. Try again later.
Articles 1–20