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à
Aree di interesse:

formal methods, software engineering, dependable computing


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

Ferrari A.; Mazzanti F.; Basile D.; ter Beek M.H.

Systematic evaluation and usability analysis of formal methods tools for railway signaling system design

(2021) in IEEE transactions on software engineering
Basile D.

Secure multi-party computation with service contract automata

(2021) in ERCIM news online edition
Basile D.; Fantechi A.; Rucher L.; Mandò G.

Analysing an autonomous tramway positioning system with the Uppaal Statistical Model Checker

(2021) in Formal aspects of computing
Basile D.; ter Beek M.H.; Degano P.; Legay A.; Ferrari G.L.; Gnesi S.; Di Giandomenico F.

Supervisory synthesis of configurable behavioural contracts with modalities

(2021) FORTE 2021 - 41st IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Online conference, 14-18/06/2021
Basile D.; ter Beek M.H.

A clean and efficient implementation of choreography synthesis for behavioural contracts

(2021) COORDINATION 2021 - 23rd IFIP WG 6.1 International Conference on Coordination Models and Languages, Online conference, 14-18/06/2021
Basile D.; Fantechi A.; Rosadi I.

Formal analysis of the UNISIG safety application intermediate sub-layer. Applying Formal Methods to railway standard interfaces

(2021) FMICS 2021 - 26th International Conference on Formal Methods for Industrial Critical Systems, Online conference, 24-26/08/2021
Visualizza ulteriori prodotti