| Alternating-time temporal logic R Alur, TA Henzinger, O Kupferman Journal of the ACM (JACM) 49 (5), 672-713, 2002 | 2504 | 2002 |
| Model checking of safety properties O Kupferman, MY Vardi Formal methods in system design 19 (3), 291-314, 2001 | 773 | 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 | 731 | 2000 |
| Alternating refinement relations R Alur, TA Henzinger, O Kupferman, MY Vardi International Conference on Concurrency Theory, 163-178, 1998 | 480 | 1998 |
| Weak alternating automata are not that weak O Kupferman, MY Vardi ACM Transactions on Computational Logic (TOCL) 2 (3), 408-429, 2001 | 380 | 2001 |
| Concurrent reachability games L De Alfaro, TA Henzinger, O Kupferman Theoretical computer science 386 (3), 188-217, 2007 | 317 | 2007 |
| Safraless decision procedures O Kupferman, MY Vardi 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS'05), 531-540, 2005 | 315 | 2005 |
| An automata-theoretic approach to branching-time model checking O Bernholtz, MY Vardi, P Wolper International Conference on Computer Aided Verification, 142-155, 1994 | 276 | 1994 |
| Synthesis with incomplete informatio O Kupfermant, MY Vardit Advances in temporal logic, 109-127, 2000 | 250 | 2000 |
| Module checking revisited O Kupferman, MY Vardi International Conference on Computer Aided Verification, 36-47, 1997 | 239* | 1997 |
| Module checking O Kupferman, MY Vardi, P Wolper Information and Computation 164 (2), 322-344, 2001 | 232 | 2001 |
| Vacuity detection in temporal model checking O Kupferman, MY Vardi International Journal on Software Tools for Technology Transfer 4 (2), 224-233, 2003 | 212 | 2003 |
| Model checking of safety properties O Kupferman, MY Vardi International Conference on Computer Aided Verification, 172-183, 1999 | 210 | 1999 |
| Rational synthesis D Fisman, O Kupferman, Y Lustig International Conference on Tools and Algorithms for the Construction and …, 2010 | 208 | 2010 |
| Weak alternating automata and tree automata emptiness O Kupferman, MY Vardi Proceedings of the thirtieth annual ACM symposium on Theory of computing …, 1998 | 165 | 1998 |
| Lattice automata O Kupferman, Y Lustig International Workshop on Verification, Model Checking, and Abstract …, 2007 | 163 | 2007 |
| Coverage metrics for formal verification H Chockler, O Kupferman, MY Vardi Advanced Research Working Conference on Correct Hardware Design and …, 2003 | 149 | 2003 |
| Open systems in reactive environments: Control and synthesis O Kupferman, P Madhusudan, PS Thiagarajan, MY Vardi International conference on concurrency theory, 92-107, 2000 | 142 | 2000 |
| Safraless compositional synthesis O Kupferman, N Piterman, MY Vardi International Conference on Computer Aided Verification, 31-44, 2006 | 137 | 2006 |
| Synthesis with rational environments O Kupferman, G Perelli, MY Vardi Annals of Mathematics and Artificial Intelligence 78 (1), 3-20, 2016 | 133 | 2016 |
