Alternating-time temporal logic R Alur, TA Henzinger, O Kupferman Journal of the ACM (JACM) 49 (5), 672-713, 2002 | 2296* | 2002 |
Model checking of safety properties O Kupferman, MY Vardi Formal methods in system design 19, 291-314, 2001 | 710 | 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 | 699 | 2000 |
Alternating refinement relations R Alur, TA Henzinger, O Kupferman, MY Vardi CONCUR'98 Concurrency Theory: 9th International Conference Nice, France …, 1998 | 459 | 1998 |
Weak alternating automata are not that weak O Kupferman, MY Vardi ACM Transactions on Computational Logic (TOCL) 2 (3), 408-429, 2001 | 373 | 2001 |
Concurrent reachability games L De Alfaro, TA Henzinger, O Kupferman Theoretical computer science 386 (3), 188-217, 2007 | 305 | 2007 |
Safraless decision procedures O Kupferman, MY Vardi 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS'05), 531-540, 2005 | 305 | 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 | 195 | 1999 |
Rational synthesis D Fisman, O Kupferman, Y Lustig Tools and Algorithms for the Construction and Analysis of Systems: 16th …, 2010 | 180 | 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 | 153 | 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 |