Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Orna Grümberg | Researchclopedia

Back to researchers

Orna Grümberg

Technion – Israel Institute of Technology ORCID

198

Works

17,272

Citations

42

h-index

97

i10-index

Research Topics

Formal Methods in Verification Logic, programming, and type systems Software Testing and Debugging Techniques

Affiliations

AT&T (United States)1993–1993

North Carolina State University2002–2002

Technion – Israel Institute of Technology1984–2025

Laboratoire d'Informatique de Paris-Nord1989–2005

Nokia (United States)1993–1993

Top Works

E. M. Clarke,Orna Grümberg,et al.

19966,878 citations

Model-Driven Software Engineering Techniques

Software Reliability and Analysis Research

Counterexample-Guided Abstraction Refinement

Edmund M. Clarke,Orna Grümberg,et al.

20001,653 citations

Model checking and abstraction

Edmund M. Clarke,Orna Grümberg,et al.

19941,209 citations

Counterexample-guided abstraction refinement for symbolic model checking

Edmund M. Clarke,Orna Grümberg,et al.

2003976 citations

Model checking and modular verification

Orna Grümberg,David E. Long

1994526 citations

Characterizing finite Kripke structures in propositional temporal logic

M. C. Browne,E. M. Clarke,et al.

1988415 citations

Abstract interpretation of reactive systems

Dennis Dams,Rob Gerth,et al.

1997380 citations

Model checking and abstraction

Edmund M. Clarke,Orna Grümberg,et al.

1992349 citations

Verification tools for finite-state concurrent systems

E. M. Clarke,Orna Grümberg,et al.

1994242 citations