Model checking CSLTA with Deterministic and Stochastic Petri Nets. - Elvio Gilberto Amparore; Susanna Donatelli (DSN, 2010)

A Component-Based Solution Method for Non-ergodic Markov Regenerative Processes. - Elvio Gilberto Amparore; Susanna Donatelli (EPEW, 2010)

DSPN-Tool: A New DSPN and GSPN Solver for GreatSPN. - Elvio Gilberto Amparore; Susanna Donatelli (QEST, 2010)

MC4CSLTA: An Efficient Model Checking Tool for CSLTA. - Elvio Gilberto Amparore; Susanna Donatelli (QEST, 2010)

Probe Automata for Passage Time Specification. - Elvio Gilberto Amparore; Marco Beccuti; Susanna Donatelli; Giuliana Franceschinis (QEST, 2011)

Revisiting the matrix-free solution of Markov regenerative processes. - Elvio Gilberto Amparore; Susanna Donatelli (Numer. Linear Algebra Appl., 2011)

Backward Solution of Markov Chains and Markov Regenerative Processes: Formalization and Applications. - Elvio Gilberto Amparore; Susanna Donatelli (PASM/PDMC, 2012)

Expressing and Computing Passage Time Measures of GSPN Models with HASL. - Elvio Gilberto Amparore; Paolo Ballarini; Marco Beccuti; Susanna Donatelli; Giuliana Franceschinis (Petri Nets, 2013)

