Personal profile

Davide Basile

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

Contacts

Phone: +39 050 621 2976
Address: Room I-45, ISTI CNR Pisa

International Ids

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

Experience

Researcher
Company: CNR - Consiglio Nazionale delle Ricerche
Time period: 12/2019 - today

Docente a contratto
Company: Università di Firenze
Time period: 03/2020 - 03/2022

Assistant Professor
Company: University of Florence
Time period: 10/2018 - 11/2019

Temporary Research Fellow
Company: University of Florence
Time period: 03/2017 - 09/2018

Temporary Research Fellow
Company: CNR - Consiglio Nazionale delle Ricerche
Time period: 02/2015 - 03/2017


Education

PhD in Computer Science
Università degli Studi di Pisa


Curriculum Vitae


Research products

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