E
Elvio Gilberto Amparore
Researcher at University of Turin
Publications - 48
Citations - 432
Elvio Gilberto Amparore is an academic researcher from University of Turin. The author has contributed to research in topics: Petri net & Stochastic Petri net. The author has an hindex of 11, co-authored 42 publications receiving 337 citations. Previous affiliations of Elvio Gilberto Amparore include University of Twente.
Papers
More filters
Book ChapterDOI
30 Years of GreatSPN
Elvio Gilberto Amparore,Gianfranco Balbo,Marco Beccuti,Susanna Donatelli,Giuliana Franceschinis +4 more
TL;DR: This chapter reviews, with the help of a manufacturing system example, how GreatSPN is currently used for an integrated qualitative and quantitative analysis of Petri net systems, ranging from symbolic model checking techniques to a stochastic analysis whose efficiency is boosted by lumpability.
Book ChapterDOI
Stochastic) Model Checking in GreatSPN
TL;DR: Through a new (Java-based) graphical interface for the GSPN model definition, the user can now access model checking of three different logics: the classical branching temporal logic CTL, and two stochastic logics, CSL and its superset CSLTA.
Book ChapterDOI
Presentation of the 9th Edition of the Model Checking Contest
Elvio Gilberto Amparore,Elvio Gilberto Amparore,Bernard Berthomieu,Bernard Berthomieu,Gianfranco Ciardo,Silvano Dal Zilio,Silvano Dal Zilio,Francesco Gallà,Francesco Gallà,Lom Messan Hillah,Lom Messan Hillah,Francis Hulin-Hubard,Francis Hulin-Hubard,Peter Gjøl Jensen,Loïg Jezequel,Loïg Jezequel,Fabrice Kordon,Fabrice Kordon,Didier Le Botlan,Didier Le Botlan,Torsten Liebke,Jeroen Meijer,Jeroen Meijer,Andrew S. Miner,Emmanuel Paviot-Adet,Emmanuel Paviot-Adet,Emmanuel Paviot-Adet,Jiří Srba,Yann Thierry-Mieg,Yann Thierry-Mieg,Tom van Dijk,Tom van Dijk,Karsten Wolf +32 more
TL;DR: The Model Checking Contest (MCC) is an annual competition of software tools for model checking that must process an increasing benchmark gathered from the whole community.
Proceedings ArticleDOI
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 +5 more
TL;DR: This position paper presents the authors' view on the safety of automotive systems incorporating ML-based components, and it is intended to motivate and sketch a research agenda for extending a safety standard, namely ISO 26262, to address challenges posed by incorporating ML -based components in automotive systems.
Journal ArticleDOI
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 +6 more
TL;DR: SeqBox is a cheap, efficient and reproducible RNAseq/ChIPseq hardware/software solution based on NUC6I7KYK mini‐PC, and Docker container platform, and in SeqBox the analysis of RNAseq and ChIPseq data is supported by a friendly GUI.