Michal Rimon
发表
Yossi Lichtenstein,
John M. Ludden,
Michael L. Behm,
2004,
Proceedings. 41st Design Automation Conference, 2004..
Allon Adir,
John M. Ludden,
Michal Rimon,
2010,
Haifa Verification Conference.
Allon Adir,
Itai Jaeger,
Yossi Lichtenstein,
2006,
2006 IEEE International High Level Design Validation and Test Workshop.
Michal Rimon,
Aseem Das,
Richard M. Keller,
1994,
Automated Software Engineering.
Yehuda Naveh,
Itai Jaeger,
Yoav Katz,
2006,
AI Mag..
Avi Ziv,
Yoav Katz,
Michal Rimon,
2012,
Haifa Verification Conference.
Michal Rimon,
Richard M. Keller,
R. Keller,
1992,
Proceedings of the Seventh Knowledge-Based Software Engineering Conference.
Avi Ziv,
Yoav Katz,
Michal Rimon,
2012,
2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Elena Tsanko,
Ofer Peled,
Gil Shurek,
2010,
SEKE.
Avi Ziv,
Yoav Katz,
Michal Rimon,
2011,
2011 48th ACM/EDAC/IEEE Design Automation Conference (DAC).
Allon Adir,
Avi Ziv,
Laurent Fournier,
2004,
IEEE Design & Test of Computers.
Allon Adir,
Yossi Lichtenstein,
Michal Rimon,
2005,
Proceedings. 42nd Design Automation Conference, 2005..
Klaus-Dieter Schubert,
Amir Nahir,
L. S. Leitner,
2015,
IBM J. Res. Dev..
Allon Adir,
Michal Rimon,
Eitan Marcus,
2001,
Sixth IEEE International High-Level Design Validation and Test Workshop.