Elvio Gilberto Amparore

According to our database, Elvio Gilberto Amparore authored at least 48 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

From Compositional Petri Net Modeling to Macro and Micro Simulation by Means of Stochastic Simulation and Agent-Based Models.

Elvio Gilberto Amparore, Marco Beccuti, Paolo Castagno, Simone Pernice, Giuliana Franceschinis, Marzio Pennisi

ACM Trans. Model. Perform. Evaluation Comput. Syst., March, 2024

Using Stratified Sampling to Improve LIME Image Explanations.

Muhammad Rashid, Elvio G. Amparore, Enrico Ferrari, Damiano Verda

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Exploiting Structural Dependency Relations for Efficient Agent Based Model Simulation.

Marzio Pennisi, Elvio G. Amparore, Giuliana Franceschinis

Proceedings of the Computer Performance Engineering and Stochastic Modelling, 2023

2022

Stochastic modelling and evaluation using GreatSPN.

Elvio G. Amparore

SIGMETRICS Perform. Evaluation Rev., 2022

starMC: an automata based CTL* model checker.

Elvio Gilberto Amparore, Susanna Donatelli, Francesco Gallà

PeerJ Comput. Sci., 2022

Challenges for Driver Action Recognition with Face Masks.

Elvio G. Amparore, Marco Botta, Idilio Drago, Susanna Donatelli, Giuseppe Mazzone

Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2022

Streamlining models with explanations in the learning loop.

Francesco Lomuscio, Paolo Bajardi, Alan Perotti, Elvio G. Amparore

Proceedings of the 9th IEEE International Conference on Data Science and Advanced Analytics, 2022

The Ins and Outs of Petri Net Composition.

Elvio G. Amparore, Susanna Donatelli

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2022

2021

To trust or not to trust an explanation: using LEAF to evaluate local linear XAI methods.

Elvio G. Amparore, Alan Perotti, Paolo Bajardi

PeerJ Comput. Sci., 2021

Multiformalism modeling and simulation of immune system mechanisms.

Elvio Gilberto Amparore, Marco Beccuti, Paolo Castagno, Giuliana Franceschinis, Marzio Pennisi, Simone Pernice

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2021

2020

Variable order metrics for decision diagrams in system verification.

Elvio Gilberto Amparore, Susanna Donatelli, Gianfranco Ciardo

Int. J. Softw. Tools Technol. Transf., 2020

A CTL* Model Checker for Petri Nets.

Elvio Gilberto Amparore, Susanna Donatelli, Francesco Gallà

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2020

2019

i _\mathrm Rank : A Variable Order Metric for DEDS Subject to Linear Invariants.

Elvio Gilberto Amparore, Gianfranco Ciardo, Susanna Donatelli, Andrew S. Miner

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Presentation of the 9th Edition of the Model Checking Contest.

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

<i>Great-Nsolve</i>: A Tool Integration for (Markov Regenerative) Stochastic Petri Nets.

Elvio Gilberto Amparore, Peter Buchholz, Susanna Donatelli

Proceedings of the Quantitative Evaluation of Systems, 16th International Conference, 2019

Heterogeneous Industrial Vehicle Usage Predictions: A Real Case.

Dena Markudova, Elena Baralis, Luca Cagliero, Marco Mellia, Luca Vassio, Elvio Gilberto Amparore, Riccardo Loti, Lucia Salvatori

Proceedings of the Workshops of the EDBT/ICDT 2019 Joint Conference, 2019

Modelling and Efficient Solution of Multiple-Phased Systems.

Elvio Gilberto Amparore, Susanna Donatelli

Proceedings of the Systems Modeling: Methodologies and Tools, 2019

2018

MCC'2017 - The Seventh Model Checking Contest.

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

Trans. Petri Nets Other Model. Concurr., 2018

Decision Diagrams for Petri Nets: A Comparison of Variable Ordering Algorithms.

Elvio Gilberto Amparore, Susanna Donatelli, Marco Beccuti, Giulio Garbi, Andrew S. Miner

Trans. Petri Nets Other Model. Concurr., 2018

Efficient model checking of the stochastic logic CSL^TA.

Elvio Gilberto Amparore, Susanna Donatelli

Perform. Evaluation, 2018

SeqBox: RNAseq/ChIPseq reproducible analysis on a consumer game computer.

Marco Beccuti, Francesca Cordero, Maddalena Arigoni, Riccardo Panero, Elvio Gilberto Amparore, Susanna Donatelli, Raffaele A. Calogero

Bioinform., 2018

Adaptive Artificial Co-pilot as Enabler for Autonomous Vehicles and Intelligent Transportation Systems.

Elvio Gilberto Amparore, Marco Beccuti, Marco Botta, Susanna Donatelli, Fabio Tango

