2009 |
9 | EE | Yoad Lustig,
Moshe Y. Vardi:
Synthesis from Component Libraries.
FOSSACS 2009: 395-409 |
2008 |
8 | EE | Dana Fisman,
Orna Kupferman,
Yoad Lustig:
On Verifying Fault Tolerance of Distributed Protocols.
TACAS 2008: 315-331 |
7 | EE | Orna Kupferman,
Yoad Lustig:
Multi-valued Logics, Automata, Simulations, and Games.
VMCAI 2008: 5 |
2007 |
6 | EE | Orna Kupferman,
Yoad Lustig:
Latticed Simulation Relations and Games.
ATVA 2007: 316-330 |
5 | EE | Orna Kupferman,
Yoad Lustig:
What Triggers a Behavior?
FMCAD 2007: 146-153 |
4 | EE | Orna Kupferman,
Yoad Lustig:
Lattice Automata.
VMCAI 2007: 199-213 |
2006 |
3 | EE | Orna Kupferman,
Yoad Lustig,
Moshe Y. Vardi:
On Locally Checkable Properties.
LPAR 2006: 302-316 |
2 | EE | Daniel Geist,
Mark Ginzburg,
Yoad Lustig,
Ishai Rabinovitz,
Ohad Shacham,
Rachel Tzoref:
Supporting SAT based BMC on Finite Path Models.
Electr. Notes Theor. Comput. Sci. 144(1): 67-77 (2006) |
2003 |
1 | EE | Cindy Eisner,
Dana Fisman,
John Havlicek,
Yoad Lustig,
Anthony McIsaac,
David Van Campenhout:
Reasoning with Temporal Logic on Truncated Paths.
CAV 2003: 27-39 |