Elvio Gilberto Amparore

University of Turin — Italy

Computer Science · Physical Sciences

12h-index594citations67works0.72yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(36), Petri Nets in System Modeling(33), Model-Driven Software Engineering Techniques(12), Business Process Modeling and Analysis(6), Software Reliability and Analysis Research(6)

Publications67 total

ShapBPT: Image Feature Attributions Using Data-Aware Binary Partition Trees
ArXiv.org·2026Open Access
ShapBPT: Image Feature Attributions Using Data-Aware Binary Partition Trees
arXiv (Cornell University)·2026Open Access
ShapBPT: Image Feature Attributions Using Data-Aware Binary Partition Trees
Underline Science Inc.·2026Open Access
Extension of the GreatMod Modeling Framework to Simulate Non-Markovian Processes with General-Distributed Events
Lecture notes in computer science·2025
Behind the Scene of the Model Checking Contest, Analysis of Results from 2018 to 2023
Lecture notes in computer science·2024· 1 citedOpen Access
Using Stratified Sampling to Improve LIME Image Explanations
arXiv (Cornell University)·2024Open Access
Using Stratified Sampling to Improve LIME Image Explanations
Proceedings of the AAAI Conference on Artificial Intelligence·2024· 4 citedOpen Access
Can I Trust My Anomaly Detection System? A Case Study Based on Explainable AI
Communications in computer and information science·2024· 1 citedOpen Access
Hilbert Composition of Multilabelled Events
Lecture notes in computer science·2024
From Compositional Petri Net Modeling to Macro and Micro Simulation by Means of Stochastic Simulation and Agent-Based Models
ACM Transactions on Modeling and Performance Evaluation of Computing Systems·2023· 2 cited
Exploiting Structural Dependency Relations for Efficient Agent Based Model Simulation
Lecture notes in computer science·2023· 2 cited
Streamlining models with explanations in the learning loop
2022 IEEE 9th International Conference on Data Science and Advanced Analytics (DSAA)·2022Open Access
Challenges for Driver Action Recognition with Face Masks
2022 IEEE 25th International Conference on Intelligent Transportation Systems (ITSC)·2022· 1 cited
The footprint form of a matrix: Definition, properties, and an application
Linear Algebra and its Applications·2022· 2 cited
Stochastic modelling and evaluation using GreatSPN
ACM SIGMETRICS Performance Evaluation Review·2022· 6 cited
Peer Review #3 of "starMC: an automata based CTL* model checker (v0.1)"
2022Open Access
starMC: an automata based CTL* model checker
PeerJ Computer Science·2022· 5 citedOpen Access
The Ins and Outs of Petri Net Composition
Lecture notes in computer science·2022· 4 cited
Multiformalism modeling and simulation of immune system mechanisms
2021 IEEE International Conference on Bioinformatics and Biomedicine (BIBM)·2021· 5 cited
Replication Package (Virtual Machine) for article "starMC: an automata based CTL* model checker"
Zenodo (CERN European Organization for Nuclear Research)·2021Open Access
page 1 of 4Next →

Frequent Co-authors

Susanna Donatelli(32), Marco Beccuti(15), G. Franceschinis(8), Andrew S. Miner(5), Gianfranco Ciardo(4), Marco Botta(3), Bernard Berthomieu(3), Francesco Gallà(3), Francis Hulin-Hubard(3), Peter Gjøl Jensen(3), Loïg Jezequel(3), Emmanuel Paviot-Adet(3), Jiřı́ Srba(3), Yann Thierry-Mieg(3), Karsten Wolf(3), Peter Buchholz(3), Marzio Pennisi(3), Alan Perotti(2), Paolo Bajardi(2), Idílio Drago(2)