Skip to the content.

Davide Basile

Contact :

Davide Basile

Davide Basile, Ph.D.
Permanent Researcher @
Formal Methods & Tools (FMT)
Istituto di Scienza e Tecnologie dell'Informazione “A. Faedo” (ISTI)
Consiglio Nazionale delle Ricerche (CNR)
Area della Ricerca di Pisa, Loc. San Cataldo,
Via Moruzzi 1, I-56124 Pisa, Italy

Room : I-45
Phone : +39 050 315 2796

E-mail : davide.basile@isti.cnr.it

About me:

I am a permanent researcher at the Formal Methods && Tools Laboratory (FMT-lab) of the Institute of Information Science and Technology (ISTI) of the National Research Council (CNR) in Pisa, Italy.

Previously, in the years 2017-2019 I was an assistant professor at the University of Florence, Department of Statistics, Informations and Applications (DISIA) and a post-doc at the University of Florence, Department of Information Engineering (DINFO). I have been a member of the FMT-lab since 2015.

I did my Ph.D. studies in Computer Science in 2012-2016, at the Department of Computer Science of the University of Pisa, Scienze di Base “Galileo Galilei”, under the supervision of prof. Pierpaolo Degano and prof. Gian-Luigi Ferrari. During 2014, I spent 6 months as a visiting PhD student at the Department of Computer Science of the University of Leicester (UK). I was a Master and Bachelor student at the University of Pisa, Corso di Laurea in Informatica.

My Ph.D. thesis Specification and Verification of Contract-Based Applications introduces a new automata-based formalism for behavioural contracts exploiting results from Supervisory Control Theory for Discrete Event Systems and Mixed Integer Linear Programming. These techniques are adapted to verify and synthesise ensembles of contracts with differerent well-behaving properties and coordination paradigms. The formalism is proved to be in relation with two Horn Fragments of dialects of Intuitionitistics Logics introduced to model contracts with debits.

During my post-doc years I have been involved in different international and national projects (ASTRail, 4SECURail, SISTER) where I have applied state-of-the-art formal methods (e.g., Uppaal Statistical Model Checker) to the modelling and analysis of emerging technologies in the railway domain (e.g., satellite positioning, ERTMS/ETCS L3).

As of 2022 I have authored about 40 peer-reviewed papers in conferences and journals in the field of formal methods, software engineering and dependable computing. My research focuses on developing both novel formalisms for emerging computational paradigms and supporting tools, exploring formal verification techniques and applying state-of-the-art formal methods to the design of real-world systems and emerging technologies in different application domains, e.g., railway domain.

Participation in Projects:

PRIN T-Ladies 2020TL3X8X 2022-2025 (Typeful Language Adaptation for Dynamic, Interacting and Evolving Systems)
PRIN ITMatters 2017FTXR7S 2020-2022
H2020 Shift2Rail 4SECURail 2020-2021 (FORmal Methods and CSIRT for the RAILway sector)
H2020 Shift2Rail ASTRail 2017-2019 (SAtellite-based Signalling and Automation SysTems on Railways along with Formal Method and Moving Block validation)
POR FESR SISTER 2017-2019 (Signalling & Sensing Technologies in Railway application)
PRIN CINA 2010LHT4KM 2015-2016 (Composizionalità, Interazione, Negoziazione, Autonomicità per la società ICT futura)
PRIN TENACE 20103P34XC, 2015-2016 (Protezione delle Infrastrutture Critiche Nazionali da Minacce Cibernetiche)
PRIN Security Horizon 2010XSEMLC 2013-2014

Program Committees:

The 17th International Conference on Software Technologies (ICSOFT 2022)
The 17th International Conference on integrated Formal Methods (iFM 2022 Artifacts Evaluation Track)
15th Interaction and Concurrency Experience (ICE 2022)
The 17th International Conference on Software Technologies (ICSOFT 2022)
The 5th International Workshop on Blockchain Oriented Software Engineering (IWBOSE 2022)
The 24th International Conference on Coordination Models and Languages (COORDINATION 2022)
The 16th International Conference on Software Technologies (ICSOFT 2021)
The 25th International Systems and Software Product Line Conference (SPLC 2021 - Best Reviewer Award)
The 10th International Symposium, From Data to Models and Back (DataMod 2021)
The 4th International Workshop on Blockchain Oriented Software Engineering (IWBOSE 2021)
The 15th International Conference on Software Technologies (ICSOFT 2020)
The 25th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2020)
The 9th International Symposium, From Data to Models and Back (DataMod 2020)
The 24th International Systems and Software Product Line Conference (SPLC 2020 - Artifact Track)
The 24th International Systems and Software Product Line Conference (SPLC 2020 - Demonstrations, and Tools Track)
The 18th International Workshop on Assurance in Distributed Systems and Networks (ADSN 2019)
The 14th International Conference on Software Technologies (ICSOFT 2019)
The 23rd International Systems and Software Product Line Conference (SPLC 2019 - Artifact Track)
The 17th International Workshop on Assurance in Distributed Systems and Networks (ADSN 2018)

Conferences Organization:

The 16th International Working Conference on Variability Modelling of Software-Intensive System (VaMoS 2022 - Publicity Chair, Web Chair)
The 15th International Federated Conference on Distributed Computing Techniques (DisCoTec 2020 - Publicity Chair)

Pages :

National Research Council (CNR): https://www.cnr.it/people/davide.basile (my CV is available on this site)
Institute of Information Science and Technologies (ISTI): https://www.isti.cnr.it/en/about/people-detail/516/Davide_Basile
Formal Methods && Tools Lab: https://fmt.isti.cnr.it/~davidebasile (redirect to this page)
University of Pisa: http://pages.di.unipi.it/basile/
University of Florence: https://www.unifi.it/p-doc2-2018-0-A-2c3338313627-1.html
Open Portal ISTI: https://openportal.isti.cnr.it/results?qv=davide+basile (here you will find most pre-prints of my papers)
Scopus Author ID: 55960640200
WoS Researcher ID: AAX-1112-2020
Orcid ID: 0000-0002-7196-6609
LinkedIn: in/davide-basile-4179a74b info on my previous jobs and education are available here
Research Gate: Davide_Basile2
Google Scholar: GFesXY4AAAAJ
Semantic Scholar: D.-Basile/143672390
DBLP: https://dblp.org/pid/135/0129.html
Publons: AAX-1112-2020 list of verified Peer Reviews in Journals
YouTube Channel: UCBrL5bekXG1_ELLB00K7o7A this channel contains videos of my presentations at conferences and other material
GitHub Page: https://github.com/davidebasile this page contains the tools I am maintaining
BitBucket Page: https://bitbucket.org/davidebasile84/ this page contains the tools I am maintaining
Twitter Page: https://twitter.com/davidebasile/