Yoad Lustig

According to our database, Yoad Lustig authored at least 16 papers between 2002 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2015

A Modular Approach for Büchi Determinization.

Dana Fisman, Yoad Lustig

Proceedings of the 26th International Conference on Concurrency Theory, 2015

2014

Synthesis from Probabilistic Components.

Sumit Nain, Yoad Lustig, Moshe Y. Vardi

Log. Methods Comput. Sci., 2014

2013

Synthesis from component libraries.

Yoad Lustig, Moshe Y. Vardi

Int. J. Softw. Tools Technol. Transf., 2013

2011

Synthesis from Recursive-Components Libraries

Yoad Lustig, Moshe Y. Vardi

Proceedings of Second International Symposium on Games, 2011

Temporal Synthesis for Bounded Systems and Environments.

Orna Kupferman, Yoad Lustig, Moshe Y. Vardi, Mihalis Yannakakis

Proceedings of the 28th International Symposium on Theoretical Aspects of Computer Science, 2011

2010

Latticed Simulation Relations and Games.

Orna Kupferman, Yoad Lustig

Int. J. Found. Comput. Sci., 2010

Rational Synthesis.

Dana Fisman, Orna Kupferman, Yoad Lustig

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

2008

Reasoning about lattice-based multi-valued systems (שיטות היסק למערכות מרובות ערכים המבוססות על שריגים.).

Yoad Lustig

PhD thesis, 2008

Multi-valued Logics, Automata, Simulations, and Games.

Orna Kupferman, Yoad Lustig

Proceedings of the Verification, 2008

On Verifying Fault Tolerance of Distributed Protocols.

Dana Fisman, Orna Kupferman, Yoad Lustig

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

2007

Lattice Automata.

Orna Kupferman, Yoad Lustig

Proceedings of the Verification, 2007

What Triggers a Behavior?

Orna Kupferman, Yoad Lustig

Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007

2006

On Locally Checkable Properties.

Orna Kupferman, Yoad Lustig, Moshe Y. Vardi

Proceedings of the Logic for Programming, 2006

2005

Supporting SAT based BMC on Finite Path Models.

Daniel Geist, Mark Ginzburg, Yoad Lustig, Ishai Rabinovitz, Ohad Shacham, Rachel Tzoref

Proceedings of the Third International Workshop on Bounded Model Checking, 2005

2003

Reasoning with Temporal Logic on Truncated Paths.

Cindy Eisner, Dana Fisman, John Havlicek, Yoad Lustig, Anthony McIsaac, David Van Campenhout

Proceedings of the Computer Aided Verification, 15th International Conference, 2003

2002

On Chosen Ciphertext Security of Multiple Encryptions.

Oded Goldreich, Yoad Lustig, Moni Naor

IACR Cryptol. ePrint Arch., 2002