default search action
Elvio Gilberto Amparore
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j11]Elvio Gilberto Amparore, Marco Beccuti, Paolo Castagno, Simone Pernice, Giuliana Franceschinis, Marzio Pennisi:
From Compositional Petri Net Modeling to Macro and Micro Simulation by Means of Stochastic Simulation and Agent-Based Models. ACM Trans. Model. Perform. Evaluation Comput. Syst. 9(1): 1:1-1:30 (2024) - [c38]Muhammad Rashid, Elvio G. Amparore, Enrico Ferrari, Damiano Verda:
Using Stratified Sampling to Improve LIME Image Explanations. AAAI 2024: 14785-14792 - [c37]Elvio G. Amparore, Susanna Donatelli, Lea Terracini:
Hilbert Composition of Multilabelled Events. Petri Nets 2024: 132-152 - [c36]Muhammad Rashid, Elvio G. Amparore, Enrico Ferrari, Damiano Verda:
Can I Trust My Anomaly Detection System? A Case Study Based on Explainable AI. xAI (4) 2024: 243-254 - [i4]Muhammad Rashid, Elvio G. Amparore, Enrico Ferrari, Damiano Verda:
Using Stratified Sampling to Improve LIME Image Explanations. CoRR abs/2403.17742 (2024) - [i3]Muhammad Rashid, Elvio Gilberto Amparore, Enrico Ferrari, Damiano Verda:
Can I trust my anomaly detection system? A case study based on explainable AI. CoRR abs/2407.19951 (2024) - 2023
- [c35]Marzio Pennisi, Elvio G. Amparore, Giuliana Franceschinis:
Exploiting Structural Dependency Relations for Efficient Agent Based Model Simulation. EPEW 2023: 353-368 - [i2]Francesco Lomuscio, Paolo Bajardi, Alan Perotti, Elvio G. Amparore:
Streamlining models with explanations in the learning loop. CoRR abs/2302.07760 (2023) - 2022
- [j10]Elvio Gilberto Amparore, Susanna Donatelli, Francesco Gallà:
starMC: an automata based CTL* model checker. PeerJ Comput. Sci. 8: e823 (2022) - [j9]Elvio G. Amparore:
Stochastic modelling and evaluation using GreatSPN. SIGMETRICS Perform. Evaluation Rev. 49(4): 87-91 (2022) - [c34]Elvio G. Amparore, Susanna Donatelli:
The Ins and Outs of Petri Net Composition. Petri Nets 2022: 278-299 - [c33]Francesco Lomuscio, Paolo Bajardi, Alan Perotti, Elvio G. Amparore:
Streamlining models with explanations in the learning loop. DSAA 2022: 1-10 - [c32]Elvio G. Amparore, Marco Botta, Idilio Drago, Susanna Donatelli, Giuseppe Mazzone:
Challenges for Driver Action Recognition with Face Masks. ITSC 2022: 1491-1497 - 2021
- [j8]Elvio G. Amparore, Alan Perotti, Paolo Bajardi:
To trust or not to trust an explanation: using LEAF to evaluate local linear XAI methods. PeerJ Comput. Sci. 7: e479 (2021) - [c31]Elvio Gilberto Amparore, Marco Beccuti, Paolo Castagno, Giuliana Franceschinis, Marzio Pennisi, Simone Pernice:
Multiformalism modeling and simulation of immune system mechanisms. BIBM 2021: 3259-3266 - [i1]Elvio G. Amparore, Alan Perotti, Paolo Bajardi:
To trust or not to trust an explanation: using LEAF to evaluate local linear XAI methods. CoRR abs/2106.00461 (2021) - 2020
- [j7]Elvio Gilberto Amparore, Susanna Donatelli, Gianfranco Ciardo:
Variable order metrics for decision diagrams in system verification. Int. J. Softw. Tools Technol. Transf. 22(5): 541-562 (2020) - [c30]Elvio Gilberto Amparore, Susanna Donatelli, Francesco Gallà:
A CTL* Model Checker for Petri Nets. Petri Nets 2020: 403-413
2010 – 2019
- 2019
- [c29]Dena Markudova, Elena Baralis, Luca Cagliero, Marco Mellia, Luca Vassio, Elvio Gilberto Amparore, Riccardo Loti, Lucia Salvatori:
Heterogeneous Industrial Vehicle Usage Predictions: A Real Case. EDBT/ICDT Workshops 2019 - [c28]Elvio Gilberto Amparore, Peter Buchholz, Susanna Donatelli:
Great-Nsolve: A Tool Integration for (Markov Regenerative) Stochastic Petri Nets. QEST 2019: 355-360 - [c27]Elvio Gilberto Amparore, Bernard Berthomieu, Gianfranco Ciardo, Silvano Dal-Zilio, Francesco Gallà, Lom-Messan Hillah, Francis Hulin-Hubard, Peter Gjøl Jensen, Loïg Jezequel, Fabrice Kordon, Didier Le Botlan, Torsten Liebke, Jeroen Meijer, Andrew S. Miner, Emmanuel Paviot-Adet, Jirí Srba, Yann Thierry-Mieg, Tom van Dijk, Karsten Wolf:
Presentation of the 9th Edition of the Model Checking Contest. TACAS (3) 2019: 50-68 - [c26]Elvio Gilberto Amparore, Gianfranco Ciardo, Susanna Donatelli, Andrew S. Miner:
i _\mathrm Rank : A Variable Order Metric for DEDS Subject to Linear Invariants. TACAS (2) 2019: 285-302 - [p1]Elvio Gilberto Amparore, Susanna Donatelli:
Modelling and Efficient Solution of Multiple-Phased Systems. Systems Modeling: Methodologies and Tools 2019: 47-61 - 2018
- [j6]Marco Beccuti, Francesca Cordero, Maddalena Arigoni, Riccardo Panero, Elvio Gilberto Amparore, Susanna Donatelli, Raffaele A. Calogero:
SeqBox: RNAseq/ChIPseq reproducible analysis on a consumer game computer. Bioinform. 34(5): 871-872 (2018) - [j5]Elvio Gilberto Amparore, Susanna Donatelli:
Efficient model checking of the stochastic logic CSLTA. Perform. Evaluation 123-124: 1-34 (2018) - [j4]Elvio Gilberto Amparore, Susanna Donatelli, Marco Beccuti, Giulio Garbi, Andrew S. Miner:
Decision Diagrams for Petri Nets: A Comparison of Variable Ordering Algorithms. Trans. Petri Nets Other Model. Concurr. 13: 73-92 (2018) - [j3]Fabrice Kordon, Hubert Garavel, Lom-Messan Hillah, Emmanuel Paviot-Adet, Loïg Jezequel, Francis Hulin-Hubard, Elvio Gilberto Amparore, Marco Beccuti, Bernard Berthomieu, Hugues Evrard, Peter Gjøl Jensen, Didier Le Botlan, Torsten Liebke, Jeroen Meijer, Jirí Srba, Yann Thierry-Mieg, Jaco van de Pol, Karsten Wolf:
MCC'2017 - The Seventh Model Checking Contest. Trans. Petri Nets Other Model. Concurr. 13: 181-209 (2018) - [c25]Elvio Gilberto Amparore, Susanna Donatelli:
GreatTeach: A Tool for Teaching (Stochastic) Petri Nets. Petri Nets 2018: 416-425 - [c24]Mohamad Gharib, Paolo Lollini, Marco Botta, Elvio Gilberto Amparore, Susanna Donatelli, Andrea Bondavalli:
On the Safety of Automotive Systems Incorporating Machine Learning Based Components: A Position Paper. DSN Workshops 2018: 271-274 - [c23]Elvio Gilberto Amparore, Marco Beccuti, Marco Botta, Susanna Donatelli, Fabio Tango:
Adaptive Artificial Co-pilot as Enabler for Autonomous Vehicles and Intelligent Transportation Systems. ATT@IJCAI 2018: 70-77 - 2017
- [c22]Elvio Gilberto Amparore, Susanna Donatelli, Marco Beccuti, Giulio Garbi, Andrew S. Miner:
Decision Diagrams for Petri Nets: Which Variable Ordering? PNSE @ Petri Nets 2017: 31-50 - [c21]Elvio Gilberto Amparore, Susanna Donatelli, Elisa Landini:
Modelling and Evaluation of a Control Room Application. Petri Nets 2017: 243-263 - [c20]Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli:
Gradient-Based Variable Ordering of Decision Diagrams for Systems with Structural Units. ATVA 2017: 184-200 - [c19]Elvio Gilberto Amparore, Susanna Donatelli:
alphaFactory: A Tool for Generating the Alpha Factors of General Distributions - (Tool Paper). QEST 2017: 36-51 - [c18]Elvio Gilberto Amparore, Susanna Donatelli:
Analysis of Non-Markovian Systems in GreatSPN. InfQ@VALUETOOLS 2017: 127-138 - 2016
- [c17]Elvio Gilberto Amparore, Susanna Donatelli:
Optimal Aggregation of Components for the Solution of Markov Regenerative Processes. QEST 2016: 19-34 - [c16]Elvio Gilberto Amparore, Susanna Donatelli:
Efficient solution of extended Multiple-Phased Systems. VALUETOOLS 2016 - 2015
- [c15]Elvio Gilberto Amparore:
Reengineering the Editor of the GreatSPN Framework. PNSE @ Petri Nets 2015: 153-170 - [c14]Marco Beccuti, Elvio Gilberto Amparore, Susanna Donatelli, Dimitri Scheftelowitsch, Peter Buchholz, Giuliana Franceschinis:
Markov Decision Petri Nets with Uncertainty. EPEW 2015: 177-192 - 2014
- [c13]Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli:
(Stochastic) Model Checking in GreatSPN. Petri Nets 2014: 354-363 - [c12]Elvio Gilberto Amparore, Marco Beccuti, Simona Collina, Flavia De Simone, Susanna Donatelli, Fabio Tango:
Cognitive Systems in Intelligent Vehicles - A New Frontier for Autonomous Driving. ICINCO (2) 2014: 817-822 - [c11]Elvio Gilberto Amparore, Peter Buchholz, Susanna Donatelli:
A Structured Solution Approach for Markov Regenerative Processes. QEST 2014: 9-24 - [c10]Elvio Gilberto Amparore:
A New GreatSPN GUI for GSPN Editing and CSLTA Model Checking. QEST 2014: 170-173 - 2013
- [j2]Elvio Gilberto Amparore, Susanna Donatelli:
A component-based solution for reducible Markov regenerative processes. Perform. Evaluation 70(6): 400-422 (2013) - [c9]Elvio Gilberto Amparore, Paolo Ballarini, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis:
Expressing and Computing Passage Time Measures of GSPN Models with HASL. Petri Nets 2013: 110-129 - [c8]Elvio Gilberto Amparore, Susanna Donatelli:
Improving and Assessing the Efficiency of the MC4CSLTA Model Checker. EPEW 2013: 206-220 - [c7]Elvio Gilberto Amparore, Benoît Barbot, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis:
Simulation-based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets. SIGSIM-PADS 2013: 253-264 - 2012
- [c6]Elvio Gilberto Amparore, Susanna Donatelli:
Backward Solution of Markov Chains and Markov Regenerative Processes: Formalization and Applications. PASM/PDMC 2012: 7-26 - 2011
- [j1]Elvio Gilberto Amparore, Susanna Donatelli:
Revisiting the matrix-free solution of Markov regenerative processes. Numer. Linear Algebra Appl. 18(6): 1067-1083 (2011) - [c5]Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis:
Probe Automata for Passage Time Specification. QEST 2011: 101-110 - 2010
- [c4]Elvio Gilberto Amparore, Susanna Donatelli:
Model checking CSLTA with Deterministic and Stochastic Petri Nets. DSN 2010: 605-614 - [c3]Elvio Gilberto Amparore, Susanna Donatelli:
A Component-Based Solution Method for Non-ergodic Markov Regenerative Processes. EPEW 2010: 236-251 - [c2]Elvio Gilberto Amparore, Susanna Donatelli:
DSPN-Tool: A New DSPN and GSPN Solver for GreatSPN. QEST 2010: 79-80 - [c1]Elvio Gilberto Amparore, Susanna Donatelli:
MC4CSLTA: An Efficient Model Checking Tool for CSLTA. QEST 2010: 153-154
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-23 20:35 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint