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
Coherent modal transition systems refinement
2024 Basile, Davide; ter Beek, Maurice H.; Fantechi, Alessandro; Gnesi, Stefania
Sustainable mobility: increase of capacity and digitisation of railway transport
2024 Basile, Davide; TER BEEK, MAURICE HENRI; Ferrari, Alessio
A toolchain for strategy synthesis with spatial properties
2023 Basile, D; TER BEEK, MAURICE HENRI; Bussi, L; Ciancia, V
Contract automata library
2022 Basile, D; ter Beek, Mh
Empirical software engineering and formal methods for IoT systems
2022 Basile, D; ter Beek, Mh; Broccia, G; Ferrari, A
Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods
2022 Basile D.; ter Beek M.H.; Ferrari A.; Legay A.
Static detection of equivalent mutants in real-time model-based mutation testing
2022 Basile D.; ter Beek M.; Lazreg S.; Cordy M.; Legay A.
Analysing an autonomous tramway positioning system with the Uppaal Statistical Model Checker
2021 Basile D.; Fantechi A.; Rucher L.; Mandò G.
Secure multi-party computation with service contract automata
2021 Basile, D
Systematic evaluation and usability analysis of formal methods tools for railway signaling system design
2021 Ferrari A.; Mazzanti F.; Basile D.; ter Beek M.H.
A Formal Methods Demonstrator for Railways
2020 Mazzanti, F; Basile, D
Synthesis of orchestrations and choreographies: bridging the gap between supervisory control and coordination of services
2020 Basile, D; ter Beek, M H; Pugliese, R
Applying supervisory control synthesis to priced featured automata and energy problems
2019 Basile D.
Controller synthesis of service contracts with variability
2019 Basile, D; ter Beek, Mh; Degano, P; Legay, A; Ferrari, G L; Gnesi, S; Di Giandomenico, F
Timed service contract automata
2019 Basile, D; TER BEEK, MAURICE HENRI; Legay, A
A stochastic model-based approach to analyze reliable energy-saving rail road switch heating systems
2016 Basile D.; Chiaradonna S.; Di Giandomenico F.; Gnesi S.
Automata for specifying and orchestrating service contracts
2016 Basile, D; Degano, P; Ferrari, G
Relating two automata-based models of orchestration and choreography
2016 Basile, D; Degano, P; Ferrari, G; Tuosto, E
A formal framework for secure and complying services
2014 Basile, Davide; Degano, Pierpaolo; Ferrari, Gian Luigi