BASILE, DAVIDE

BASILE, DAVIDE  

Statistica, Informatica, Applicazioni 'G. Parenti' (DiSIA)  

Mostra records
Risultati 1 - 20 di 39 (tempo di esecuzione: 0.065 secondi).
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
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.