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.; 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)
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

(2019) in Science of computer programming (Print)
Visualizza ulteriori prodotti