Personal profile

Davide Basile

The information published in this page are entirely managed by DAVIDE BASILE who is completely responsible for it.


Phone: +39 050 621 2976

International Ids

Scopus Author ID: 55960640200
Research Gate: Davide_Basile2
Google Scholar: GFesXY4AAAAJ


Company: CNR - Consiglio Nazionale delle Ricerche


PhD in Computer Science
Università degli Studi di Pisa

Research products

Basile D.; ter Beek M.H.; Legay A.

Timed service contract automata

(2020) in Innovations in systems and software engineering (Print)
Basile D.; ter Beek M.H.; Degano P.; Legay A.; Ferrari G. L.; Gnesi S.; Di Giandomenico F.

Controller synthesis of service contracts with variability

(2020) in Science of computer programming (Print)
Basile D.

Applying supervisory control synthesis to priced featured automata and energy problems

(2019) in International journal on software tools for technology transfer (Print)
Basile D.; ter Beek M.H.; Ferrari A.; Legay A.

Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and UPPAAL SMC

(2019) 24th International Conference on Formal Methods for Industrial Critical Systems (FMICS'19), Amsterdam, The Netherlands, 30-31 August 2019
Ceccarelli, Andrea; Basile, Davide; Bondavalli, Andrea; Falai, Lorenzo; Fantechi, Alessandro; Ferrari, Sandro; Mandò, Gianluca; Nostro, Nicola; Rucher, Luigi

The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results

(2019) Computer Safety, Reliability, and Security - {SAFECOMP} 2019 Workshops,, 10/9/2019
Basile, Davide; Fantechi, Alessandro; Rucher, Luigi; Mandò, Gianluca

Statistical Model Checking of Hazards in an Autonomous Tramway Positioning System

(2019) {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings, 4-6/6/2019
Basile D.; ter Beek M.H.; Pugliese R.

Bridging the Gap Between Supervisory Control and Coordination of Services: Synthesis of Orchestrations and Choreographies

(2019) 21st IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION'19), Kongens Lyngby, Denmark, 17-21/06/2019
Ferrari A.; ter Beek M.H.; Mazzanti F.; Basile D.; Fantechi A.; Gnesi S.; Piattino A.; Trentini D.

Survey on formal methods and tools in railways: the ASTRail approach

(2019) RSSRail'19 - Third International Conference on Reliability, Safety, and Security of Railway Systems, Lille, France, 04-06 June 2019
Chiaradonna S.; Di Giandomenico F.; Masetti G.; Basile D.

A Refined Framework for Model-Based Assessment of Energy Consumption in the Railway Sector

(2019) in From Software Engineering to Formal Methods and Tools, and Back. Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, 2019
Basile, Davide; Pugliese, Rosario; Tiezzi, Francesco; Degano, Pierpaolo; Ferrari, Gian Luigi

Automata-Based Behavioural Contracts with Action Correlation

(2019) , 2019
Visualizza ulteriori prodotti