Yoad Lustig

20 papers A* 1A 3B 8Journal 5Unranked 2
YearRankTypeTitle / Venue / Authors
2015 B conf
A Modular Approach for Büchi Determinization.
CONCUR
Dana Fisman, Yoad Lustig
2014 J jnl
Synthesis from Probabilistic Components.
Log. Methods Comput. Sci.
Sumit Nain, Yoad Lustig, Moshe Y. Vardi
2013 J jnl
Synthesis from component libraries.
Int. J. Softw. Tools Technol. Transf.
Yoad Lustig, Moshe Y. Vardi
2011 B conf
Synthesis from Probabilistic Components.
CSL
Yoad Lustig, Sumit Nain, Moshe Y. Vardi
2011 — conf
Synthesis from Recursive-Components Libraries
GandALF
Yoad Lustig, Moshe Y. Vardi
2011 A conf
Temporal Synthesis for Bounded Systems and Environments.
STACS
Orna Kupferman, Yoad Lustig, Moshe Y. Vardi, Mihalis Yannakakis
2010 J jnl
Latticed Simulation Relations and Games.
Int. J. Found. Comput. Sci.
Orna Kupferman, Yoad Lustig
2010 A conf
Rational Synthesis.
TACAS
Dana Fisman, Orna Kupferman, Yoad Lustig
2009 J jnl
Rational Synthesis
CoRR
Dana Fisman, Orna Kupferman, Yoad Lustig
2009 B conf
Synthesis from Component Libraries.
FoSSaCS
Yoad Lustig, Moshe Y. Vardi
2008 B conf
Multi-valued Logics, Automata, Simulations, and Games.
VMCAI
Orna Kupferman, Yoad Lustig
2008 A conf
On Verifying Fault Tolerance of Distributed Protocols.
TACAS
Dana Fisman, Orna Kupferman, Yoad Lustig
2008 — —
Reasoning about lattice-based multi-valued systems (שיטות היסק למערכות מרובות ערכים המבוססות על שריגים.).
Yoad Lustig
2007 B conf
Lattice Automata.
VMCAI
Orna Kupferman, Yoad Lustig
2007 B conf
Latticed Simulation Relations and Games.
ATVA
Orna Kupferman, Yoad Lustig
2007 B conf
What Triggers a Behavior?
FMCAD
Orna Kupferman, Yoad Lustig
2006 B conf
On Locally Checkable Properties.
LPAR
Orna Kupferman, Yoad Lustig, Moshe Y. Vardi
2005 — conf
Supporting SAT based BMC on Finite Path Models.
BMC@CAV
Daniel Geist, Mark Ginzburg, Yoad Lustig, Ishai Rabinovitz, Ohad Shacham, Rachel Tzoref
2003 A* conf
Reasoning with Temporal Logic on Truncated Paths.
CAV
Cindy Eisner, Dana Fisman, John Havlicek, Yoad Lustig, Anthony McIsaac, David Van Campenhout
2002 J jnl
On Chosen Ciphertext Security of Multiple Encryptions.
IACR Cryptol. ePrint Arch.
Oded Goldreich, Yoad Lustig, Moni Naor