Proceedings of the Tenth International Workshop on Agents in Traffic and Transportation (ATT 2018) co-located with with the Federated Artificial Intelligence Meeting, 2018

On the Safety of Automotive Systems Incorporating Machine Learning Based Components: A Position Paper.

Mohamad Gharib, Paolo Lollini, Marco Botta, Elvio Gilberto Amparore, Susanna Donatelli, Andrea Bondavalli

Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2018

GreatTeach: A Tool for Teaching (Stochastic) Petri Nets.

Elvio Gilberto Amparore, Susanna Donatelli

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2018

2017

Analysis of Non-Markovian Systems in GreatSPN.

Elvio Gilberto Amparore, Susanna Donatelli

Proceedings of the New Frontiers in Quantitative Methods in Informatics, 2017

alphaFactory: A Tool for Generating the Alpha Factors of General Distributions - (Tool Paper).

Elvio Gilberto Amparore, Susanna Donatelli

Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

Gradient-Based Variable Ordering of Decision Diagrams for Systems with Structural Units.

Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli

Proceedings of the Automated Technology for Verification and Analysis, 2017

Modelling and Evaluation of a Control Room Application.

Elvio Gilberto Amparore, Susanna Donatelli, Elisa Landini

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2017

Decision Diagrams for Petri Nets: Which Variable Ordering?

Elvio Gilberto Amparore, Susanna Donatelli, Marco Beccuti, Giulio Garbi, Andrew S. Miner

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'17), 2017

2016

Efficient solution of extended Multiple-Phased Systems.

Elvio Gilberto Amparore, Susanna Donatelli

Proceedings of the 10th EAI International Conference on Performance Evaluation Methodologies and Tools, 2016

Optimal Aggregation of Components for the Solution of Markov Regenerative Processes.

Elvio Gilberto Amparore, Susanna Donatelli

Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016

2015

Markov Decision Petri Nets with Uncertainty.

Marco Beccuti, Elvio Gilberto Amparore, Susanna Donatelli, Dimitri Scheftelowitsch, Peter Buchholz, Giuliana Franceschinis

Proceedings of the Computer Performance Engineering - 12th European Workshop, 2015

Reengineering the Editor of the GreatSPN Framework.

Elvio Gilberto Amparore

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15), 2015

2014

A Structured Solution Approach for Markov Regenerative Processes.

Elvio Gilberto Amparore, Peter Buchholz, Susanna Donatelli

Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014

A New GreatSPN GUI for GSPN Editing and CSLTA Model Checking.

Elvio Gilberto Amparore

Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014

Cognitive Systems in Intelligent Vehicles - A New Frontier for Autonomous Driving.

Elvio Gilberto Amparore, Marco Beccuti, Simona Collina, Flavia De Simone, Susanna Donatelli, Fabio Tango

Proceedings of the ICINCO 2014 - Proceedings of the 11th International Conference on Informatics in Control, Automation and Robotics, Volume 2, Vienna, Austria, 1, 2014

(Stochastic) Model Checking in GreatSPN.

Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2014

2013

A component-based solution for reducible Markov regenerative processes.

Elvio Gilberto Amparore, Susanna Donatelli

Perform. Evaluation, 2013

Simulation-based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets.

Elvio Gilberto Amparore, Benoît Barbot, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis

Proceedings of the SIGSIM Principles of Advanced Discrete Simulation, 2013

Improving and Assessing the Efficiency of the MC4CSLTA Model Checker.

Elvio Gilberto Amparore, Susanna Donatelli

Proceedings of the Computer Performance Engineering - 10th European Workshop, 2013

Expressing and Computing Passage Time Measures of GSPN Models with HASL.

Elvio Gilberto Amparore, Paolo Ballarini, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013

2012

Backward Solution of Markov Chains and Markov Regenerative Processes: Formalization and Applications.

Elvio Gilberto Amparore, Susanna Donatelli

Proceedings of the Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling, 2012

2011

Revisiting the matrix-free solution of Markov regenerative processes.

Elvio Gilberto Amparore, Susanna Donatelli

Numer. Linear Algebra Appl., 2011

Probe Automata for Passage Time Specification.

Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis

Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

2010

MC4CSLTA: An Efficient Model Checking Tool for CSLTA.

Elvio Gilberto Amparore, Susanna Donatelli

Proceedings of the QEST 2010, 2010

DSPN-Tool: A New DSPN and GSPN Solver for GreatSPN.

Elvio Gilberto Amparore, Susanna Donatelli

Proceedings of the QEST 2010, 2010

A Component-Based Solution Method for Non-ergodic Markov Regenerative Processes.

Elvio Gilberto Amparore, Susanna Donatelli

Proceedings of the Computer Performance Engineering, 2010

Model checking CSL^TA with Deterministic and Stochastic Petri Nets.

Elvio Gilberto Amparore, Susanna Donatelli

Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, 2010