Davide Basile

822 total citations
28 papers, 199 citations indexed

About

Davide Basile is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Information Systems. According to data from OpenAlex, Davide Basile has authored 28 papers receiving a total of 199 indexed citations (citations by other indexed papers that have themselves been cited), including 18 papers in Computational Theory and Mathematics, 15 papers in Artificial Intelligence and 12 papers in Information Systems. Recurrent topics in Davide Basile's work include Formal Methods in Verification (16 papers), Service-Oriented Architecture and Web Services (10 papers) and Advanced Software Engineering Methodologies (9 papers). Davide Basile is often cited by papers focused on Formal Methods in Verification (16 papers), Service-Oriented Architecture and Web Services (10 papers) and Advanced Software Engineering Methodologies (9 papers). Davide Basile collaborates with scholars based in Italy, Belgium and Luxembourg. Davide Basile's co-authors include Maurice H. ter Beek, Stefania Gnesi, Félicita Di Giandomenico, Pierpaolo Degano, Gian-Luigi Ferrari, Alessio Ferrari, Axel Legay, Franco Mazzanti, Alessandro Fantechi and Emilio Tuosto and has published in prestigious journals such as SHILAP Revista de lepidopterología, IEEE Transactions on Software Engineering and Nuclear Engineering and Design.

In The Last Decade

Davide Basile

26 papers receiving 194 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Davide Basile Italy 11 113 103 87 61 24 28 199
Neeraj Kumar Singh France 8 50 0.4× 79 0.8× 60 0.7× 31 0.5× 22 0.9× 27 170
Simon Bliudze Switzerland 9 115 1.0× 141 1.4× 87 1.0× 40 0.7× 71 3.0× 30 271
Alexey Khoroshilov Russia 7 69 0.6× 31 0.3× 59 0.7× 39 0.6× 48 2.0× 57 188
Matthias Güdemann Germany 7 63 0.6× 63 0.6× 78 0.9× 39 0.6× 22 0.9× 17 163
Linas Laibinis Finland 8 59 0.5× 64 0.6× 61 0.7× 33 0.5× 38 1.6× 27 140
Alvaro Miyazawa United Kingdom 9 105 0.9× 90 0.9× 97 1.1× 25 0.4× 20 0.8× 17 199
Chokri Mraidha France 9 102 0.9× 61 0.6× 93 1.1× 46 0.8× 49 2.0× 41 238
Virginie Wiels France 9 76 0.7× 87 0.8× 111 1.3× 34 0.6× 29 1.2× 25 210
Wolfgang Ahrendt Sweden 8 171 1.5× 103 1.0× 108 1.2× 60 1.0× 44 1.8× 24 248
Zoltán Micskei Hungary 8 67 0.6× 57 0.6× 125 1.4× 66 1.1× 29 1.2× 27 192

Countries citing papers authored by Davide Basile

Since Specialization
Citations

This map shows the geographic impact of Davide Basile's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Davide Basile with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Davide Basile more than expected).

Fields of papers citing papers by Davide Basile

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Davide Basile. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Davide Basile. The network helps show where Davide Basile may publish in the future.

Co-authorship network of co-authors of Davide Basile

