Concepedia

Orna Grümberg

OG

37

Publications

12.8K

Citations

26

H-Index

1984

Active since

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

Rows per page

1–5 of 37