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à

Contatti

Telefono: +39 050 621 2976
Recapito: Room I-45, ISTI CNR Pisa

Identificatori Internazionali

Scopus Author ID: 55960640200
WoS Researcher ID: AAX-1112-2020
Research Gate: Davide_Basile2
Google Scholar: GFesXY4AAAAJ

Esperienze lavorative

Ricercatore III livello
Datore di lavoro: CNR - Consiglio Nazionale delle Ricerche
Frequenza: 12/2019 - oggi

Docente a contratto
Datore di lavoro: Università di Firenze
Frequenza: 03/2020 - 03/2022

Corso di Programmazione Laurea Triennale in Informatica


Ricercatore Tempo Determinato - a
Datore di lavoro: University of Florence
Frequenza: 10/2018 - 11/2019

Assegnista
Datore di lavoro: University of Florence
Frequenza: 03/2017 - 09/2018

Assegnista
Datore di lavoro: CNR - Consiglio Nazionale delle Ricerche
Frequenza: 02/2015 - 03/2017


Formazione

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


Curriculum Vitae


Prodotti della ricerca

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.; 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.; Pugliese R.

Synthesis of orchestrations and choreographies: bridging the gap between supervisory control and coordination of services

(2020) in Logical Methods in Computer Science
Mazzanti F.; Basile D.

A Formal Methods Demonstrator for Railways

(2020) in ERCIM news online edition
Basile D.; ter Beek M.H.; Fantechi A.; Ferrari A.; Gnesi S.; Masullo L.; Mazzanti F.; Piattino A.; Trentini D.

Designing a demonstrator of formal methods for railways infrastructure managers

(2020) ISoLA'20 - 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Applications, Rhodes, Greece, 20-30 October, 2020
Basile D.; ter Beek M.H.; Cordy M.; Legay A.

Tackling the Equivalent Mutant Problem in Real-Time Systems: The 12 Commandments of Model-Based Mutation Testing

(2020) Proceedings of the 24th International Systems and Software Product Line Conference (SPLC'20), Montréal, Québec, Canada, 19-23/10/2020
Ferrari A,; MazzantiF.; Basile D.; ter Beek M.H.; Fantechi A.

Comparing formal tools for system design: a judgment study

(2020) ICSE'20 - 42nd International Conference on Software Engineering, Seoul, Republic of Korea, 27/6/2020-19/7/2020
Basile D.; ter Beek M.H.; Legay A.

Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego

(2020) 40th IFIP WG 6.1 International Conference on FORmal TEchniques for Distributed Objects, Components, and Systems (FORTE'20), Valletta, Malta, 15-19/06/2020
Basile D.; ter Beek M.H.; Di Giandomenico F.; Fantechi A.; Gnesi S.; Spagnolo G.O.

30 years of simulation-based quantitative analysis tools: a comparison experiment between Möbius and Uppaal SMC

(2020) ISoLA 2020 - 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, Rhodes, Greece, 20-30/10/2020
Mazzanti F.; Basile D.; Fantechi A.; Gnesi S.; Ferrari A.; Piattino A.; Masullo L.; Trentini D.

4SECURail - D.2.1: Specification of formal development demonstrator

(2020)
Visualizza ulteriori prodotti