Eli Singerman
发表
Moshe Y. Vardi,
Jin Yang,
Zurab Khasidashvili,
2014,
2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE).
Eli Singerman,
Alon Flaisher,
Alon Gluska,
2007,
Formal Methods in Computer Aided Design (FMCAD'07).
Moshe Y. Vardi,
Lenore D. Zuck,
Sela Mador-Haim,
2005,
CAV.
David Harel,
Eli Singerman,
1995,
Proceedings Third Israel Symposium on the Theory of Computing and Systems.
David Harel,
Eli Singerman,
1996,
Inf. Comput..
David Harel,
Eli Singerman,
1999,
Ann. Pure Appl. Log..
Eli Singerman,
Yael Abarbanel,
Sean Baartmans,
2011,
2011 48th ACM/EDAC/IEEE Design Automation Conference (DAC).
Eli Singerman,
Tamarah Arons,
Elad Elster,
2008,
2008 Design, Automation and Test in Europe.
Eli Singerman,
Alon Flaisher,
Alon Gluska,
2007
.
Moshe Y. Vardi,
Roberto Sebastiani,
Stefano Tonetta,
2004,
Formal Methods Syst. Des..
Natarajan Shankar,
Amir Pnueli,
Eli Singerman,
1998,
FTRTFT.
David Harel,
Eli Singerman,
1997,
ICALP.
Eli Singerman,
Tamarah Arons,
Elad Elster,
2006,
Seventh International Workshop on Microprocessor Test and Verification (MTV'06).
Vlad Rusu,
Eli Singerman,
Eli Singerman,
1999,
TACAS.
Avner Landver,
Moshe Y. Vardi,
Boris Ginsburg,
2002,
TACAS.
Amir Pnueli,
Michael Siegel,
Eli Singerman,
1998,
TACAS.
Moshe Y. Vardi,
Gila Kamhi,
Eli Singerman,
2008,
2008 Formal Methods in Computer-Aided Design.
Moshe Y. Vardi,
Eli Singerman,
Yael Abarbanel,
2014,
2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC).