Scholar
Grigore Rosu
Google Scholar ID: yxpqbdQAAAAJ
University of Illinois at Urbana Champaign
Formal Methods
Programming Languages
Software Engineering
Runtime Verification
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
16,556
H-index
68
i10-index
212
Publications
20
Co-authors
46
list available
Publications
5 items
Evaluating Exact Output and Checkpoint-State Prediction in Real Programs
2026
Cited
0
From Verification Failures to Reusable Guidance for Coding Agents
2026
Cited
0
Completeness and incompleteness of basic matching logic
2026
Cited
0
Circular Induction
2026
Cited
0
FastSet: Parallel Claim Settlement
2025
Cited
0
Co-authors
8 total
Dorel Lucanu
Professor of Computer Science, Alexandru Ioan Cuza University, Iasi, RO
Jose Meseguer
Professor of Computer Science, University of Illinois at Urbana-Champaign
Koushik Sen
Professor of Computer Science, University of California, Berkeley
Jeff Huang
Professor, Computer Science and Engineering
Corina Pasareanu
CMU/NASA Ames
Cyrille Artho
KTH Royal Institute of Technology, Sweden
Andrei Arusoaie
Associate Professor at Faculty of Computer Science, Alexandru Ioan Cuza University
Vlad Rusu
Inria
