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 | 283 | 2003 |
Rational synthesis D Fisman, O Kupferman, Y Lustig Tools and Algorithms for the Construction and Analysis of Systems: 16th …, 2010 | 187 | 2010 |
Lattice automata O Kupferman, Y Lustig International Workshop on Verification, Model Checking, and Abstract …, 2007 | 157 | 2007 |
Synthesis from component libraries Y Lustig, MY Vardi International Journal on Software Tools for Technology Transfer 15 (5), 603-618, 2013 | 144 | 2013 |
Latticed simulation relations and games O Kupferman, Y Lustig International Journal of Foundations of Computer Science 21 (02), 167-189, 2010 | 49 | 2010 |
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 | 43 | 2011 |
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 |
On locally checkable properties O Kupferman, Y Lustig, MY Vardi Logic for Programming, Artificial Intelligence, and Reasoning: 13th …, 2006 | 20 | 2006 |
A modular approach for Büchi determinization D Fisman, Y Lustig 26th International Conference on Concurrency Theory (CONCUR 2015), 2015 | 16 | 2015 |
Synthesis from probabilistic components Y Lustig, S Nain, MY Vardi Computer Science Logic (CSL'11)-25th International Workshop/20th Annual …, 2011 | 16* | 2011 |
On Chosen Ciphertext Security of Multiple Encryptions. O Goldreich, Y Lustig, M Naor IACR Cryptol. ePrint Arch. 2002, 89, 2002 | 16 | 2002 |
What triggers a behavior? O Kupferman, Y Lustig Formal Methods in Computer Aided Design (FMCAD'07), 146-153, 2007 | 15 | 2007 |
Synthesis from recursive-components libraries Y Lustig, M Vardi arXiv preprint arXiv:1106.1228, 2011 | 14 | 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 |
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 |
Computer Science Logic (CSL'11)-25th International Workshop/20th Annual Conference of the EACSL T Ehrhard, M Otto, MY Vardi, F Wolter, J Adamek, S Milius, LS Moss, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2011 | | 2011 |
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 |