This figure shows the co-authorship network connecting the top 25 collaborators of Davide Basile. A scholar is included among the top collaborators of Davide Basile based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Davide Basile. Davide Basile is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Basile, Davide, et al.. (2024). Time for Networks: Mutation Testing for Timed Automata Networks. Repository of the University of Namur. 44–54.
2.
Basile, Davide, et al.. (2023). A toolchain for strategy synthesis with spatial properties. International Journal on Software Tools for Technology Transfer. 25(5-6). 641–658. 4 indexed citations
3.
Basile, Davide & Maurice H. ter Beek. (2023). Research Challenges in Orchestration Synthesis. Electronic Proceedings in Theoretical Computer Science. 383. 73–90. 1 indexed citations
4.
Basile, Davide, Maurice H. ter Beek, Alessio Ferrari, & Axel Legay. (2022). Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods. International Journal on Software Tools for Technology Transfer. 24(3). 351–370. 11 indexed citations
5.
Basile, Davide & Maurice H. ter Beek. (2022). Contract Automata Library. Science of Computer Programming. 221. 102841–102841. 5 indexed citations
6.
Ferrari, Alessio, Franco Mazzanti, Davide Basile, & Maurice H. ter Beek. (2021). Systematic Evaluation and Usability Analysis of Formal Methods Tools for Railway Signaling System Design. IEEE Transactions on Software Engineering. 48(11). 4675–4691. 19 indexed citations
7.
Basile, Davide, et al.. (2021). Analysing an autonomous tramway positioning system with the Uppaal Statistical Model Checker. Formal Aspects of Computing. 33(6). 957–987. 10 indexed citations
8.
Basile, Davide, Maurice H. ter Beek, & Rosario Pugliese. (2020). Synthesis of orchestrations and choreographies: Bridging the gap between supervisory control and coordination of services. SHILAP Revista de lepidopterología. 5 indexed citations
9.
Ferrari, Alessio, Franco Mazzanti, Davide Basile, Maurice H. ter Beek, & Alessandro Fantechi. (2020). Comparing formal tools for system design. ISTI Open Portal. 62–74. 11 indexed citations
10.
Basile, Davide, Maurice H. ter Beek, Pierpaolo Degano, et al.. (2019). Controller synthesis of service contracts with variability. Science of Computer Programming. 187. 102344–102344. 11 indexed citations
11.
Basile, Davide, Maurice H. ter Beek, & Stefania Gnesi. (2018). Modelling and analysis with featured modal contract automata. ISTI Open Portal. 11–16. 3 indexed citations
12.
Basile, Davide, Félicita Di Giandomenico, Stefania Gnesi, Pierpaolo Degano, & Gian-Luigi Ferrari. (2017). Specifying variability in service contracts. CINECA IRIS Institutial research information system (University of Pisa). 20–27. 10 indexed citations
13.
Basile, Davide, Félicita Di Giandomenico, & Stefania Gnesi. (2017). Enhancing Models Correctness through Formal Verification: A Case Study from the Railway Domain. ISTI Open Portal. 679–686. 1 indexed citations
14.
Basile, Davide, Félicita Di Giandomenico, & Stefania Gnesi. (2017). Statistical model checking of an energy-saving cyber-physical system in the railway domain. ISTI Open Portal. 1356–1363. 12 indexed citations
15.
Basile, Davide, Maurice H. ter Beek, Félicita Di Giandomenico, & Stefania Gnesi. (2017). Orchestration of Dynamic Service Product Lines with Featured Modal Contract Automata. ISTI Open Portal. 117–122. 7 indexed citations
16.
Basile, Davide, Pierpaolo Degano, & Gian-Luigi Ferrari. (2016). Automata for specifying and orchestrating service contracts. ISTI Open Portal. 13 indexed citations
17.
Basile, Davide, Pierpaolo Degano, Gian-Luigi Ferrari, & Emilio Tuosto. (2015). Relating two automata-based models of orchestration and choreography. Journal of Logical and Algebraic Methods in Programming. 85(3). 425–446. 12 indexed citations
18.
Basile, Davide, Pierpaolo Degano, & Gian-Luigi Ferrari. (2014). Automata for Service Contracts. CINECA IRIS Institutial research information system (University of Pisa). 1 indexed citations
19.
Basile, Davide, Pierpaolo Degano, & Gian-Luigi Ferrari. (2014). A formal framework for secure and complying services. The Journal of Supercomputing. 69(1). 43–52. 2 indexed citations
20.
Basile, Davide, et al.. (1968). Experimental study on the vibrations of various fuel rod models in parallel flow. Nuclear Engineering and Design. 7(6). 517–534. 18 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Neeraj Kumar Singh Breakdown of academic impact, for papers by Simon Bliudze Breakdown of academic impact, for papers by Alexey Khoroshilov Breakdown of academic impact, for papers by Matthias Güdemann Breakdown of academic impact, for papers by Linas Laibinis Breakdown of academic impact, for papers by Alvaro Miyazawa Breakdown of academic impact, for papers by Chokri Mraidha Breakdown of academic impact, for papers by Virginie Wiels Breakdown of academic impact, for papers by Wolfgang Ahrendt Breakdown of academic impact, for papers by Zoltán Micskei
Rankless by CCL
2026