BASILE, DAVIDE
BASILE, DAVIDE
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
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.
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
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
Experimenting with formal verification and model-based development in railways: the case of UMC and Sparx Enterprise Architect - Complementary data
2023 Basile, D; Mazzanti, F; Ferrari, A
Experimenting with formal verification and model-based development: the case of UMC and Sparx EA
2023 Basile D.
Modelling, verifying and testing the contract automata runtime environment with Uppaal
2023 Basile, D
Modelling, verifying and testing the contract automata runtime environment with Uppaal: complementary data
2023 Basile D.
Mutant equivalence as monotonicity in parametric timed games
2023 Basile, D; TER BEEK, MAURICE HENRI; Göttmann, H; Lochau, M
Research challenges in orchestration synthesis
2023 Basile, D