Concepedia

Orna Grümberg

OG

Statistics

Publications

37

Citations

12.9K

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 computer science, computing, and formal methods.

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

Computing, Computer Engineering, Computer Science +14

Counterexample-guided abstraction refinement for symbolic model checking

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

Computing, Computer Engineering, Computer Science +13

Model checking and modular verification

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

Computing, Computer Science, Computer Systems +16

Characterizing finite Kripke structures in propositional temporal logic

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

Humanities, Computer Science, Mathematics +12

1–5 of 37