| 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 |
