Marcelo d’Amorim

2.0k total citations
67 papers, 1.1k citations indexed

About

Marcelo d’Amorim is a scholar working on Software, Information Systems and Artificial Intelligence. According to data from OpenAlex, Marcelo d’Amorim has authored 67 papers receiving a total of 1.1k indexed citations (citations by other indexed papers that have themselves been cited), including 47 papers in Software, 39 papers in Information Systems and 17 papers in Artificial Intelligence. Recurrent topics in Marcelo d’Amorim's work include Software Testing and Debugging Techniques (46 papers), Software Engineering Research (34 papers) and Software Reliability and Analysis Research (29 papers). Marcelo d’Amorim is often cited by papers focused on Software Testing and Debugging Techniques (46 papers), Software Engineering Research (34 papers) and Software Reliability and Analysis Research (29 papers). Marcelo d’Amorim collaborates with scholars based in Brazil, United States and Germany. Marcelo d’Amorim's co-authors include Klaus Havelund, Darko Marinov, Rui Abreu, Alessandro Orso, Corina S. Păsăreanu, Breno Miranda, Michael D. Ernst, Grigore Roşu, Gustavo Pinto and Mattia Fazzini and has published in prestigious journals such as IEEE Transactions on Software Engineering, European Radiology and IEEE Transactions on Reliability.

In The Last Decade

Marcelo d’Amorim

60 papers receiving 1.0k citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Marcelo d’Amorim Brazil 20 728 619 315 271 215 67 1.1k
Christoph Csallner United States 17 1.0k 1.4× 853 1.4× 240 0.8× 244 0.9× 211 1.0× 47 1.3k
Neha Rungta United States 14 747 1.0× 530 0.9× 201 0.6× 146 0.5× 172 0.8× 47 905
Giovanni Denaro Italy 17 726 1.0× 673 1.1× 230 0.7× 336 1.2× 85 0.4× 68 960
Muzammil Shahbaz United Kingdom 9 663 0.9× 422 0.7× 201 0.6× 165 0.6× 112 0.5× 15 839
Thomas Dillig United States 14 433 0.6× 349 0.6× 452 1.4× 162 0.6× 154 0.7× 22 782
Cemal Yılmaz Türkiye 17 634 0.9× 493 0.8× 347 1.1× 345 1.3× 194 0.9× 68 1.0k
Qirun Zhang United States 13 517 0.7× 395 0.6× 202 0.6× 110 0.4× 259 1.2× 31 680
Moonzoo Kim South Korea 20 947 1.3× 615 1.0× 230 0.7× 276 1.0× 142 0.7× 52 1.2k
Christopher Henard Luxembourg 13 756 1.0× 578 0.9× 402 1.3× 186 0.7× 70 0.3× 16 961
Suzette Person United States 13 824 1.1× 627 1.0× 160 0.5× 165 0.6× 168 0.8× 40 1.0k

Countries citing papers authored by Marcelo d’Amorim

Since Specialization
Citations

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

Fields of papers citing papers by Marcelo d’Amorim

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Marcelo d’Amorim

This figure shows the co-authorship network connecting the top 25 collaborators of Marcelo d’Amorim. A scholar is included among the top collaborators of Marcelo d’Amorim 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 Marcelo d’Amorim. Marcelo d’Amorim 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.
2.
Pasquale, Liliana, Antonino Sabetta, Marcelo d’Amorim, et al.. (2025). Challenges to Using Large Language Models in Code Generation and Repair. IEEE Security & Privacy. 23(2). 81–88. 1 indexed citations
3.
d’Amorim, Marcelo, et al.. (2025). Faster Explicit-Trace Monitoring-Oriented Programming for Runtime Verification of Software Tests. Proceedings of the ACM on Programming Languages. 9(OOPSLA2). 3696–3725.
4.
5.
6.
d’Amorim, Marcelo, et al.. (2024). The Effects of Computational Resources on Flaky Tests. IEEE Transactions on Software Engineering. 50(12). 3104–3121. 1 indexed citations
7.
d’Amorim, Marcelo, et al.. (2024). The Effects of Computational Resources on Flaky Tests. 101–101.
8.
d’Amorim, Marcelo, et al.. (2024). ChatAssert: LLM-Based Test Oracle Generation With External Tools Assistance. IEEE Transactions on Software Engineering. 51(1). 305–319. 2 indexed citations
9.
Bonifácio, Rodrigo, et al.. (2023). Runtime Verification of Crypto APIs: An Empirical Study. IEEE Transactions on Software Engineering. 49(10). 4510–4525.
10.
Stocco, Andrea, et al.. (2022). ThirdEye: Attention Maps for Safe Autonomous Driving Systems. 1–12. 30 indexed citations
11.
d’Amorim, Marcelo, et al.. (2017). Test suite parallelization in open-source projects: A study on its usage and impact. 838–848. 17 indexed citations
12.
d’Amorim, Marcelo, et al.. (2013). Efficient static checker for tainted variable attacks. Science of Computer Programming. 80. 91–105. 6 indexed citations
13.
d’Amorim, Marcelo, et al.. (2009). Optimized Execution of Deterministic Blocks in Java PathFinder. Illinois Digital Environment for Access to Learning and Scholarship (University of Illinois at Urbana-Champaign).
14.
Gheyi, Rohit, et al.. (2009). A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing. 56–65. 3 indexed citations
15.
Zhou, Yuanyuan, et al.. (2007). Delta execution for software reliability. 16. 11 indexed citations
16.
Marinov, Darko & Marcelo d’Amorim. (2007). Efficient explicit-state model checking for programs with dynamically allocated data. European Radiology. 31(1). 8–10. 5 indexed citations
17.
d’Amorim, Marcelo, et al.. (2007). Delta execution for efficient state-space exploration of object-oriented programs. 50–60. 22 indexed citations
18.
d’Amorim, Marcelo & Grigore Roşu. (2005). An Equational Specification for the Scheme Language. Illinois Digital Environment for Access to Learning and Scholarship (University of Illinois at Urbana-Champaign). 10 indexed citations
19.
d’Amorim, Marcelo & Klaus Havelund. (2005). Event-based runtime verification of java programs. ACM SIGSOFT Software Engineering Notes. 30(4). 1–7. 70 indexed citations
20.
d’Amorim, Marcelo, et al.. (2005). Automatic and Precise Dimensional Analysis. Illinois Digital Environment for Access to Learning and Scholarship (University of Illinois at Urbana-Champaign). 1 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 Christoph Csallner Breakdown of academic impact, for papers by Neha Rungta Breakdown of academic impact, for papers by Giovanni Denaro Breakdown of academic impact, for papers by Muzammil Shahbaz Breakdown of academic impact, for papers by Thomas Dillig Breakdown of academic impact, for papers by Cemal Yılmaz Breakdown of academic impact, for papers by Qirun Zhang Breakdown of academic impact, for papers by Moonzoo Kim Breakdown of academic impact, for papers by Christopher Henard Breakdown of academic impact, for papers by Suzette Person
Rankless by CCL
2026