Orna Grümberg
Technion – Israel Institute of Technology(IL)
Publications by Year
Research Areas
Formal Methods in Verification, Logic, programming, and type systems, Software Testing and Debugging Techniques, Model-Driven Software Engineering Techniques, Software Reliability and Analysis Research
Most-Cited Works
- Model checking(1996)
- → Counterexample-Guided Abstraction Refinement(2000)1,653 cited
- → Model checking and abstraction(1994)1,209 cited
- → Counterexample-guided abstraction refinement for symbolic model checking(2003)976 cited
- → Model checking and modular verification(1994)526 cited
- → Characterizing finite Kripke structures in propositional temporal logic(1988)415 cited
- → Abstract interpretation of reactive systems(1997)380 cited