BASILE, DAVIDE
BASILE, DAVIDE
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Formal methods for railway systems: a survey of research and technology transfer projects
2026 Basile, Davide; Ter Beek, Maurice Henri; Broccia, Giovanna; Gnesi, Stefania; Mazzanti, Franco; Spagnolo, Giorgio Oronzo; Bacherini, Stefano; Becheri, Carlo; Grasso, Daniele; Magnani, Gianluca; Tempestini, Matteo; Zingoni, Niccolò; Ferrari, Alessio
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 |
|---|---|---|---|
| Formal methods for railway systems: a survey of research and technology transfer projects | 1-gen-2026 | Basile, Davide; Ter Beek, Maurice Henri; Broccia, Giovanna; Gnesi, Stefania; Mazzanti, Franco; Spagnolo, Giorgio Oronzo; Bacherini, Stefano; Becheri, Carlo; Grasso, Daniele; Magnani, Gianluca; Tempestini, Matteo; Zingoni, Niccolò; Ferrari, Alessio | |
| 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. |