| Alternating-time temporal logic R Alur, TA Henzinger, O Kupferman Journal of the ACM (JACM) 49 (5), 672-713, 2002 | 2324* | 2002 |
| Model checking of safety properties O Kupferman, MY Vardi Formal methods in system design 19, 291-314, 2001 | 726 | 2001 |
| An automata-theoretic approach to branching-time model checking O Kupferman, MY Vardi, P Wolper Journal of the ACM (JACM) 47 (2), 312-360, 2000 | 702 | 2000 |
| Alternating refinement relations R Alur, TA Henzinger, O Kupferman, MY Vardi CONCUR'98 Concurrency Theory: 9th International Conference Nice, France …, 1998 | 460 | 1998 |
| Weak alternating automata are not that weak O Kupferman, MY Vardi ACM Transactions on Computational Logic (TOCL) 2 (3), 408-429, 2001 | 376 | 2001 |
| Concurrent reachability games L De Alfaro, TA Henzinger, O Kupferman Theoretical computer science 386 (3), 188-217, 2007 | 307 | 2007 |
| Safraless decision procedures O Kupferman, MY Vardi 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS'05), 531-540, 2005 | 307 | 2005 |
| An automata-theoretic approach to branching-time model checking O Bernholtz, MY Vardi, P Wolper Computer Aided Verification: 6th International Conference, CAV'94 Stanford …, 1994 | 272 | 1994 |
| Synthesis with incomplete informatio O Kupfermant, MY Vardit Advances in temporal logic, 109-127, 2000 | 238 | 2000 |
| Module checking revisited O Kupferman, MY Vardi International Conference on Computer Aided Verification, 36-47, 1997 | 235* | 1997 |
| Module checking O Kupferman, MY Vardi, P Wolper Information and Computation 164 (2), 322-344, 2001 | 213 | 2001 |
| Vacuity detection in temporal model checking O Kupferman, MY Vardi International Journal on Software Tools for Technology Transfer 4, 224-233, 2003 | 198 | 2003 |
| Model checking of safety properties O Kupferman, MY Vardi International Conference on Computer Aided Verification, 172-183, 1999 | 197 | 1999 |
| Rational synthesis D Fisman, O Kupferman, Y Lustig Tools and Algorithms for the Construction and Analysis of Systems: 16th …, 2010 | 183 | 2010 |
| Weak alternating automata and tree automata emptiness O Kupferman, MY Vardi Proceedings of the thirtieth annual ACM symposium on Theory of computing …, 1998 | 161 | 1998 |
| Lattice automata O Kupferman, Y Lustig International Workshop on Verification, Model Checking, and Abstract …, 2007 | 154 | 2007 |
| Coverage metrics for formal verification H Chockler, O Kupferman, MY Vardi Correct Hardware Design and Verification Methods: 12th IFIP WG 10.5 Advanced …, 2003 | 142 | 2003 |
| Open systems in reactive environments: Control and synthesis O Kupferman, P Madhusudan, PS Thiagarajan, MY Vardi CONCUR 2000—Concurrency Theory: 11th International Conference University …, 2000 | 138 | 2000 |
| Temporal specifications with accumulative values U Boker, K Chatterjee, TA Henzinger, O Kupferman ACM Transactions on Computational Logic (TOCL) 15 (4), 1-25, 2014 | 130 | 2014 |
| Safraless compositional synthesis O Kupferman, N Piterman, MY Vardi International Conference on Computer Aided Verification, 31-44, 2006 | 130 | 2006 |
