BASILE, DAVIDE
BASILE, DAVIDE
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.684 secondi).
A Refined Framework for Model-Based Assessment of Energy Consumption in the Railway Sector
2019 Chiaradonna, S; Di Giandomenico, F; Masetti, G; Basile, D
Automata-Based Behavioural Contracts with Action Correlation
2019 Basile, Davide; Pugliese, Rosario; Tiezzi, Francesco; Degano, Pierpaolo; Ferrari Gian, Luigi
On quantitative assessment of reliability and energy consumption indicators in railway systems
2019 Basile D.; Di Giandomenico F.; Gnesi S.
A refinement approach to analyse critical cyber-physical systems
2018 Basile D.; Di Giandomenico F.; Gnesi S.
Model-based evaluation of energy saving systems
2017 Basile D.; Di Giandomenico F.; Gnesi S.
Safe adaptation through implicit effect coercion
2015 Basile, D; Galletta, L; Mezzetti, G
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Refined Framework for Model-Based Assessment of Energy Consumption in the Railway Sector | 1-gen-2019 | Chiaradonna, S; Di Giandomenico, F; Masetti, G; Basile, D | |
Automata-Based Behavioural Contracts with Action Correlation | 1-gen-2019 | Basile, Davide; Pugliese, Rosario; Tiezzi, Francesco; Degano, Pierpaolo; Ferrari Gian, Luigi | |
On quantitative assessment of reliability and energy consumption indicators in railway systems | 1-gen-2019 | Basile D.; Di Giandomenico F.; Gnesi S. | |
A refinement approach to analyse critical cyber-physical systems | 1-gen-2018 | Basile D.; Di Giandomenico F.; Gnesi S. | |
Model-based evaluation of energy saving systems | 1-gen-2017 | Basile D.; Di Giandomenico F.; Gnesi S. | |
Safe adaptation through implicit effect coercion | 1-gen-2015 | Basile, D; Galletta, L; Mezzetti, G |