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
Coherent modal transition systems refinement
2024 Basile, Davide; ter Beek, Maurice H.; Fantechi, Alessandro; Gnesi, Stefania
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
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 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 | |
| Coherent modal transition systems refinement | 2024 | Basile, Davide; ter Beek, Maurice H.; Fantechi, Alessandro; Gnesi, Stefania | |
| 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 |