Profilo personale

Davide Basile

Le informazioni pubblicate in questa pagina sono gestite in completa autonomia da DAVIDE BASILE il/la quale se ne assume ogni responsabilità


Telefono: +39 050 621 2976

Identificatori Internazionali

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

Esperienze lavorative

Ricercatore III livello
Datore di lavoro: CNR - Consiglio Nazionale delle Ricerche


PhD in Computer Science
Università degli Studi di Pisa
Area disciplinare: informatica

Prodotti della ricerca

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