Elvio Gilberto Amparore

42 papers A 1B 7Journal 10Unranked 23

Year	Rank	Type	Title / Venue / Authors
2025	B	`ed.`	Application and Theory of Petri Nets and Concurrency - 46th International Conference, PETRI NETS 2025, Paris, France, June 22-27, 2025, Proceedings Petri Nets Elvio Gilberto Amparore, Lukasz Mikulski
2024	J	`jnl`	Can I trust my anomaly detection system? A case study based on explainable AI. CoRR Muhammad Rashid, Elvio Gilberto Amparore, Enrico Ferrari, Damiano Verda
2024	J	`jnl`	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. Elvio Gilberto Amparore, Marco Beccuti, Paolo Castagno, Simone Pernice, Giuliana Franceschinis, Marzio Pennisi
2022	J	`jnl`	starMC: an automata based CTL* model checker. PeerJ Comput. Sci. Elvio Gilberto Amparore, Susanna Donatelli, Francesco Gallà
2021	—	`conf`	Multiformalism modeling and simulation of immune system mechanisms. BIBM Elvio Gilberto Amparore, Marco Beccuti, Paolo Castagno, Giuliana Franceschinis, Marzio Pennisi, Simone Pernice
2020	B	`conf`	A CTL* Model Checker for Petri Nets. Petri Nets Elvio Gilberto Amparore, Susanna Donatelli, Francesco Gallà
2020	J	`jnl`	Variable order metrics for decision diagrams in system verification. Int. J. Softw. Tools Technol. Transf. Elvio Gilberto Amparore, Susanna Donatelli, Gianfranco Ciardo
2019	—	`conf`	Heterogeneous Industrial Vehicle Usage Predictions: A Real Case. EDBT/ICDT Workshops Dena Markudova, Elena Baralis, Luca Cagliero, Marco Mellia, Luca Vassio, Elvio Gilberto Amparore, Riccardo Loti, Lucia Salvatori
2019	—	`ch.`	Modelling and Efficient Solution of Multiple-Phased Systems. Systems Modeling: Methodologies and Tools Elvio Gilberto Amparore, Susanna Donatelli
2019	—	`conf`	Presentation of the 9th Edition of the Model Checking Contest. TACAS (3) 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
2019	—	`conf`	i _\mathrm Rank : A Variable Order Metric for DEDS Subject to Linear Invariants. TACAS (2) Elvio Gilberto Amparore, Gianfranco Ciardo, Susanna Donatelli, Andrew S. Miner
2018	—	`conf`	Adaptive Artificial Co-pilot as Enabler for Autonomous Vehicles and Intelligent Transportation Systems. ATT@IJCAI Elvio Gilberto Amparore, Marco Beccuti, Marco Botta, Susanna Donatelli, Fabio Tango
2018	J	`jnl`	Decision Diagrams for Petri Nets: A Comparison of Variable Ordering Algorithms. Trans. Petri Nets Other Model. Concurr. Elvio Gilberto Amparore, Susanna Donatelli, Marco Beccuti, Giulio Garbi, Andrew S. Miner
2018	J	`jnl`	Efficient model checking of the stochastic logic CSL Perform. Evaluation Elvio Gilberto Amparore, Susanna Donatelli
2018	B	`conf`	GreatTeach: A Tool for Teaching (Stochastic) Petri Nets. Petri Nets Elvio Gilberto Amparore, Susanna Donatelli
2018	J	`jnl`	MCC'2017 - The Seventh Model Checking Contest. Trans. Petri Nets Other Model. Concurr. 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
2018	—	`conf`	On the Safety of Automotive Systems Incorporating Machine Learning Based Components: A Position Paper. DSN Workshops Mohamad Gharib, Paolo Lollini, Marco Botta, Elvio Gilberto Amparore, Susanna Donatelli, Andrea Bondavalli
2018	J	`jnl`	SeqBox: RNAseq/ChIPseq reproducible analysis on a consumer game computer. Bioinform. Marco Beccuti, Francesca Cordero, Maddalena Arigoni, Riccardo Panero, Elvio Gilberto Amparore, Susanna Donatelli, Raffaele A. Calogero
2017	—	`conf`	Analysis of Non-Markovian Systems in GreatSPN. InfQ@VALUETOOLS Elvio Gilberto Amparore, Susanna Donatelli
2017	—	`conf`	Decision Diagrams for Petri Nets: Which Variable Ordering? PNSE @ Petri Nets Elvio Gilberto Amparore, Susanna Donatelli, Marco Beccuti, Giulio Garbi, Andrew S. Miner
2017	B	`conf`	Gradient-Based Variable Ordering of Decision Diagrams for Systems with Structural Units. ATVA Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli
2017	B	`conf`	Modelling and Evaluation of a Control Room Application. Petri Nets Elvio Gilberto Amparore, Susanna Donatelli, Elisa Landini
2017	—	`conf`	alphaFactory: A Tool for Generating the Alpha Factors of General Distributions - (Tool Paper). QEST Elvio Gilberto Amparore, Susanna Donatelli
2016	—	`conf`	Efficient solution of extended Multiple-Phased Systems. VALUETOOLS Elvio Gilberto Amparore, Susanna Donatelli
2016	—	`conf`	Optimal Aggregation of Components for the Solution of Markov Regenerative Processes. QEST Elvio Gilberto Amparore, Susanna Donatelli
2015	—	`conf`	Markov Decision Petri Nets with Uncertainty. EPEW Marco Beccuti, Elvio Gilberto Amparore, Susanna Donatelli, Dimitri Scheftelowitsch, Peter Buchholz, Giuliana Franceschinis
2015	—	`conf`	Reengineering the Editor of the GreatSPN Framework. PNSE @ Petri Nets Elvio Gilberto Amparore
2014	B	`conf`	(Stochastic) Model Checking in GreatSPN. Petri Nets Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli
2014	—	`conf`	A New GreatSPN GUI for GSPN Editing and CSLTA Model Checking. QEST Elvio Gilberto Amparore
2014	—	`conf`	A Structured Solution Approach for Markov Regenerative Processes. QEST Elvio Gilberto Amparore, Peter Buchholz, Susanna Donatelli
2014	—	`conf`	Cognitive Systems in Intelligent Vehicles - A New Frontier for Autonomous Driving. ICINCO (2) Elvio Gilberto Amparore, Marco Beccuti, Simona Collina, Flavia De Simone, Susanna Donatelli, Fabio Tango
2013	J	`jnl`	A component-based solution for reducible Markov regenerative processes. Perform. Evaluation Elvio Gilberto Amparore, Susanna Donatelli
2013	B	`conf`	Expressing and Computing Passage Time Measures of GSPN Models with HASL. Petri Nets Elvio Gilberto Amparore, Paolo Ballarini, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis
2013	—	`conf`	Improving and Assessing the Efficiency of the MC4CSLTA Model Checker. EPEW Elvio Gilberto Amparore, Susanna Donatelli
2013	—	`conf`	Simulation-based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets. SIGSIM-PADS Elvio Gilberto Amparore, Benoît Barbot, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis
2012	—	`conf`	Backward Solution of Markov Chains and Markov Regenerative Processes: Formalization and Applications. PASM/PDMC Elvio Gilberto Amparore, Susanna Donatelli
2011	—	`conf`	Probe Automata for Passage Time Specification. QEST Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis
2011	J	`jnl`	Revisiting the matrix-free solution of Markov regenerative processes. Numer. Linear Algebra Appl. Elvio Gilberto Amparore, Susanna Donatelli
2010	—	`conf`	A Component-Based Solution Method for Non-ergodic Markov Regenerative Processes. EPEW Elvio Gilberto Amparore, Susanna Donatelli
2010	—	`conf`	DSPN-Tool: A New DSPN and GSPN Solver for GreatSPN. QEST Elvio Gilberto Amparore, Susanna Donatelli
2010	—	`conf`	MC4CSLTA: An Efficient Model Checking Tool for CSLTA. QEST Elvio Gilberto Amparore, Susanna Donatelli
2010	A	`conf`	Model checking CSL DSN Elvio Gilberto Amparore, Susanna Donatelli