Pedro Orvalho
Scholar

Pedro Orvalho

Google Scholar ID: FfqinEsAAAAJ
University of Oxford
Automated ReasoningAutomated VerificationProgram RepairComputer-aided Education
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
160
 
H-index
8
 
i10-index
7
 
Publications
18
 
Co-authors
12
list available
Contact
Emailpmorvalho@gmail.comCVOpen ↗GitHubOpen ↗LinkedInOpen ↗
Publications
6 items
Model-Based Diagnosis with Multiple Observations: A Unified Approach for C Software and Boolean Circuits
2025
Cited
0
PyVeritas: On Verifying Python via LLM-Based Transpilation and Bounded Model Checking for C
2025
Cited
0
Are Large Language Models Robust in Understanding Code Against Semantics-Preserving Mutations?
2025
Cited
0
Can Automated Feedback Turn Students into Happy Prologians?
2025
Cited
0
CFaults: Model-Based Diagnosis for Fault Localization in C Programs with Multiple Test Cases
World Congress on Formal Methods · 2024
Cited
2
InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments
arXiv.org · 2022
Cited
7
Resume (English only)
Co-authors
12 total
Vasco Manquinho
Vasco Manquinho
INESC-ID, Instituto Superior Técnico - Universidade de Lisboa
Mikoláš Janota
Mikoláš Janota
CTU Prague
Ruben Martins
Ruben Martins
Carnegie Mellon University
Co-author 4
Co-author 4
Jelle Piepenbrock
Jelle Piepenbrock
Eindhoven University of Technology
Eunsuk Kang
Eunsuk Kang
Associate Professor of Computer Science, Carnegie Mellon University
David Garlan
David Garlan
Professor of Computer Science, Carnegie Mellon University
Co-author 8
Co-author 8