Concepedia

O. Grumberg

OG

Statistics

Publications

3

Citations

238

H-Index

3

Active since

1992

Affiliations

Technion – Israel Institute of Technology(Current)

Carnegie Mellon University

O. Grumberg is an author at Technion – Israel Institute of Technology specializing in computer science, formal methods, and engineering.

Top concepts

Publications per year

1992–2003

3

Publications

3

State space reduction using partial order techniques

E. M. Clarke, O. Grumberg, Marius Minea et al. · International Journal on Software Tools for Technology Transfer · 1999 · 194 citations

, , +6

Learning to Order BDD Variables in Verification

O. Grumberg, S. Livne, Shaul Markovitch · Journal of Artificial Intelligence Research · 2003 · 34 citations · Full text

, , +17

A Synthesis of Two Approaches for Verifying Finite State Concurrent Systems

Edmund M. Clarke, O. Grumberg, Robert P. Kurshan · Journal of Logic and Computation · 1992 · 10 citations

, , +16

1–3 of 3