BASILE, DAVIDE
BASILE, DAVIDE
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
CN MOST SP4 D1.3.5: Report on assessed methods and models for resilient and sustainable railway infrastructures
2025 D’Acierno, L.; De Matteis, L.; Basile, D.; Ter Beek, M.; Chiaradonna, S.; Di Giandomenico, F.; Gregori, M.; Furini, F; D’Alfonso, T; Matteucci, G.; Barbaro, M.; Collina, A.; Team Of Ferrovie Nord, (FN); Team Of, Almaviva
Comparing model checking and model-based simulation
2025 Basile, D.; Mazzanti, F.
Comparing model checking and model-based simulation: presentation
2025 Basile, D.; Mazzanti, F.
PRIN PNRR Adventure D2: Report on the definition of methods for qualitative and quantitative evaluation of KPIs of railway systems
2025 Basile, D.; Ter Beek, M.; Carnevali, L.; Chiaradonna, S.; Di Giandomenico, F.; Fantechi, A.; Gori, G.
Advanced integrated evaluation of railway systems
2024 Basile, Davide; TER BEEK, MAURICE HENRI; DI GIANDOMENICO, Felicita; Carnevali, Laura; Fantechi, Alessandro
Advancing orchestration synthesis for contract automata
2024 Basile, D.; ter Beek, M.
An integrated perspective on the evaluation of complex railway systems
2024 Basile, D.; ter Beek, M. H.; Carnevali, L.; Chiaradonna, S.; Di Giandomenico, F.; Fantechi, A.; Gori, G.
CN MOST SP4 D1.3.1: Report on formal models
2024 Basile, D.; Ter Beek, M.; Di Giandomenico, F.; Ferrari, A.; Mazzanti, F.; Chiaradonna, S.; Team Of Intesa San, Paolo
Coherent modal transition systems refinement
2024 Basile, Davide; ter Beek, Maurice H.; Fantechi, Alessandro; Gnesi, Stefania
Modelling, verifying and testing the contract automata runtime environment with UPPAAL
2024 Basile, Davide
Presentation of the paper entitled Modelling, Verifying and Testing the Contract Automata Runtime Environment with UPPAAL
2024 Basile, Davide
PRIN PNRR Adventure D1.1 - Report on the definition of the case studies
2024 Basile, D.; Ter Beek, M.; Carnevali, L.; Chiaradonna, S.; Di Giandomenico, F.; Fantechi, A.; Gori, G.
Sustainable mobility: increase of capacity and digitisation of railway transport
2024 Basile, Davide; TER BEEK, MAURICE HENRI; Ferrari, Alessio
Time for networks: mutation testing for timed automata networks
2024 Cortés, David; Ortiz, James; Basile, Davide; Aranda, Jesus; Perrouin, Gilles; Schobbens, Pierre Yves
A runtime environment for contract automata
2023 Basile, D
A runtime environment for contract automata
2023 Basile, D; ter Beek, Mh
A sound and complete refinement relation for non-reducible modal transition systems
2023 Basile, D
A toolchain for strategy synthesis with spatial properties
2023 Basile, D; TER BEEK, MAURICE HENRI; Bussi, L; Ciancia, V
A toolchain for strategy synthesis with spatial properties - Complementary material
2023 Basile D.; ter Beek M.H.; Bussi L.; Ciancia V.
Experimenting with formal verification and model-based development in railways: the case of UMC and Sparx Enterprise Architect
2023 Basile, D; Mazzanti, F; Ferrari, A
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| CN MOST SP4 D1.3.5: Report on assessed methods and models for resilient and sustainable railway infrastructures | 1-gen-2025 | D’Acierno, L.; De Matteis, L.; Basile, D.; Ter Beek, M.; Chiaradonna, S.; Di Giandomenico, F.; Gregori, M.; Furini, F; D’Alfonso, T; Matteucci, G.; Barbaro, M.; Collina, A.; Team Of Ferrovie Nord, (FN); Team Of, Almaviva | |
| Comparing model checking and model-based simulation | 1-gen-2025 | Basile, D.; Mazzanti, F. | |
| Comparing model checking and model-based simulation: presentation | 1-gen-2025 | Basile, D.; Mazzanti, F. | |
| PRIN PNRR Adventure D2: Report on the definition of methods for qualitative and quantitative evaluation of KPIs of railway systems | 1-gen-2025 | Basile, D.; Ter Beek, M.; Carnevali, L.; Chiaradonna, S.; Di Giandomenico, F.; Fantechi, A.; Gori, G. | |
| Advanced integrated evaluation of railway systems | 1-gen-2024 | Basile, Davide; TER BEEK, MAURICE HENRI; DI GIANDOMENICO, Felicita; Carnevali, Laura; Fantechi, Alessandro | |
| Advancing orchestration synthesis for contract automata | 1-gen-2024 | Basile, D.; ter Beek, M. | |
| An integrated perspective on the evaluation of complex railway systems | 1-gen-2024 | Basile, D.; ter Beek, M. H.; Carnevali, L.; Chiaradonna, S.; Di Giandomenico, F.; Fantechi, A.; Gori, G. | |
| CN MOST SP4 D1.3.1: Report on formal models | 1-gen-2024 | Basile, D.; Ter Beek, M.; Di Giandomenico, F.; Ferrari, A.; Mazzanti, F.; Chiaradonna, S.; Team Of Intesa San, Paolo | |
| Coherent modal transition systems refinement | 1-gen-2024 | Basile, Davide; ter Beek, Maurice H.; Fantechi, Alessandro; Gnesi, Stefania | |
| Modelling, verifying and testing the contract automata runtime environment with UPPAAL | 1-gen-2024 | Basile, Davide | |
| Presentation of the paper entitled Modelling, Verifying and Testing the Contract Automata Runtime Environment with UPPAAL | 1-gen-2024 | Basile, Davide | |
| PRIN PNRR Adventure D1.1 - Report on the definition of the case studies | 1-gen-2024 | Basile, D.; Ter Beek, M.; Carnevali, L.; Chiaradonna, S.; Di Giandomenico, F.; Fantechi, A.; Gori, G. | |
| Sustainable mobility: increase of capacity and digitisation of railway transport | 1-gen-2024 | Basile, Davide; TER BEEK, MAURICE HENRI; Ferrari, Alessio | |
| Time for networks: mutation testing for timed automata networks | 1-gen-2024 | Cortés, David; Ortiz, James; Basile, Davide; Aranda, Jesus; Perrouin, Gilles; Schobbens, Pierre Yves | |
| A runtime environment for contract automata | 1-gen-2023 | Basile, D | |
| A runtime environment for contract automata | 1-gen-2023 | Basile, D; ter Beek, Mh | |
| A sound and complete refinement relation for non-reducible modal transition systems | 1-gen-2023 | Basile, D | |
| A toolchain for strategy synthesis with spatial properties | 1-gen-2023 | Basile, D; TER BEEK, MAURICE HENRI; Bussi, L; Ciancia, V | |
| A toolchain for strategy synthesis with spatial properties - Complementary material | 1-gen-2023 | Basile D.; ter Beek M.H.; Bussi L.; Ciancia V. | |
| Experimenting with formal verification and model-based development in railways: the case of UMC and Sparx Enterprise Architect | 1-gen-2023 | Basile, D; Mazzanti, F; Ferrari, A |