2026 Orna Grumberg: Computer Science Researcher – H-Index, Publications & Awards

Discipline name	D-Index	World Ranking	Current World Ranking	National Ranking	Current National Ranking	Publications	Citations
Computer Science	53	4685	4553	76	72	177	21726

Research.com Recognitions

2015 - ACM Fellow For contributions to research in automated formal verification of hardware and software systems.
2013 - Member of Academia Europaea

Overview

Orna Grumberg is affiliated with the Technion - Israel Institute of Technology in Israel. Their research primarily focuses on computer science, with a strong emphasis on formal methods in verification and software testing. The work also spans artificial intelligence, computational theory and mathematics, information systems, and computer networks and communications.

The main topics covered in their research include:

Formal Methods in Verification
Software Testing and Debugging Techniques
Logic, Programming, and Type Systems
Software Reliability and Analysis Research
Model-Driven Software Engineering Techniques
Machine Learning and Algorithms
Software Engineering Research

Frequent collaborative partners in their publications consist of Sarai Sheinvald, Hadar Frenkel, Bat-Chen Rothenberg, Corina S. Păsăreanu, and Mishel Carelli.

Key venues for publishing their research include:

arXiv (Cornell University)
International Journal on Software Tools for Technology Transfer
Formal Methods in System Design

The following are some notable recent papers by Orna Grumberg with publication year and venue:

"Assume, guarantee or repair: a regular framework for non regular properties," 2022, International Journal on Software Tools for Technology Transfer
"Assume, Guarantee or Repair -- A Regular Framework for Non Regular Properties (full version)," 2022, arXiv (Cornell University)
"Modular Verification of Concurrent Programs via Sequential Model Checking," 2021, arXiv (Cornell University)
"CTL* Verification and Synthesis using Existential Horn Clauses," 2024, arXiv (Cornell University)
"Variable automata over infinite alphabets," 2025, Formal Methods in System Design

Orna Grumberg has been recognized as an ACM Fellow in 2015 for contributions to research in automated formal verification of hardware and software systems. Additionally, they became a member of Academia Europaea in 2013.

Best Publications

Model checking

E. Clarke;O. Grumberg;D. Long

7490
Citations
Model checking and abstraction

Edmund M. Clarke;Orna Grumberg;David E. Long

2794
Citations
Counterexample-guided abstraction refinement for symbolic model checking

Edmund Clarke;Orna Grumberg;Somesh Jha;Yuan Lu

1279
Citations
Model checking and modular verification

Orna Grumberg;David E. Long

960
Citations
Characterizing finite Kripke structures in propositional temporal logic

M. C. Browne;E. M. Clarke;O. Grümberg

609
Citations
Abstract interpretation of reactive systems

Dennis Dams;Rob Gerth;Orna Grumberg

567
Citations
Verification Tools for Finite-State Concurrent Systems

Edmund M. Clarke;Orna Grumberg;David E. Long

456
Citations
Another Look at LTL Model Checking

Edmund M. Clarke;Orna Grumberg;Kiyoharu Hamaguchi

449
Citations
Efficient Generation of Counterexamples and Witnesses in Symbolic Model Checking

E. M. Clarke;O. Grumberg;K. L. McMillan;X. Zhao

346
Citations
Reasoning about networks with many identical finite-state processes

E. M. Clarke;O. Grumberg;M. C. Browne

341
Citations
Progress on the State Explosion Problem in Model Checking

Edmund M. Clarke;Orna Grumberg;Somesh Jha;Yuan Lu

337
Citations
Verification of the Futurebus+ Cache Coherence Protocol

Edmund M. Clarke;Orna Grumberg;Hiromi Hiraishi;Somesh Jha

262
Citations
State space reduction using partial order techniques

Edmund M. Clarke;Orna Grumberg;Marius Minea;Doron A. Peled

262
Citations
Reasoning about networks with many identical finite state processes

M. C. Browne;E. M. Clarke;O. Grumberg

249
Citations
Efficient on-the-fly model checking for CTL

G. Bhat;R. Cleaveland;O. Grumberg

221
Citations
Avoiding the state explosion problem in temporal logic model checking

E. M. Clarke;O. Grumberg

202
Citations
A game-based framework for CTL counterexamples and 3-valued abstraction-refinement

Sharon Shoham;Orna Grumberg

200
Citations
Verification of the Futurebus+ cache coherence protocol

Edmund M. Clarke;Orna Grumberg;Hiromi Hiraishi;Somesh Jha

184
Citations
25 Years of Model Checking: History, Achievements, Perspectives

Orna Grumberg;Helmut Veith

171
Citations
Model checking

Unknown

169
Citations
25 Years of Model Checking

Orna Grumberg;Helmut Veith

154
Citations
Counterexample-Guide dAbstractio nRefinemen t ?

Edmund Clarke;Orna Grumberg;Somesh Jha;Yuan Lu

22
Citations

Frequent Co-Authors

Edmund M. Clarke Carnegie Mellon University

Assaf Schuster Technion – Israel Institute of Technology

Nissim Francez Technion – Israel Institute of Technology

Shmuel Katz Technion – Israel Institute of Technology

Helmut Veith TU Wien

Orna Kupferman Hebrew University of Jerusalem

Somesh Jha University of Wisconsin–Madison

Moshe Y. Vardi Rice University

Martin Leucker University of Lübeck

Kenneth L. McMillan Microsoft (United States)

External Links

Wikipedia of Orna Grumberg Personal website of Orna Grumberg Google Scholar page

If you think any of the details on this page are incorrect, let us know.

Related Online Degrees & Career Pathways

Exploring Computer Science opens doors to a range of related fields that can be pursued online. For those interested in digital safety, online cybersecurity degree programs offer flexible and affordable pathways to careers protecting vital digital infrastructure.

The field of technology also has crossover with industries like construction and finance. For example, professionals who understand both tech and management may benefit from a construction management degree to oversee tech-driven projects and site operations.

Law enforcement and information security often intersect. Those considering a criminal justice career can find budget-friendly options through a cheap criminal justice degree program, some of which are offered entirely online.

For students interested in business and tech, the cheapest accredited online accounting degree can lead to roles managing financial systems or working in fintech.

Whatever your interest, there are numerous online programs supporting unique career pathways that complement a background in Computer Science.