AMPARORE, Elvio Gilberto
AMPARORE, Elvio Gilberto
INFORMATICA
(Stochastic) Model Checking in GreatSPN
2014-01-01 E. Amparore;M. Beccuti;S. Donatelli
30 Years of GreatSPN
2016-01-01 Elvio G, Amparore; Gianfranco, Balbo; Marco, Beccuti; Susanna, Donatelli; Giuliana, Franceschinis
A component-based solution for reducible Markov regenerative processes
2012-01-01 Elvio Gilberto Amparore; Susanna Donatelli
A Component-Based Solution Method for Non-ergodic Markov Regenerative Processes
2010-01-01 Elvio Gilberto Amparore; Susanna Donatelli
A CTL* Model Checker for Petri Nets
2020-01-01 Elvio Gilberto Amparore and Susanna Donatelli and Francesco Gall{`{a}}
A New GreatSPN GUI for GSPN Editing and CSLTA Model Checking
2014-01-01 E. Amparore
A Structured Solution Approach for Markov Regenerative Processes
2014-01-01 E. Amparore;P. Buchholz;S. Donatelli
Adaptive artificial co-pilot as enabler for autonomous vehicles and intelligent transportation systems
2018-01-01 Amparore E.G.; Beccuti M.; Botta M.; Donatelli S.; Tango F.
alphaFactory: A Tool for Generating the Alpha Factors of General Distributions
2017-01-01 Amparore Elvio Gilberto ; Donatelli Susanna
An entropy heuristic to optimize decision diagrams for index-driven search in biological graph databases
2021-01-01 Licheri N.; Amparore E.; Bonnici V.; Giugno R.; Beccuti M.
Backward solution of Markov chains and Markov Renewal Processes: formalization and applications
2012-01-01 Elvio Gilberto Amparore; Susanna Donatelli
Behind the Scene of the Model Checking Contest, Analysis of Results from 2018 to 2023
2025-01-01 Amat N.; Amparore E.; Berthomieu B.; Bouvier P.; Zilio S.D.; Hulin-Hubard F.; Jensen P.G.; Jezequel L.; Kordon F.; Li Shuo; Paviot-Adet E.; Petrucci Laure; Srba J.; Thierry-Mieg Y.; Wolf K.
Can I Trust My Anomaly Detection System? A Case Study Based on Explainable AI
2024-01-01 Rashid M.; Amparore E.; Ferrari Enrico; Verda Damiano
Challenges for Driver Action Recognition with Face Masks
2022-01-01 Amparore E.G.; Botta Marco; Drago I.; Donatelli S.; Mazzone Giuseppe
Cognitive systems in intelligent vehicles: A new frontier for autonomous driving
2014-01-01 Amparore, Elvio; Beccuti, Marco; Collina, Simona; De Simone, Flavia; Donatelli, Susanna; Tango, Fabio
Decision diagrams for Petri nets: a comparison of variable ordering algorithms
2018-01-01 Amparore E.G.; Donatelli S.; Beccuti M.; Garbi G.; Miner A.
Decision diagrams for Petri nets: which variable ordering?
2017-01-01 Amparore, E. G., Donatelli, S., Beccuti, M., Garbi, G., Miner Andrew
DSPN-Tool
2010-01-01 Elvio Gilberto Amparore; Susanna Donatelli
DSPN-Tool: A New DSPN and GSPN Solver for GreatSPN
2010-01-01 Elvio Gilberto Amparore; Susanna Donatelli
Efficient model checking of the stochastic logic CSLTA
2018-01-01 Amparore, E.G.; Donatelli, S.*
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| (Stochastic) Model Checking in GreatSPN | 2014 | E. Amparore;M. Beccuti;S. Donatelli | |
| 30 Years of GreatSPN | 2016 | Elvio G, Amparore; Gianfranco, Balbo; Marco, Beccuti; Susanna, Donatelli; Giuliana, Franceschinis | |
| A component-based solution for reducible Markov regenerative processes | 2012 | Elvio Gilberto Amparore; Susanna Donatelli | |
| A Component-Based Solution Method for Non-ergodic Markov Regenerative Processes | 2010 | Elvio Gilberto Amparore; Susanna Donatelli | |
| A CTL* Model Checker for Petri Nets | 2020 | Elvio Gilberto Amparore and Susanna Donatelli and Francesco Gall{`{a}} | |
| A New GreatSPN GUI for GSPN Editing and CSLTA Model Checking | 2014 | E. Amparore | |
| A Structured Solution Approach for Markov Regenerative Processes | 2014 | E. Amparore;P. Buchholz;S. Donatelli | |
| Adaptive artificial co-pilot as enabler for autonomous vehicles and intelligent transportation systems | 2018 | Amparore E.G.; Beccuti M.; Botta M.; Donatelli S.; Tango F. | |
| alphaFactory: A Tool for Generating the Alpha Factors of General Distributions | 2017 | Amparore Elvio Gilberto ; Donatelli Susanna | |
| An entropy heuristic to optimize decision diagrams for index-driven search in biological graph databases | 2021 | Licheri N.; Amparore E.; Bonnici V.; Giugno R.; Beccuti M. | |
| Backward solution of Markov chains and Markov Renewal Processes: formalization and applications | 2012 | Elvio Gilberto Amparore; Susanna Donatelli | |
| Behind the Scene of the Model Checking Contest, Analysis of Results from 2018 to 2023 | 2025 | Amat N.; Amparore E.; Berthomieu B.; Bouvier P.; Zilio S.D.; Hulin-Hubard F.; Jensen P.G.; Jezequel L.; Kordon F.; Li Shuo; Paviot-Adet E.; Petrucci Laure; Srba J.; Thierry-Mieg Y.; Wolf K. | |
| Can I Trust My Anomaly Detection System? A Case Study Based on Explainable AI | 2024 | Rashid M.; Amparore E.; Ferrari Enrico; Verda Damiano | |
| Challenges for Driver Action Recognition with Face Masks | 2022 | Amparore E.G.; Botta Marco; Drago I.; Donatelli S.; Mazzone Giuseppe | |
| Cognitive systems in intelligent vehicles: A new frontier for autonomous driving | 2014 | Amparore, Elvio; Beccuti, Marco; Collina, Simona; De Simone, Flavia; Donatelli, Susanna; Tango, Fabio | |
| Decision diagrams for Petri nets: a comparison of variable ordering algorithms | 2018 | Amparore E.G.; Donatelli S.; Beccuti M.; Garbi G.; Miner A. | |
| Decision diagrams for Petri nets: which variable ordering? | 2017 | Amparore, E. G., Donatelli, S., Beccuti, M., Garbi, G., Miner Andrew | |
| DSPN-Tool | 2010 | Elvio Gilberto Amparore; Susanna Donatelli | |
| DSPN-Tool: A New DSPN and GSPN Solver for GreatSPN | 2010 | Elvio Gilberto Amparore; Susanna Donatelli | |
| Efficient model checking of the stochastic logic CSLTA | 2018 | Amparore, E.G.; Donatelli, S.* |