| Alternating-time temporal logic R Alur, TA Henzinger, O Kupferman Journal of the ACM (JACM) 49 (5), 672-713, 2002 | 1584 | 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 | 652 | 2000 |
| Alternating-time temporal logic R Alur, TA Henzinger, O Kupferman International Symposium on Compositionality, 23-60, 1997 | 549 | 1997 |
| Model checking of safety properties O Kupferman, MY Vardi Formal Methods in System Design 19 (3), 291-314, 2001 | 492 | 2001 |
| Alternating refinement relations R Alur, TA Henzinger, O Kupferman, MY Vardi International Conference on Concurrency Theory, 163-178, 1998 | 394 | 1998 |
| Weak alternating automata are not that weak O Kupferman, MY Vardi ACM Transactions on Computational Logic (TOCL) 2 (3), 408-429, 2001 | 316 | 2001 |
| An automata-theoretic approach to branching-time model checking O Bernholtz, MY Vardi, P Wolper International Conference on Computer Aided Verification, 142-155, 1994 | 269 | 1994 |
| Safraless decision procedures O Kupferman, MY Vardi 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS'05), 531-540, 2005 | 251 | 2005 |
| Concurrent reachability games L De Alfaro, TA Henzinger, O Kupferman Theoretical Computer Science 386 (3), 188-217, 2007 | 241 | 2007 |
| Synthesis with incomplete informatio O Kupfermant, MY Vardit Advances in temporal logic, 109-127, 2000 | 212 | 2000 |
| Module checking revisited O Kupferman, MY Vardi International Conference on Computer Aided Verification, 36-47, 1997 | 209* | 1997 |
| Module checking O Kupferman, MY Vardi, P Wolper Information and Computation 164 (2), 322-344, 2001 | 194 | 2001 |
| Vacuity detection in temporal model checking O Kupferman, MY Vardi International Journal on Software Tools for Technology Transfer 4 (2), 224-233, 2003 | 167 | 2003 |
| Model checking of safety properties O Kupferman, MY Vardi International Conference on Computer Aided Verification, 172-183, 1999 | 149 | 1999 |
| Weak alternating automata and tree automata emptiness O Kupferman, MY Vardi Proceedings of the thirtieth annual ACM symposium on Theory of computing …, 1998 | 145 | 1998 |
| Rational synthesis D Fisman, O Kupferman, Y Lustig International Conference on Tools and Algorithms for the Construction and …, 2010 | 129 | 2010 |
| Lattice automata O Kupferman, Y Lustig International Workshop on Verification, Model Checking, and Abstract …, 2007 | 127 | 2007 |
| Open systems in reactive environments: Control and synthesis O Kupferman, P Madhusudan, PS Thiagarajan, MY Vardi International Conference on Concurrency Theory, 92-107, 2000 | 126 | 2000 |
| A practical approach to coverage in model checking H Chockler, O Kupferman, RP Kurshan, MY Vardi International Conference on Computer Aided Verification, 66-78, 2001 | 124 | 2001 |
| Coverage metrics for formal verification H Chockler, O Kupferman, MY Vardi Advanced Research Working Conference on Correct Hardware Design and …, 2003 | 119 | 2003 |
