Concepedia

Orna Grümberg

OG

Statistics

Publications

37

Citations

12.8K

H-Index

26

Active since

1984

Affiliations

Technion – Israel Institute of Technology(Current)

Carnegie Mellon University

The University of Texas at Austin

IBM Research - Haifa

Orna Grümberg is an author at Technion – Israel Institute of Technology specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsFormal VerificationVerificationProgram AnalysisSystems EngineeringSoftware AnalysisComputer Engineering

Publications per year

1984–2017

37

Publications

37

Model checking

E. M. Clarke, Orna Grümberg, D. Long · 1996 · 6.9K citations

Model checking and abstraction

Edmund M. Clarke, Orna Grümberg, David E. Long · ACM Transactions on Programming Languages and Systems · 1994 · 1.2K citations · Full text

Program Checking, Engineering, Verification +16

Counterexample-guided abstraction refinement for symbolic model checking

Edmund M. Clarke, Orna Grümberg, Somesh Jha et al. · Journal of the ACM · 2003 · 974 citations

Program Checking, Engineering, Verification +20

Model checking and modular verification

Orna Grümberg, David E. Long · ACM Transactions on Programming Languages and Systems · 1994 · 525 citations · Full text

Logic Ctl, Engineering, Automated Reasoning +14

Characterizing finite Kripke structures in propositional temporal logic

M. C. Browne, E. M. Clarke, Orna Grümberg · Theoretical Computer Science · 1988 · 415 citations

Finite Kripke Structures, Engineering, Automated Reasoning +4

1–5 of 37