CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 55
Titolo Data di pubblicazione Autore(i) File
From compositional Petri Net modeling to macro and micro simulation by means of Stochastic Simulation and Agent-Based models 2023 Amparore, Elvio; Beccuti, Marco; Castagno, Paolo; Pernice, Simone; Franceschinis, Giuliana; Pennisi, Marzio
The footprint form of a matrix: Definition, properties, and an application 2022 Elvio G. Amparore; Gianfranco Ciardo; Andrew S. Miner
Streamlining models with explanations in the learning loop 2022 Lomuscio Francesco ; Bajardi Paolo ; Perotti Alan ; Amparore Elvio
Stochastic Modelling and Evaluation Using GreatSPN 2022 Amparore, Elvio G.
Challenges for Driver Action Recognition with Face Masks 2022 Amparore E.G.; Botta Marco; Drago I.; Donatelli S.; Mazzone Giuseppe
starMC: an automata based CTL* model checker 2022 Amparore, Elvio Gilberto; Donatelli, Susanna; Gallà, Francesco
The Ins and Outs of Petri Net Composition 2022 Elvio G. Amparore; Susanna Donatelli
To trust or not to trust an explanation: using LEAF to evaluate local linear XAI methods 2021 Amparore Elvio; Perotti Alan; Bajardi Paolo
An entropy heuristic to optimize decision diagrams for index-driven search in biological graph databases 2021 Licheri N.; Amparore E.; Bonnici V.; Giugno R.; Beccuti M.
Forecast of Distributed Energy Generation and Consumption in a Partially Observable Electrical Grid: A Machine Learning Approach 2021 Amparore Elvio Gilberto; Cinus Federico ; Maestri Cristiano ; Petrocchi Leonardo ; Polinelli Dario ; Scarpa Fabio ; Perotti Alan ; Panisson André ; Bajardi Paolo
Multiformalism modeling and simulation of immune system mechanisms 2021 Amparore Elvio Gilberto; Beccuti Marco; Castagno Paolo; Franceschinis Giuliana; Pennisi Marzio; Pernice Simone;
On Driver Behavior Recognition for Increased Safety: A Roadmap 2020 Davoli, Luca; Martalò, Marco; Cilfone, Antonio; Belli, Laura; Ferrari, Gianluigi; Presta, Roberta; Montanari, Roberto; Mengoni, Maura; Giraldi, Luca; Amparore, Elvio G.; Botta, Marco; Drago, Idilio; Carbonara, Giuseppe; Castellano, Andrea; Plomp, Johan
A CTL* Model Checker for Petri Nets 2020 Elvio Gilberto Amparore and Susanna Donatelli and Francesco Gall{`{a}}
Variable order metrics for decision diagrams in system verification 2020 Amparore, Elvio G.; Donatelli, Susanna; Ciardo, Gianfranco
Heterogeneous Industrial Vehicle Usage Predictions: a Real Case 2019 Dena Markudova and Elena Baralis and Luca Cagliero and Marco Mellia and Luca Vassio and Amparore Elvio Gilberto and Riccardo Loti and Lucia Salvatori
Great-Nsolve: a Tool Integration for (Markov Regenerative) Stochastic Petri Nets 2019 Amparore Elvio Gilberto , Peter Buchholz , Donatelli Susanna
iRank: A Variable Order Metric for DEDS Subject to Linear Invariants 2019 Amparore Elvio Gilberto , Ciardo Gianfranco , Donatelli Susanna , Miner Andrew
Presentation of the 9th Edition of the Model Checking Contest 2019 Amparore Elvio Gilberto , Bernard Berthomieu , Gianfranco Ciardo , Silvano Dal{-}Zilio , Francesco Gall{`{a}} , Lom{-}Messan Hillah , Francis Hulin{-}Hubard , Peter Gj{o}l Jensen , Lo{"{i}}g Jezequel , Fabrice Kordon , Didier Le Botlan , Torsten Liebke , Jeroen Meijer , Andrew S. Miner , Emmanuel Paviot{-}Adet , Jir{'{i}} Srba , Yann Thierry{-}Mieg , Tom van Dijk , Karsten Wolf
GreatTeach: a tool for teaching (stochastic) Petri nets 2018 Elvio Gilberto Amparore; Susanna Donatelli
On the Safety of Automotive Systems Incorporating Machine Learning Based Components: A Position Paper 2018 Mohamad Gharib and Paolo Lollini and Marco Botta and Elvio Gilberto Amparore and Susanna Donatelli and Andrea Bondavalli
Mostrati risultati da 1 a 20 di 55
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile