AMPARORE, Elvio Gilberto

AMPARORE, Elvio Gilberto  

INFORMATICA  

Mostra records
Risultati 1 - 20 di 33 (tempo di esecuzione: 0.026 secondi).
Titolo Data di pubblicazione Autore(i) File
A Component-Based Solution Method for Non-ergodic Markov Regenerative Processes 2010 Elvio Gilberto Amparore; Susanna Donatelli
A New GreatSPN GUI for GSPN Editing and CSLTA Model Checking 2014 E. Amparore
A Structured Solution Approach for Markov Regenerative Processes 2014 E. Amparore;P. Buchholz;S. Donatelli
Adaptive artificial co-pilot as enabler for autonomous vehicles and intelligent transportation systems 2018 Amparore E.G.; Beccuti M.; Botta M.; Donatelli S.; Tango F.
alphaFactory: A Tool for Generating the Alpha Factors of General Distributions 2017 Amparore Elvio Gilberto ; Donatelli Susanna
Backward solution of Markov chains and Markov Renewal Processes: formalization and applications 2012 Elvio Gilberto Amparore; Susanna Donatelli
Cognitive systems in intelligent vehicles: A new frontier for autonomous driving 2014 Amparore, Elvio; Beccuti, Marco; Collina, Simona; De Simone, Flavia; Donatelli, Susanna; Tango, Fabio
A CTL* Model Checker for Petri Nets 2020 Elvio Gilberto Amparore and Susanna Donatelli and Francesco Gall{`{a}}
Decision diagrams for Petri nets: a comparison of variable ordering algorithms 2018 Amparore E.G.; Donatelli S.; Beccuti M.; Garbi G.; Miner A.
Decision diagrams for Petri nets: which variable ordering? 2017 Amparore, E. G., Donatelli, S., Beccuti, M., Garbi, G., Miner Andrew
DSPN-Tool: A New DSPN and GSPN Solver for GreatSPN 2010 Elvio Gilberto Amparore; Susanna Donatelli
Efficient Solution of Extended Multiple-Phased Systems 2017 Amparore, Elvio and Donatelli, Susanna
Expressing and computing passage time measures of GSPN models with HASL 2013 E. G. Amparore; P. Ballarini; M. Beccuti; S. Donatelli; G. Franceschinis
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
Gradient-Based Variable Ordering of Decision Diagrams for Systems with Structural Units 2017 Amparore Elvio Gilberto ; Beccuti Marco ; Donatelli Susanna
Great-Nsolve: a Tool Integration for (Markov Regenerative) Stochastic Petri Nets 2019 Amparore Elvio Gilberto , Peter Buchholz , Donatelli Susanna
GreatTeach: a tool for teaching (stochastic) Petri nets 2018 Elvio Gilberto Amparore; Susanna Donatelli
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
Improving and Assessing the Efficiency of the MC4CSLTA Model Checker 2013 Amparore, Elvio Gilberto; and Donatelli, Susanna
iRank: A Variable Order Metric for DEDS Subject to Linear Invariants 2019 Amparore Elvio Gilberto , Ciardo Gianfranco , Donatelli Susanna , Miner Andrew