BASILE, DAVIDE

BASILE, DAVIDE  

Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI  

Mostra records
Risultati 1 - 20 di 104 (tempo di esecuzione: 0.05 secondi).
Titolo Data di pubblicazione Autore(i) File
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.
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
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
Experimenting with formal verification and model-based development in railways: the case of UMC and Sparx Enterprise Architect - Complementary data 1-gen-2023 Basile, D; Mazzanti, F; Ferrari, A
Experimenting with formal verification and model-based development: the case of UMC and Sparx EA 1-gen-2023 Basile D.
Modelling, verifying and testing the contract automata runtime environment with Uppaal 1-gen-2023 Basile, D
Modelling, verifying and testing the contract automata runtime environment with Uppaal: complementary data 1-gen-2023 Basile D.
Mutant equivalence as monotonicity in parametric timed games 1-gen-2023 Basile, D; TER BEEK, MAURICE HENRI; Göttmann, H; Lochau, M
Research challenges in orchestration synthesis 1-gen-2023 Basile, D; TER BEEK, MAURICE HENRI