Travelled to:1 × Cyprus
1 × France
1 × Hungary
1 × Norway
1 × United Kingdom
2 × USA
Collaborated with:O.Kupferman M.Y.Vardi D.Fisman S.Nain C.Eisner J.Havlicek A.McIsaac D.V.Campenhout
Talks about:synthesi (3) automata (2) compon (2) logic (2) probabilist (1) distribut (1) protocol (1) truncat (1) librari (1) verifi (1)
Person: Yoad Lustig
DBLP: Lustig:Yoad
Contributed to:
2011
2010
20092008
20082007
2003Wrote 7 papers:
- CSL-2011-LustigNV #component #probability #synthesis
- Synthesis from Probabilistic Components (YL, SN, MYV), pp. 412–427.
- TACAS-2010-FismanKL #synthesis
- Rational Synthesis (DF, OK, YL), pp. 190–204.
- FoSSaCS-2009-LustigV #component #library #synthesis
- Synthesis from Component Libraries (YL, MYV), pp. 395–409.
- TACAS-2008-FismanKL #distributed #fault tolerance #on the #protocol #verification
- On Verifying Fault Tolerance of Distributed Protocols (DF, OK, YL), pp. 315–331.
- VMCAI-2008-KupfermanL #automaton #game studies #logic #multi #simulation
- Multi-valued Logics, Automata, Simulations, and Games (OK, YL), p. 5.
- VMCAI-2007-KupfermanL #automaton
- Lattice Automata (OK, YL), pp. 199–213.
- CAV-2003-EisnerFHLMC #logic #reasoning
- Reasoning with Temporal Logic on Truncated Paths (CE, DF, JH, YL, AM, DVC), pp. 27–39.