Orna Grumberg

Technion Israel Institute of Technology - Haifa / Israel

Engineering & Technology / Computer Science

AD Scientific Index ID: 410786

הטכניון – מכון טכנולוגי לישראל

Registration, Add Profile,
Premium Membership

Print Your Certificate

Orna Grumberg's MOST POPULAR ARTICLES

1-) Model checkingEM ClarkeFoundations of Software Technology and Theoretical Computer Science: 17th …, 1997147581997

2-) Counterexample-guided abstraction refinementE Clarke, O Grumberg, S Jha, Y Lu, H VeithInternational Conference on Computer Aided Verification, 154-169, 200024472000

3-) Model checking and abstractionEM Clarke, O Grumberg, DE LongACM transactions on Programming Languages and Systems (TOPLAS) 16 (5), 1512-1542, 199422801994

4-) Counterexample-guided abstraction refinement for symbolic model checkingE Clarke, O Grumberg, S Jha, Y Lu, H VeithJournal of the ACM (JACM) 50 (5), 752-794, 200313502003

5-) Model checking and modular verificationO Grumberg, DE LongACM Transactions on Programming Languages and Systems (TOPLAS) 16 (3), 843-871, 19947341994

ARTICLES

Add your articles