Elvio Gilberto Amparore

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 24

Top Topics

Decision Diagrams

Concurrent Systems

Top Venues

PNSE @ Petri Nets

Trans. Petri Nets Other Model. Concurr.

Publications

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) (2024)
Muhammad Rashid, Elvio Gilberto Amparore, Enrico Ferrari, Damiano Verda
Can I trust my anomaly detection system? A case study based on explainable AI. CoRR (2024)
Elvio Gilberto Amparore, Susanna Donatelli, Francesco Gallà
starMC: an automata based CTL* model checker. PeerJ Comput. Sci. 8 (2022)
Elvio Gilberto Amparore, Marco Beccuti, Paolo Castagno, Giuliana Franceschinis, Marzio Pennisi, Simone Pernice
Multiformalism modeling and simulation of immune system mechanisms. BIBM (2021)
Elvio Gilberto Amparore, Susanna Donatelli, Francesco Gallà
A CTL* Model Checker for Petri Nets. Petri Nets (2020)
Elvio Gilberto Amparore, Susanna Donatelli, Gianfranco Ciardo
Variable order metrics for decision diagrams in system verification. Int. J. Softw. Tools Technol. Transf. 22 (5) (2020)
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)
Elvio Gilberto Amparore, Peter Buchholz, Susanna Donatelli
: A Tool Integration for (Markov Regenerative) Stochastic Petri Nets. QEST (2019)
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)
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)
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)
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 (2018)
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)
Elvio Gilberto Amparore, Susanna Donatelli
GreatTeach: A Tool for Teaching (Stochastic) Petri Nets. Petri Nets (2018)
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) (2018)
Elvio Gilberto Amparore, Susanna Donatelli
. Perform. Evaluation (2018)
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 (2018)
Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli
Gradient-Based Variable Ordering of Decision Diagrams for Systems with Structural Units. ATVA (2017)
Elvio Gilberto Amparore, Susanna Donatelli
alphaFactory: A Tool for Generating the Alpha Factors of General Distributions - (Tool Paper). QEST (2017)
Elvio Gilberto Amparore, Susanna Donatelli
Analysis of Non-Markovian Systems in GreatSPN. InfQ@VALUETOOLS (2017)
Elvio Gilberto Amparore, Susanna Donatelli, Marco Beccuti, Giulio Garbi, Andrew S. Miner
Decision Diagrams for Petri Nets: Which Variable Ordering? PNSE @ Petri Nets (2017)
Elvio Gilberto Amparore, Susanna Donatelli, Elisa Landini
Modelling and Evaluation of a Control Room Application. Petri Nets (2017)
Elvio Gilberto Amparore, Susanna Donatelli
Efficient solution of extended Multiple-Phased Systems. VALUETOOLS (2016)
Elvio Gilberto Amparore, Susanna Donatelli
Optimal Aggregation of Components for the Solution of Markov Regenerative Processes. QEST (2016)
Marco Beccuti, Elvio Gilberto Amparore, Susanna Donatelli, Dimitri Scheftelowitsch, Peter Buchholz, Giuliana Franceschinis
Markov Decision Petri Nets with Uncertainty. EPEW (2015)
Elvio Gilberto Amparore
Reengineering the Editor of the GreatSPN Framework. PNSE @ Petri Nets (2015)
Elvio Gilberto Amparore, Peter Buchholz, Susanna Donatelli
A Structured Solution Approach for Markov Regenerative Processes. QEST (2014)
Elvio Gilberto Amparore
A New GreatSPN GUI for GSPN Editing and CSLTA Model Checking. QEST (2014)
Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli
(Stochastic) Model Checking in GreatSPN. Petri Nets (2014)
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)
Elvio Gilberto Amparore, Susanna Donatelli
Backward Solution of Markov Chains and Markov Regenerative Processes: Formalization and Applications. Electron. Notes Theor. Comput. Sci. 296 (2013)
Elvio Gilberto Amparore, Susanna Donatelli
A component-based solution for reducible Markov regenerative processes. Perform. Evaluation 70 (6) (2013)
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)
Elvio Gilberto Amparore, Susanna Donatelli
Improving and Assessing the Efficiency of the MC4CSLTA Model Checker. EPEW (2013)
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)
Elvio Gilberto Amparore, Susanna Donatelli
Revisiting the matrix-free solution of Markov regenerative processes. Numer. Linear Algebra Appl. 18 (6) (2011)
Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis
Probe Automata for Passage Time Specification. QEST (2011)
Elvio Gilberto Amparore, Susanna Donatelli
with Deterministic and Stochastic Petri Nets. DSN (2010)
Elvio Gilberto Amparore, Susanna Donatelli
MC4CSLTA: An Efficient Model Checking Tool for CSLTA. QEST (2010)
Elvio Gilberto Amparore, Susanna Donatelli
A Component-Based Solution Method for Non-ergodic Markov Regenerative Processes. EPEW (2010)
Elvio Gilberto Amparore, Susanna Donatelli
DSPN-Tool: A New DSPN and GSPN Solver for GreatSPN. QEST (2010)