Scholar

Orna Grumberg

Google Scholar ID: ZPed8YYAAAAJ

Professor of Computer Science, Technion

Formal verificationmodel checking

Google Scholar↗

Citations & Impact

All-time

Citations

34,065

H-index

55

i10-index

126

Publications

20

Co-authors

0

Contact

No contact links provided.

Publications

2 items

Bit-Precise CHC Satisfiability Using Theory-Modular Reasoning

2026

Cited

0

STACHE: Local Black-Box Explanations for Reinforcement Learning Policies

2025

Cited

0

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)