Marcelo d’Amorim
- Software top 0.5%
- Software Testing and Debugging Techniques 46
- Software Reliability and Analysis Research 29
- Information Systems top 1%
- Software Engineering Research 34
- Signal Processing top 5%
- Advanced Malware Detection Techniques 12
- Hardware and Architecture top 10%
-
- Software System Performance and Reliability 7
-
- Formal Methods in Verification 13
-
- Advanced Software Engineering Methodologies 6
- Logic, programming, and type systems 5
- Co-authors
- Klaus HavelundDarko MarinovRui AbreuAlessandro OrsoCorina S. PăsăreanuBreno MirandaMichael D. ErnstGrigore Roşu
- Journals
- IEEE Transactions on Software Engineering (6 papers)European Radiology (1 paper)IEEE Transactions on Reliability (1 paper)
- Partner nations
- BrazilUnited StatesGermany
In The Last Decade
Marcelo d’Amorim
60 papers receiving 1.0k citations
Peers
Comparison fields: 5 of 42
- Software 728
- Information Systems 619
- Signal Processing 215
- Hardware and Architecture 80
- Computer Networks and Communications 271
Countries citing papers authored by Marcelo d’Amorim
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
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
The 25 scholars most cited alongside Marcelo d’Amorim, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
| # | Work | ||
|---|---|---|---|
| 1 | 2025 | 0 | |
| 2 | 2025 | 1 | |
| 3 | 2025 | 0 | |
| 4 | 2024 | 12 | |
| 5 | 2024 | 6 | |
| 6 | 2024 | 1 | |
| 7 | 2024 | 0 | |
| 8 | 2024 | 2 | |
| 9 | 2023 | 0 | |
| 10 | 2022 | 30 | |
| 11 | 2017 | 17 | |
| 12 | 2013 | 6 | |
| 13 | Optimized Execution of Deterministic Blocks in Java PathFinder | 2009 | 0 |
| 14 | A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing | 2009 | 3 |
| 15 | Delta execution for software reliability | 2007 | 11 |
| 16 | 2007 | 5 | |
| 17 | 2007 | 22 | |
| 18 | An Equational Specification for the Scheme Language | 2005 | 10 |
| 19 | 2005 | 70 | |
| 20 | Automatic and Precise Dimensional Analysis | 2005 | 1 |
About Marcelo d’Amorim
Marcelo d’Amorim is a scholar working on Software, Information Systems and Signal Processing, having authored 67 papers that have together received 1.1k indexed citations. Recurring topics across this work include Software Testing and Debugging Techniques (46 papers), Software Engineering Research (34 papers), Software Reliability and Analysis Research (29 papers), Formal Methods in Verification (13 papers), Advanced Malware Detection Techniques (12 papers), Software System Performance and Reliability (7 papers), Advanced Software Engineering Methodologies (6 papers) and Logic, programming, and type systems (5 papers). The work is most often cited by research in Software (728 citations), Information Systems (619 citations) and Signal Processing (215 citations). Marcelo d’Amorim has collaborated with scholars based in Brazil, United States and Germany. Frequent 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. Their work appears in journals such as IEEE Transactions on Software Engineering, European Radiology and IEEE Transactions on Reliability.
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.