AMPARORE, Elvio Gilberto

AMPARORE, Elvio Gilberto  

INFORMATICA  

Mostra records
Risultati 1 - 20 di 37 (tempo di esecuzione: 0.028 secondi).
Titolo Data di pubblicazione Autore(i) File
(Stochastic) Model Checking in GreatSPN 2014 E. Amparore;M. Beccuti;S. Donatelli
A Component-Based Solution Method for Non-ergodic Markov Regenerative Processes 2010 Elvio Gilberto Amparore; Susanna Donatelli
A CTL* Model Checker for Petri Nets 2020 Elvio Gilberto Amparore and Susanna Donatelli and Francesco Gall{`{a}}
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
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.
Backward solution of Markov chains and Markov Renewal Processes: formalization and applications 2012 Elvio Gilberto Amparore; Susanna Donatelli
Challenges for Driver Action Recognition with Face Masks 2022 Amparore E.G.; Botta Marco; Drago I.; Donatelli S.; Mazzone Giuseppe
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
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