| Alternating-time temporal logic R Alur, TA Henzinger, O Kupferman Journal of the ACM (JACM) 49 (5), 672-713, 2002 | 2200* | 2002 |
| 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 | 686 | 2000 |
| Model checking of safety properties O Kupferman, MY Vardi Formal methods in system design 19, 291-314, 2001 | 620 | 2001 |
| Alternating refinement relations R Alur, TA Henzinger, O Kupferman, MY Vardi CONCUR'98 Concurrency Theory: 9th International Conference Nice, France …, 1998 | 433 | 1998 |
| Weak alternating automata are not that weak O Kupferman, MY Vardi ACM Transactions on Computational Logic (TOCL) 2 (3), 408-429, 2001 | 352 | 2001 |
| Concurrent reachability games L De Alfaro, TA Henzinger, O Kupferman Theoretical computer science 386 (3), 188-217, 2007 | 288 | 2007 |
| Safraless decision procedures O Kupferman, MY Vardi 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS'05), 531-540, 2005 | 286 | 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 | 270 | 1994 |
| Vacuity detection in temporal model checking O Kupferman, MY Vardi International Journal on Software Tools for Technology Transfer 4, 224-233, 2003 | 269 | 2003 |
| Synthesis with incomplete informatio O Kupfermant, MY Vardit Advances in temporal logic, 109-127, 2000 | 225 | 2000 |
| Module checking revisited O Kupferman, MY Vardi International Conference on Computer Aided Verification, 36-47, 1997 | 220* | 1997 |
| Module checking O Kupferman, MY Vardi, P Wolper Information and Computation 164 (2), 322-344, 2001 | 208 | 2001 |
| Model checking of safety properties O Kupferman, MY Vardi Computer Aided Verification: 11th International Conference, CAV’99 Trento …, 2003 | 174 | 2003 |
| Rational synthesis D Fisman, O Kupferman, Y Lustig Tools and Algorithms for the Construction and Analysis of Systems: 16th …, 2010 | 163 | 2010 |
| Weak alternating automata and tree automata emptiness O Kupferman, MY Vardi Proceedings of the thirtieth annual ACM symposium on Theory of computing …, 1998 | 153 | 1998 |
| Lattice automata O Kupferman, Y Lustig Verification, Model Checking, and Abstract Interpretation: 8th International …, 2007 | 144 | 2007 |
| 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 | 137 | 2000 |
| Coverage metrics for formal verification H Chockler, O Kupferman, MY Vardi CHARME, 111-125, 2003 | 134 | 2003 |
| A practical approach to coverage in model checking H Chockler, O Kupferman, RP Kurshan, MY Vardi Computer Aided Verification: 13th International Conference, CAV 2001 Paris …, 2001 | 127 | 2001 |
| Safraless compositional synthesis O Kupferman, N Piterman, MY Vardi Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006 | 118 | 2006 |
