2022 · Pedro Orvalho, Mikoláš Janota, et al. · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) · 11

AlloyMax: bringing maximum satisfaction to relational specifications

2021 · Changjian Zhang, Ryan Wagner, et al. · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) · 10

PDF

GitSEED: A Git-backed Automated Assessment Tool for Software Engineering and Programming Education

2024 · Pedro Orvalho, Mikolás Janota, et al. · ACM Virtual Global Computing Education Conference (SIGCSE Virtual) · 9

cfaults: Model-Based Diagnosis for Fault Localization in C with Multiple Test Cases

2024 · Pedro Orvalho, Mikoláš Janota, et al. · Lecture notes in computer science · 8

PDF

InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments

2022 · Orvalho, Pedro, Janota, Mikoláš, et al. · arXiv (Cornell University) · 7

PDF

Graph Neural Networks for Mapping Variables Between Programs

2023 · Pedro Orvalho, Jelle Piepenbrock, et al. · Frontiers in artificial intelligence and applications · 6

PDF

MENTOR: Fixing introductory programming assignments with formula-based fault localization and LLM-driven program repair

2025 · Pedro Orvalho, Mikoláš Janota, et al. · Journal of Systems and Software · 4

MultIPAs: Applying Program Transformations to Introductory Programming Assignments for Data Augmentation

2022 · Pedro Orvalho, Mikoláš Janota, et al. · Artifact Digital Object Group · 4

PyVeritas: On Verifying Python via LLM-Based Transpilation and Bounded Model Checking for C

2025 · Orvalho, Pedro, Kwiatkowska, Marta · arXiv (Cornell University) · 3

PDF

InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments

2025 · Pedro Orvalho, Mikoláš Janota, et al. · Journal of Systems and Software · 3

Invaastcluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments

2023 · Pedro Orvalho, Mikoláš Janota, et al. · SSRN Electronic Journal · 2

MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku

2026 · Orvalho, Pedro, Alenyà, Guillem, et al. · arXiv (Cornell University) · 1

PDF

Can Automated Feedback Turn Students into Happy Prologians?

2026 · Ricardo Brancas, Pedro Orvalho, et al. · Electronic Proceedings in Theoretical Computer Science

PDF

What Bugs Do Prolog Students Write? An Empirical Taxonomy and Data-Driven Mutation Framework

2026 · Ricardo Brancas, Pedro Orvalho, et al. · Electronic Proceedings in Theoretical Computer Science

PDF

Reliable Reasoning with Large Language Models via Preference-Based Maximum Satisfiability

2026 · Orvalho, Pedro, Kwiatkowska, Marta, et al. · arXiv (Cornell University)

PDF

Model-Based Diagnosis with Multiple Observations: A Unified Approach for C Software and Boolean Circuits

2025 · Orvalho, Pedro, Kwiatkowska, Marta, et al. · arXiv (Cornell University)

PDF

MENTOR: Fixing Introductory Programming Assignments With Formula-Based Fault Localization and LLM-Driven Program Repair

2025 · Orvalho, Pedro, Janota, Mikoláš, et al. · Zenodo (CERN European Organization for Nuclear Research)

UpMax: User Partitioning for MaxSAT

2023 · Orvalho, Pedro, Manquinho, Vasco, et al. · arXiv (Cornell University)

PDF

Works count: 27

Citation count: 144

H-index: 8

I10-index: 7