| Model checking EM Clarke Jr, O Grumberg, D Kroening, D Peled, H Veith MIT press, 2018 | 14326 | 2018 |
| Counterexample-guided abstraction refinement E Clarke, O Grumberg, S Jha, Y Lu, H Veith International Conference on Computer Aided Verification, 154-169, 2000 | 2257 | 2000 |
| Model checking and abstraction EM Clarke, O Grumberg, DE Long ACM transactions on Programming Languages and Systems (TOPLAS) 16 (5), 1512-1542, 1994 | 2195 | 1994 |
| 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 | 1091 | 2003 |
| Model checking and modular verification O Grumberg, DE Long ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (3), 843-871, 1994 | 698 | 1994 |
| Abstract interpretation of reactive systems D Dams, R Gerth, O Grumberg ACM Transactions on Programming Languages and Systems (TOPLAS) 19 (2), 253-291, 1997 | 672* | 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 | 562 | 1988 |
| 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 | 442 | 1993 |
| 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 | 329 | 1995 |
| 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 | 326 | 1986 |
| Progress on the state explosion problem in model checking E Clarke, O Grumberg, S Jha, Y Lu, H Veith Informatics, 176-194, 2001 | 298 | 2001 |
| 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 | 252 | 1993 |
| 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 | 236 | 1993 |
| 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 | 223 | 1999 |
| Another look at LTL model checking E Clarke, O Grumberg, K Hamaguchi International Conference on Computer Aided Verification, 415-427, 1994 | 210 | 1994 |
| Model checking and modular verification O Grumberg, DE Long International Conference on Concurrency Theory, 250-265, 1991 | 210 | 1991 |
| 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 | 205 | 1995 |
| Another look at LTL model checking EM Clarke, O Grumberg, K Hamaguchi Formal Methods in System Design 10 (1), 47-71, 1997 | 198 | 1997 |
| Model checking EM Clarke International Conference on Foundations of Software Technology and …, 1997 | 195 | 1997 |
| 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 | 194 | 1987 |
