| Reasoning with temporal logic on truncated paths C Eisner, D Fisman, J Havlicek, Y Lustig, A McIsaac, D Van Campenhout Computer Aided Verification: 15th International Conference, CAV 2003 …, 2003 | 272 | 2003 |
| Rational synthesis D Fisman, O Kupferman, Y Lustig Tools and Algorithms for the Construction and Analysis of Systems: 16th …, 2010 | 176 | 2010 |
| Lattice automata O Kupferman, Y Lustig International Workshop on Verification, Model Checking, and Abstract …, 2007 | 152 | 2007 |
| Synthesis from component libraries Y Lustig, MY Vardi International Journal on Software Tools for Technology Transfer 15 (5), 603-618, 2013 | 143 | 2013 |
| Latticed simulation relations and games O Kupferman, Y Lustig International Journal of Foundations of Computer Science 21 (02), 167-189, 2010 | 48 | 2010 |
| On verifying fault tolerance of distributed protocols D Fisman, O Kupferman, Y Lustig Tools and Algorithms for the Construction and Analysis of Systems: 14th …, 2008 | 42 | 2008 |
| Temporal synthesis for bounded systems and environments O Kupferman, Y Lustig, MY Vardi, M Yannakakis 28th International Symposium on Theoretical Aspects of Computer Science …, 2011 | 41 | 2011 |
| On locally checkable properties O Kupferman, Y Lustig, MY Vardi Logic for Programming, Artificial Intelligence, and Reasoning: 13th …, 2006 | 20 | 2006 |
| On Chosen Ciphertext Security of Multiple Encryptions. O Goldreich, Y Lustig, M Naor IACR Cryptol. ePrint Arch. 2002, 89, 2002 | 15 | 2002 |
| A modular approach for Büchi determinization D Fisman, Y Lustig 26th International Conference on Concurrency Theory (CONCUR 2015), 2015 | 14 | 2015 |
| Synthesis from recursive-components libraries Y Lustig, M Vardi arXiv preprint arXiv:1106.1228, 2011 | 14 | 2011 |
| What triggers a behavior? O Kupferman, Y Lustig Formal Methods in Computer Aided Design (FMCAD'07), 146-153, 2007 | 13 | 2007 |
| Synthesis from Probabilistic Components. Y Lustig, S Nain, MY Vardi CSL, 412-427, 2011 | 12 | 2011 |
| Satisfiability (SAT) based bounded model checkers D Geist, M Ginzburg, Y Lustig, I Rabinovitz, O Shacham, R Tzoref US Patent 7,835,898, 2010 | 10 | 2010 |
| Synthesis from probabilistic components S Nain, Y Lustig, MY Vardi Logical Methods in Computer Science 10, 2014 | 5 | 2014 |
| Satisfiability (SAT) based bounded model checkers D Geist, M Ginzburg, Y Lustig, I Rabinovitz, O Shacham, R Tzoref US Patent 8,108,195, 2012 | 2 | 2012 |
| Multi-valued logics, automata, simulations, and games O Kupferman, Y Lustig Verification, Model Checking, and Abstract Interpretation: 9th International …, 2008 | 2 | 2008 |
| Reasoning about Lattice-based Multi-valued Systems Y Lustig Hebrew University, 2008 | | 2008 |
| Supporting SAT based BMC on Finite Path Models D Geist, M Ginzburg, Y Lustig, I Rabinovitz, O Shacham, R Tzoref Electronic Notes in Theoretical Computer Science 144 (1), 67-77, 2006 | | 2006 |
| A preliminary proposal for Sugar2. 0 semantics “Truncated/Untruncated Semantics” draft version− do not distribute outside the Accellera FVTC C Eisner, D Fisman, J Havlicek, Y Lustig, A McIsaac, D Van Campenhout | | 2002 |
Orna KupfermanProfessor of Computer Science, The Hebrew University確認したメール アドレス: cs.huji.ac.il
