Limor Fix
发表
Sela Mador-Haim,
Limor Fix,
L. Fix,
1998,
FMCAD.
Nissim Francez,
Orna Grumberg,
Limor Fix,
1991,
ICALP.
Mei Chen,
Mahadev Satyanarayanan,
Rahul Sukthankar,
2007,
2007 IEEE International Conference on Multimedia and Expo.
Nissim Francez,
Orna Grumberg,
Limor Fix,
1990,
Programming Concepts and Methods.
Armando Tacchella,
Enrico Giunchiglia,
Moshe Y. Vardi,
2001,
CAV.
Limor Fix,
2008,
DAC.
Moshe Y. Vardi,
Lenore D. Zuck,
Sela Mador-Haim,
2005,
CAV.
Assaf Schuster,
Orna Grumberg,
Limor Fix,
2007,
Int. J. Found. Comput. Sci..
Guy E. Blelloch,
Babak Falsafi,
Nikolaos Hardavellas,
2007,
SPAA '07.
Moshe Y. Vardi,
Roy Armoni,
Limor Fix,
2007,
2007 Asia and South Pacific Design Automation Conference.
Limor Fix,
Gila Kamhi,
Osnat Weissberg,
1997,
CAV.
Limor Fix,
2004,
ISoLA.
Limor Fix,
L. Fix,
2008,
25 Years of Model Checking.
Thomas A. Henzinger,
Rajeev Alur,
Limor Fix,
1999,
Theor. Comput. Sci..
Thomas A. Henzinger,
Rajeev Alur,
Limor Fix,
1994,
CAV.
Nissim Francez,
Orna Grumberg,
Limor Fix,
1992,
ICALP.
Guy E. Blelloch,
Babak Falsafi,
Nikolaos Hardavellas,
2006,
SPAA '06.
Assaf Schuster,
Orna Grumberg,
Limor Fix,
2005,
ATVA.
Limor Fix,
Ian Getreu,
Luciano Lavagno,
2003,
DAC 2003.
Orna Grumberg,
Moshe Y. Vardi,
Roy Armoni,
2003,
CAV.
Moshe Y. Vardi,
Limor Fix,
Gila Kamhi,
2000,
CAV.
Orna Grumberg,
Limor Fix,
L. Fix,
1993,
J. Log. Comput..
Ansuman Banerjee,
Pallab Dasgupta,
P. P. Chakrabarti,
2006,
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Babak Falsafi,
Anastasia Ailamaki,
Todd C. Mowry,
2006,
ASID '06.
Thomas A. Henzinger,
Limor Fix,
T. Henzinger,
1994
.
Nissim Francez,
Orna Grumberg,
Limor Fix,
1992,
Theor. Comput. Sci..
Limor Fix,
Gila Kamhi,
L. Fix,
1998,
ICCAD.
Moshe Y. Vardi,
Limor Fix,
Gila Kamhi,
2001,
SMC@FLoC.
Luciano Lavagno,
Limor Fix,
L. Fix,
2003,
IEEE Des. Test Comput..
Scott Hazelhurst,
Limor Fix,
Gila Kamhi,
2002,
DAC '02.
Ansuman Banerjee,
Pallab Dasgupta,
P. P. Chakrabarti,
2004,
IEEE/ACM International Conference on Computer Aided Design, 2004. ICCAD-2004..
Limor Fix,
Gila Kamhi,
Ziv Binyamini,
1998,
FMCAD.
Avner Landver,
Moshe Y. Vardi,
Boris Ginsburg,
2002,
TACAS.
Kenneth L. McMillan,
Limor Fix,
Leopold Haller,
2016
.
Fred B. Schneider,
Limor Fix,
F. Schneider,
1994,
FTRTFT.
Formal methods for analyzing the completeness of an assertion suite against a high-level fault model
Ansuman Banerjee,
Pallab Dasgupta,
P. P. Chakrabarti,
2005,
18th International Conference on VLSI Design held jointly with 4th International Conference on Embedded Systems Design.
Pallab Dasgupta,
P. P. Chakrabarti,
Chunduri Rama Mohan,
2004,
Proceedings Design, Automation and Test in Europe Conference and Exhibition.
Moshe Y. Vardi,
Roy Armoni,
Nir Piterman,
2005,
BMC@CAV.
Fred B. Schneider,
Limor Fix,
F. Schneider,
1994,
ICALP.
Gregory D. Hager,
Shwetak N. Patel,
Klara Nahrstedt,
2016,
ArXiv.
Gregory D. Hager,
Martial Hebert,
Daniel P. Lopresti,
2016,
ArXiv.
David L. Dill,
Harry Foster,
Shishpal Rawat,
2002,
DAC '02.