BASILE, DAVIDE
BASILE, DAVIDE
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Mostra
records
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.019 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, D.; Pugliese, R.; Tiezzi, F.; Degano, P.; Ferrari, G. L.
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
Automata for analysing service contracts
2014 Basile, D.; Degano, P.; Ferrari, G. L.
| 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, D.; Pugliese, R.; Tiezzi, F.; Degano, P.; Ferrari, G. L. | |
| 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 | |
| Automata for analysing service contracts | 1-gen-2014 | Basile, D.; Degano, P.; Ferrari, G. L. |