Claudio Menghi

779 total citations
51 papers, 365 citations indexed

About

Claudio Menghi is a scholar working on Artificial Intelligence, Software and Computational Theory and Mathematics. According to data from OpenAlex, Claudio Menghi has authored 51 papers receiving a total of 365 indexed citations (citations by other indexed papers that have themselves been cited), including 31 papers in Artificial Intelligence, 29 papers in Software and 25 papers in Computational Theory and Mathematics. Recurrent topics in Claudio Menghi's work include Formal Methods in Verification (25 papers), Advanced Software Engineering Methodologies (21 papers) and Software Testing and Debugging Techniques (13 papers). Claudio Menghi is often cited by papers focused on Formal Methods in Verification (25 papers), Advanced Software Engineering Methodologies (21 papers) and Software Testing and Debugging Techniques (13 papers). Claudio Menghi collaborates with scholars based in Italy, Canada and Luxembourg. Claudio Menghi's co-authors include Patrizio Pelliccione, Carlo Ghezzi, Thorsten Berger, Christos Tsigkanos, Lionel Briand, Shiva Nejati, Liliana Pasquale, Bashar Nuseibeh, Paola Spoletini and Tomáš Bureš and has published in prestigious journals such as IEEE Transactions on Software Engineering, Information and Software Technology and ACM Transactions on Software Engineering and Methodology.

In The Last Decade

Claudio Menghi

46 papers receiving 357 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Claudio Menghi Italy	12	172	171	107	95	67	51	365
Ramesh Bharadwaj United States	8	227 1.3×	146 0.9×	192 1.8×	104 1.1×	72 1.1×	38	399
Yunwei Dong China	8	140 0.8×	64 0.4×	54 0.5×	64 0.7×	45 0.7×	81	280
Ylìès Falcone France	12	177 1.0×	275 1.6×	285 2.7×	48 0.5×	167 2.5×	40	484
Pierre Bieber France	11	93 0.5×	135 0.8×	78 0.7×	84 0.9×	92 1.4×	28	312
Cristina Seceleanu Sweden	11	161 0.9×	159 0.9×	183 1.7×	71 0.7×	81 1.2×	86	416
Ludovic Apvrille France	12	74 0.4×	138 0.8×	40 0.4×	132 1.4×	123 1.8×	52	402
Gehan Selim Canada	9	241 1.4×	117 0.7×	37 0.3×	182 1.9×	102 1.5×	17	393
Yaniv Saʼar Israel	8	154 0.9×	141 0.8×	245 2.3×	35 0.4×	80 1.2×	12	368
Lee Pike United States	11	70 0.4×	117 0.7×	105 1.0×	37 0.4×	71 1.1×	32	267
Sanjai Rayadurgam United States	13	384 2.2×	130 0.8×	215 2.0×	117 1.2×	52 0.8×	48	503

Countries citing papers authored by Claudio Menghi

Since Specialization

Citations

This map shows the geographic impact of Claudio Menghi'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 Claudio Menghi with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Claudio Menghi more than expected).

Fields of papers citing papers by Claudio Menghi

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Claudio Menghi. 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 Claudio Menghi. The network helps show where Claudio Menghi may publish in the future.

Co-authorship network of co-authors of Claudio Menghi

This figure shows the co-authorship network connecting the top 25 collaborators of Claudio Menghi. A scholar is included among the top collaborators of Claudio Menghi 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 Claudio Menghi. Claudio Menghi is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Pantelic, Vera, et al.. (2025). Can Generative AI Produce Test Cases? An Experience from the Automotive Domain. Aisberg (University of Bergamo). 456–467.

Menghi, Claudio, et al.. (2025). Assessing the Usefulness of Assurance Cases: Experience With the Large Hadron Collider. Systems Engineering. 29(1). 99–113.

Gargantini, Angelo, et al.. (2025). Theano: A Tool for Verifying the Consistency and Completeness in Tabular Requirements. Aisberg (University of Bergamo). 1148–1152.

Menghi, Claudio, et al.. (2024). AI-Supported Eliminative Argumentation: Practical Experience Generating Defeaters to Increase Confidence in Assurance Cases. Aisberg (University of Bergamo). 284–294. 3 indexed citations

Menghi, Claudio, et al.. (2024). Supporting Change Impact Assessment with LLMs. Aisberg (University of Bergamo). 203–204.

Nejati, Shiva, et al.. (2023). Reflections on Surrogate-Assisted Search-Based Testing: A Taxonomy and Two Replication Studies based on Industrial ADAS and Simulink Models. Information and Software Technology. 163. 107286–107286. 11 indexed citations

Menghi, Claudio, et al.. (2023). Supporting Assurance Case Development Using Generative AI. SPIRE - Sciences Po Institutional REpository. 2 indexed citations

Menghi, Claudio, et al.. (2023). Trace Diagnostics for Signal-Based Temporal Properties. IEEE Transactions on Software Engineering. 49(5). 3131–3154. 3 indexed citations

Menghi, Claudio, Paolo Arcaini, Gidon Ernst, et al.. (2023). ARCH-COMP23 Category Report: Falsification. EPiC series in computing. 96. 151–131. 5 indexed citations

10.

Menghi, Claudio, et al.. (2023). Search-Based Software Testing Driven by Automatically Generated and Manually Defined Fitness Functions. ACM Transactions on Software Engineering and Methodology. 33(2). 1–37. 7 indexed citations

11.

Cardoso, Rafael C., et al.. (2021). Agents and Robots for Reliable Engineered Autonomy:A Perspective from the Organisers of AREA 2020. Journal of Sensor and Actuator Networks. 10(2). 33–33. 1 indexed citations

12.

Tsigkanos, Christos, Claudio Menghi, Radu Călinescu, et al.. (2021). RoboMAX: Robotic Mission Adaptation eXemplars. Aisberg (University of Bergamo). 245–251. 11 indexed citations

13.

Menghi, Claudio, et al.. (2021). ThEodorE: a Trace Checker for CPS Properties. Aisberg (University of Bergamo). 183–184. 1 indexed citations

14.

Menghi, Claudio, et al.. (2020). Approximation-refinement testing of compute-intensive cyber-physical models. Aisberg (University of Bergamo). 372–384. 33 indexed citations

15.

Menghi, Claudio, et al.. (2020). Mind the gap. Open Repository and Bibliography (University of Luxembourg). 55–65. 3 indexed citations

16.

Pelliccione, Patrizio, et al.. (2020). PROMISE. Open Repository and Bibliography (University of Luxembourg). 201. 5–8. 8 indexed citations

17.

Menghi, Claudio, et al.. (2019). On Explainability and its Characterization. RWTH Publications (RWTH Aachen). 1 indexed citations

18.

Menghi, Claudio, et al.. (2019). MAPmAKER: Performing Multi-Robot LTL Planning under Uncertainty. Aisberg (University of Bergamo). 124. 1–4. 1 indexed citations

19.

Menghi, Claudio, Paola Spoletini, & Carlo Ghezzi. (2017). COVER: Change-based goal verifier and reasoner. Aisberg (University of Bergamo). 1796. 2 indexed citations

20.

Pasquale, Liliana, Carlo Ghezzi, Claudio Menghi, Christos Tsigkanos, & Bashar Nuseibeh. (2014). Topology aware adaptive security. Open Research Online (The Open University). 43–48. 25 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