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 Jr, O Grumberg, D Kroening, D Peled, H Veith
MIT press, 2018
137592018
Counterexample-guided abstraction refinement
E Clarke, O Grumberg, S Jha, Y Lu, H Veith
International Conference on Computer Aided Verification, 154-169, 2000
21202000
Model checking and abstraction
EM Clarke, O Grumberg, DE Long
ACM transactions on Programming Languages and Systems (TOPLAS) 16 (5), 1512-1542, 1994
21081994
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
10312003
Model checking and modular verification
O Grumberg, DE Long
ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (3), 843-871, 1994
6801994
Abstract interpretation of reactive systems
D Dams, R Gerth, O Grumberg
ACM Transactions on Programming Languages and Systems (TOPLAS) 19 (2), 253-291, 1997
664*1997
Characterizing finite Kripke structures in propositional temporal logic
MC Browne, EM Clarke, O Grümberg
Theoretical Computer Science 59 (1-2), 115-131, 1988
5441988
Verification tools for finite-state concurrent systems
E Clarke, O Grumberg, D Long
Workshop/School/Symposium of the REX Project (Research and Education in …, 1993
4321993
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
3241986
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
3181995
Progress on the state explosion problem in model checking
E Clarke, O Grumberg, S Jha, Y Lu, H Veith
Informatics, 176-194, 2001
2852001
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
2471993
Model checking, abstraction, and compositional verification
DE Long, EM Clarke, RE Bryant, SD Brookes, O Grumberg
CARNEGIE-MELLON UNIV PITTSBURGH PA SCHOOL OF COMPUTER SCIENCE, 1993
2391993
Model checking and modular verification
O Grumberg, DE Long
International Conference on Concurrency Theory, 250-265, 1991
2101991
Another look at LTL model checking
E Clarke, O Grumberg, K Hamaguchi
International Conference on Computer Aided Verification, 415-427, 1994
2081994
State space reduction using partial order techniques
EM Clarke, O Grumberg, M Minea, D Peled
International Journal on Software Tools for Technology Transfer 2 (3), 279-287, 1999
2011999
Another look at LTL model checking
EM Clarke, O Grumberg, K Hamaguchi
Formal Methods in System Design 10 (1), 47-71, 1997
1941997
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
1921995
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
1911987
Model checking
EM Clarke
International Conference on Foundations of Software Technology and …, 1997
1881997
The system can't perform the operation now. Try again later.
Articles 1–20