Orna Grumberg
Orna Grumberg
Professor of Computer Science, Technion
Verified email at cs.technion.ac.il
TitleCited byYear
Model checking
EM Clarke Jr, O Grumberg, D Kroening, D Peled, H Veith
MIT press, 2018
134322018
Model checking and abstraction
EM Clarke, O Grumberg, DE Long
ACM transactions on Programming Languages and Systems (TOPLAS) 16 (5), 1512-1542, 1994
20701994
Counterexample-guided abstraction refinement
E Clarke, O Grumberg, S Jha, Y Lu, H Veith
International Conference on Computer Aided Verification, 154-169, 2000
20222000
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
9842003
Model checking and modular verification
O Grumberg, DE Long
ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (3), 843-871, 1994
6641994
Abstract interpretation of reactive systems
D Dams, R Gerth, O Grumberg
ACM Transactions on Programming Languages and Systems (TOPLAS) 19 (2), 253-291, 1997
652*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
5241988
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
4271993
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
3161986
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
3101995
Progress on the state explosion problem in model checking
E Clarke, O Grumberg, S Jha, Y Lu, H Veith
Informatics, 176-194, 2001
2762001
Model checking. 1999
EM Clarke, O Grumberg, D Peled
Google Scholar Google Scholar Digital Library Digital Library, 2002
274*2002
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
2391993
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
2351993
Another look at LTL model checking
E Clarke, O Grumberg, K Hamaguchi
International Conference on Computer Aided Verification, 415-427, 1994
2051994
Model checking and modular verification
O Grumberg, DE Long
International Conference on Concurrency Theory, 250-265, 1991
2051991
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
1891999
Another look at LTL model checking
EM Clarke, O Grumberg, K Hamaguchi
Formal Methods in System Design 10 (1), 47-71, 1997
1891997
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
1891995
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
1861987
The system can't perform the operation now. Try again later.
Articles 1–20