BASILE, DAVIDE
BASILE, DAVIDE
Statistica, Informatica, Applicazioni 'G. Parenti' (DiSIA)
30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC
2020 Basile D.; ter Beek M.H.; Di Giandomenico F.; Fantechi A.; Gnesi S.; Spagnolo G.O.
A formal framework for secure and complying services
2014 Basile, Davide; Degano, Pierpaolo*; Ferrari, Gian -Luigi
A Refined Framework for Model-Based Assessment of Energy Consumption in the Railway Sector
2019 Chiaradonna S.; Di Giandomenico F.; Masetti G.; Basile D.
A refinement approach to analyse critical cyber-physical systems
2018 Basile, Davide; Di Giandomenico, Felicita; Gnesi, Stefania
A stochastic model-based approach to analyse reliable energy-saving rail road switch heating systems
2016 Basile, Davide*; Chiaradonna, Silvano; Di Giandomenico, Felicita; Gnesi, Stefania
Analysing an autonomous tramway positioning system with the Uppaal Statistical Model Checker
2021 Basile, Davide; Fantechi, Alessandro; Rucher, Luigi; Mandò, Gianluca
Applying supervisory control synthesis to priced featured automata and energy problems
2019 Basile, Davide
Automata for analysing service contracts
2014 Basile, Davide*; Degano, Pierpaolo; Ferrari, Gian Luigi
Automata for specifying and orchestrating service contracts
2016 Basile, Davide; Degano, Pierpaolo; Ferrari, Gian-Luigi
Automata-based Behavioural Contracts with Action Correlation
2019 Davide Basile, Rosario Pugliese, Francesco Tiezzi, Pierpaolo Degano, Gian-Luigi Ferrari
Comparing formal tools for system design: A judgment study
2020 Ferrari A.; Mazzanti F.; Basile D.; ter Beek M.H.; Fantechi A.
Controller synthesis of service contracts with variability
2020 Basile, Davide; ter Beek, Maurice H.; Degano, Pierpaolo; Legay, Axel; Ferrari, Gian-Luigi; Gnesi, Stefania; Di Giandomenico, Felicita
Dependable Dynamic Routing for Urban Transport Systems Through Integer Linear Programming
2017 Basile, Davide; Di Giandomenico, Felicita; Gnesi, Stefania
Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers
2020 Basile D.; ter Beek M.H.; Fantechi A.; Ferrari A.; Gnesi S.; Masullo L.; Mazzanti F.; Piattino A.; Trentini D.
Enhancing Models Correctness through Formal Verification: A Case Study from the Railway Domain
2017 Gnesi, Stefania; Di Giandomenico, Felicita; Basile, Davide
FMCAT: Supporting dynamic service-based product lines
2017 Basile, Davide; Di Giandomenico, Felicita; Gnesi, Stefania
Formal Analysis of the UNISIG Safety Application Intermediate Sub-layer: Applying Formal Methods to Railway Standard Interfaces
2021 Basile D.; Fantechi A.; Rosadi I.
From orchestration to choreography through contract automata
2014 Basile, Davide; Degano, Pierpaolo; Ferrari, Gian-Luigi; Tuosto, Emilio
Model-based evaluation of energy saving systems
2017 Basile, Davide*; Di Giandomenico, Felicita; Gnesi, Stefania
Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC
2019 Basile D.; ter Beek M.H.; Ferrari A.; Legay A.