Follow
Orna Grumberg
Orna Grumberg
Professor of Computer Science, Technion
Verified email at cs.technion.ac.il
Title
Cited by
Cited by
Year
Model checking
EM Clarke
Foundations of Software Technology and Theoretical Computer Science: 17th …, 1997
159531997
Counterexample-guided abstraction refinement
E Clarke, O Grumberg, S Jha, Y Lu, H Veith
Computer Aided Verification: 12th International Conference, CAV 2000 …, 2000
26792000
Model checking and abstraction
EM Clarke, O Grumberg, DE Long
ACM transactions on Programming Languages and Systems (TOPLAS) 16 (5), 1512-1542, 1994
23851994
Counterexample-guided abstraction refinement for symbolic model checking
E Clarke, O Grumberg, S Jha, Y Lu, H Veith
Journal of the ACM (JACM) 50 (5), 752-794, 2003
13252003
Model checking and modular verification
O Grumberg, DE Long
ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (3), 843-871, 1994
7361994
Abstract interpretation of reactive systems
D Dams, R Gerth, O Grumberg
ACM Transactions on Programming Languages and Systems (TOPLAS) 19 (2), 253-291, 1997
6641997
Characterizing finite Kripke structures in propositional temporal logic
MC Browne, EM Clarke, O Grümberg
Theoretical computer science 59 (1-2), 115-131, 1988
6131988
Verification tools for finite-state concurrent systems
E Clarke, O Grumberg, D Long
A Decade of Concurrency Reflections and Perspectives: REX School/Symposium …, 1994
4611994
Verification of the Futurebus+ cache coherence protocol
EM Clarke, O Grumberg, H Hiraishi, S Jha, DE Long, KL McMillan, ...
Computer Hardware Description Languages and Their Applications, 15-30, 1993
4461993
Progress on the state explosion problem in model checking
E Clarke, O Grumberg, S Jha, Y Lu, H Veith
Informatics: 10 Years Back, 10 Years Ahead, 176-194, 2001
3582001
Efficient generation of counterexamples and witnesses in symbolic model checking
EM Clarke, O Grumberg, KL McMillan, X Zhao
Proceedings of the 32nd annual ACM/IEEE Design Automation Conference, 427-432, 1995
3541995
Reasoning about networks with many identical finite-state processes
EM Clarke, O Grumberg, MC Browne
Proceedings of the fifth annual ACM symposium on Principles of distributed …, 1986
3511986
State space reduction using partial order techniques
EM Clarke, O Grumberg, M Minea, D Peled
International Journal on Software Tools for Technology Transfer 2, 279-287, 1999
2771999
Another look at LTL model checking
E Clarke, O Grumberg, K Hamaguchi
Computer Aided Verification: 6th International Conference, CAV'94 Stanford …, 1994
2381994
Model checking and modular verification
O Grumberg, DE Long
International Conference on Concurrency Theory, 250-265, 1991
2321991
Another look at LTL model checking
EM Clarke, O Grumberg, K Hamaguchi
Formal Methods in System Design 10, 47-71, 1997
2261997
Efficient on-the-fly model checking for CTL
G Bhat, R Cleaveland, O Grumberg
Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science, 388-397, 1995
2171995
Avoiding the state explosion problem in temporal logic model checking
EM Clarke, O Grumberg
Proceedings of the sixth annual ACM Symposium on Principles of distributed …, 1987
2121987
Verifying parameterized networks using abstraction and regular languages
EM Clarke, O Grumberg, S Jha
CONCUR'95: Concurrency Theory: 6th International Conference Philadelphia, PA …, 1995
1711995
25 years of model checking: history, achievements, perspectives
O Grumberg, H Veith
Springer Science & Business Media, 2008
1652008
The system can't perform the operation now. Try again later.
Articles 1–20