Scholar
Rafael Menezes
Google Scholar ID: HW3Ho1AAAAAJ
The University of Manchester, Universidade Federal do Amazonas
Formal Methods
Automated Reasoning
Static Analysis
Automated verification
Model Checking
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
176
H-index
8
i10-index
7
Publications
20
Co-authors
2
list available
Contact
No contact links provided.
Publications
1 items
Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification
2026
Cited
0
Resume (English only)
Co-authors
2 total
Lucas C. Cordeiro
Professor of Computer Science, University of Manchester
Co-author 2