Improving and Assessing the Efficiency of the MC4CSLTA Model Checker. - Elvio Gilberto Amparore; Susanna Donatelli (EPEW, 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 (SIGSIM-PADS, 2013)

A component-based solution for reducible Markov regenerative processes. - Elvio Gilberto Amparore; Susanna Donatelli (Perform. Evaluation, 2013)

(Stochastic) Model Checking in GreatSPN. - Elvio Gilberto Amparore; Marco Beccuti; Susanna Donatelli (Petri Nets, 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 (ICINCO (2), 2014)

A New GreatSPN GUI for GSPN Editing and CSLTA Model Checking. - Elvio Gilberto Amparore (QEST, 2014)

A Structured Solution Approach for Markov Regenerative Processes. - Elvio Gilberto Amparore; Peter Buchholz 001; Susanna Donatelli (QEST, 2014)

Reengineering the Editor of the GreatSPN Framework. - Elvio Gilberto Amparore (PNSE @ Petri Nets, 2015)

Markov Decision Petri Nets with Uncertainty. - Marco Beccuti; Elvio Gilberto Amparore; Susanna Donatelli; Dimitri Scheftelowitsch; Peter Buchholz 001; Giuliana Franceschinis (EPEW, 2015)

Optimal Aggregation of Components for the Solution of Markov Regenerative Processes. - Elvio Gilberto Amparore; Susanna Donatelli (QEST, 2016)

Efficient solution of extended Multiple-Phased Systems. - Elvio Gilberto Amparore; Susanna Donatelli (VALUETOOLS, 2016)

Decision Diagrams for Petri Nets: Which Variable Ordering? - Elvio Gilberto Amparore; Susanna Donatelli; Marco Beccuti; Giulio Garbi; Andrew S. Miner (PNSE @ Petri Nets, 2017)

Modelling and Evaluation of a Control Room Application. - Elvio Gilberto Amparore; Susanna Donatelli; Elisa Landini (Petri Nets, 2017)

Gradient-Based Variable Ordering of Decision Diagrams for Systems with Structural Units. - Elvio Gilberto Amparore; Marco Beccuti; Susanna Donatelli (ATVA, 2017)

alphaFactory: A Tool for Generating the Alpha Factors of General Distributions - (Tool Paper). - Elvio Gilberto Amparore; Susanna Donatelli (QEST, 2017)

Analysis of Non-Markovian Systems in GreatSPN. - Elvio Gilberto Amparore; Susanna Donatelli (InfQ@VALUETOOLS, 2017)

GreatTeach: A Tool for Teaching (Stochastic) Petri Nets. - Elvio Gilberto Amparore; Susanna Donatelli (Petri Nets, 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 (DSN Workshops, 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 (ATT@IJCAI, 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)

Efficient model checking of the stochastic logic CSLTA. - Elvio Gilberto Amparore; Susanna Donatelli (Perform. Evaluation, 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)

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; et al. (Trans. Petri Nets Other Model. Concurr., 2018)

Modelling and Efficient Solution of Multiple-Phased Systems. - Elvio Gilberto Amparore; Susanna Donatelli (Systems Modeling: Methodologies and Tools, 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 (EDBT/ICDT Workshops, 2019)

Great-Nsolve: A Tool Integration for (Markov Regenerative) Stochastic Petri Nets. - Elvio Gilberto Amparore; Peter Buchholz 001; Susanna Donatelli (QEST, 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; et al. (TACAS (3), 2019)

i _ mathrm Rank : A Variable Order Metric for DEDS Subject to Linear Invariants. - Elvio Gilberto Amparore; Gianfranco Ciardo; Susanna Donatelli; Andrew S. Miner (TACAS (2), 2019)

A CTL* Model Checker for Petri Nets. - Elvio Gilberto Amparore; Susanna Donatelli; Francesco Gallà (Petri Nets, 2020)

Variable order metrics for decision diagrams in system verification. - Elvio Gilberto Amparore; Susanna Donatelli; Gianfranco Ciardo (Int. J. Softw. Tools Technol. Transf., 2020)

Multiformalism modeling and simulation of immune system mechanisms. - Elvio Gilberto Amparore; Marco Beccuti; Paolo Castagno; Giuliana Franceschinis; Marzio Pennisi; Simone Pernice (BIBM, 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)

The Ins and Outs of Petri Net Composition. - Elvio G. Amparore; Susanna Donatelli (Petri Nets, 2022)

Streamlining models with explanations in the learning loop. - Francesco Lomuscio; Paolo Bajardi; Alan Perotti; Elvio G. Amparore (DSAA, 2022)

Challenges for Driver Action Recognition with Face Masks. - Elvio G. Amparore; Marco Botta; Idilio Drago; Susanna Donatelli; Giuseppe Mazzone (ITSC, 2022)

starMC: an automata based CTL* model checker. - Elvio Gilberto Amparore; Susanna Donatelli; Francesco Gallà (PeerJ Comput. Sci., 2022)

Stochastic modelling and evaluation using GreatSPN. - Elvio G. Amparore (SIGMETRICS Perform. Evaluation Rev., 2022)

Extension of the GreatMod Modeling Framework to Simulate Non-Markovian Processes with General-Distributed Events. - Irene Terrone; Daniela Volpatto; Simone Pernice; Elvio G. Amparore; Roberta Sirovich; Francesca Cordero; Marco Beccuti (CIBB, 2023)

Exploiting Structural Dependency Relations for Efficient Agent Based Model Simulation. - Marzio Pennisi; Elvio G. Amparore; Giuliana Franceschinis (EPEW, 2023)

Behind the Scene of the Model Checking Contest, Analysis of Results from 2018 to 2023. - Nicolas Amat; Elvio G. Amparore; Bernard Berthomieu; Pierre Bouvier; Silvano Dal-Zilio; Francis Hulin-Hubard; Peter Gjøl Jensen; Loïg Jezequel; Fabrice Kordon; Shuo Li; Emmanuel Paviot-Adet; Laure Petrucci; et al. (TOOLympics@ETAPS, 2023)

Using Stratified Sampling to Improve LIME Image Explanations. - Muhammad Rashid 002; Elvio G. Amparore; Enrico Ferrari; Damiano Verda (AAAI, 2024)

Hilbert Composition of Multilabelled Events. - Elvio G. Amparore; Susanna Donatelli; Lea Terracini (Petri Nets, 2024)

Can I Trust My Anomaly Detection System? A Case Study Based on Explainable AI. - Muhammad Rashid 002; Elvio G. Amparore; Enrico Ferrari; Damiano Verda (xAI (4), 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., 2024)