S. Ur
发表
S. Ur,
Y. Yadin,
1999,
Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361).
A. Paz,
S. Ur,
1993
.
A. Ziv,
S. Ur,
1998
.
Tomás Vojnar,
Bohuslav Krena,
Shmuel Ur,
2010,
PADTAD '10.
Eitan Farchi,
Shmuel Ur,
Marina Biberstein,
2003,
Proceedings International Parallel and Distributed Processing Symposium.
Elad Yom-Tov,
Shmuel Ur,
Shlomo Hoory,
2008,
2008 23rd IEEE/ACM International Conference on Automated Software Engineering.
Zeev Volkovich,
Tomás Vojnar,
Bohuslav Krena,
2017,
Concurr. Comput. Pract. Exp..
Klaus Havelund,
Scott D. Stoller,
Shmuel Ur,
2007,
Concurr. Comput. Pract. Exp..
Tanja E. J. Vos,
Mark Harman,
Paolo Tonella,
2013
.
Avi Ziv,
Shai Fine,
Shmuel Ur,
2004,
Proceedings. 41st Design Automation Conference, 2004..
A. Ziv,
S. Ur,
E. Harel,
1998
.
S. Ur,
Y. Yadin,
1999,
Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361).
S. Ur,
2022
.
A. Ziv,
S. Ur,
E. Marcus,
2002,
Proceedings - Design Automation Conference.
Avner Landver,
Daniel Geist,
Yossi Lichtenstein,
1996
.
A. Ziv,
S. Ur,
E. Harel,
1998,
Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175).
Eitan Farchi,
Shmuel Ur,
Yarden Nir-Buchbinder,
2003,
Concurr. Comput. Pract. Exp..
Eitan Farchi,
Shmuel Ur,
Yarden Nir-Buchbinder,
2003,
Proceedings International Parallel and Distributed Processing Symposium.
Mark Harman,
Shin Yoo,
Shmuel Ur,
2011,
SSBSE.
Eitan Farchi,
Dan Pelleg,
Orna Raz,
2009,
2009 31st International Conference on Software Engineering - Companion Volume.
Richard W. Vuduc,
Daniel J. Quinlan,
Shmuel Ur,
2005,
Haifa Verification Conference.
Shmuel Ur,
Shady Copty,
S. Ur,
2005,
Euro-Par.
Yaron Wolfsthal,
Shmuel Ur,
Gil Ratzaby,
2007
.
Baruch Sterin,
Shmuel Ur,
Gil Ratsaby,
2002,
FME.
Yaron Wolfsthal,
Shmuel Ur,
Gil Ratsaby,
2001,
CHARME.
Avner Landver,
Daniel Geist,
Yossi Lichtenstein,
1996,
FMCAD.
Dean H. Lorenz,
Daniel Lewin,
Shmuel Ur,
1996,
FMCAD.
Onn Shehory,
Orna Raz,
Shmuel Ur,
2011,
2011 33rd International Conference on Software Engineering (ICSE).
Shmuel Ur,
Richard Prewitt,
Yoram Adler,
2009,
International Journal on Software Tools for Technology Transfer.
Eitan Farchi,
Michael Factor,
Shmuel Ur,
2007
.
Elad Yom-Tov,
Shmuel Ur,
Paul Wernick,
2006,
Haifa Verification Conference.
Avi Ziv,
Shmuel Ur,
Steven Mittermaier,
2001,
Proceedings International Test Conference 2001 (Cat. No.01CH37260).
Shmuel Ur,
Rachel Tzoref,
Yaniv Eytani,
2008,
2008 IEEE International Conference on Software Testing Verification and Validation Workshop.
Shmuel Ur,
S. Ur,
2006,
Haifa Verification Conference.
Shmuel Ur,
Yaniv Eytani,
S. Ur,
2004,
18th International Parallel and Distributed Processing Symposium, 2004. Proceedings..
Tomás Vojnar,
Bohuslav Krena,
Shmuel Ur,
2007,
PADTAD '07.
Tomás Vojnar,
Jan Fiedor,
Vendula Hrubá,
2015,
Softw. Test. Verification Reliab..
Tomás Vojnar,
Vendula Hrubá,
Bohuslav Krena,
2012,
SSBSE.
S. Ur,
M. Harman,
S. Yoo,
2013,
Empirical Software Engineering.
Mark Harman,
Shin Yoo,
Shmuel Ur,
2009,
2009 International Conference on Software Testing, Verification, and Validation Workshops.
Eitan Farchi,
Shmuel Ur,
Yarden Nir-Buchbinder,
2001,
JGI '01.
Shmuel Ur,
Erez Buchnik,
S. Ur,
1997,
Proceedings of Joint 4th International Computer Science Conference and 4th Asia Pacific Software Engineering Conference.
Eitan Farchi,
Shmuel Ur,
Yarden Nir-Buchbinder,
2005,
PPoPP.
Eitan Farchi,
Shmuel Ur,
Yarden Nir-Buchbinder,
2009,
PADTAD '09.
Shmuel Ur,
Yarden Nir-Buchbinder,
Rachel Tzoref,
2008,
RV.
Shmuel Ur,
Shady Copty,
S. Ur,
2007,
TV@FLoC.