Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(55)
Eitan Farchi
14
Yaniv Eytani
4
Avi Ziv
4
Yarden Nir-buchbinder
4
Gil Ratsaby
4
Conferences
(16)
IPDPS(IPPS)
5
ISSTA
5
HVC
3
Euro-Par
2
FMCAD
2
Journals
(5)
CONCURRENCY
4
IBMSJ
1
TC
1
TCS
1
ENTCS
1
Keywords
(77)
Embed
Subscribe
Academic
Authors
Ur Shmuel
Edit
Ur Shmuel
IBM
Publications: 39
|
Citations: 517
|
G-Index: 22
|
H-Index: 11
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Software Engineering
,
Algorithms & Theory
,
Distributed & Parallel Computing
View FAQ about top research area and research interests
Collaborated with
55 co-authors
from 1992 to 2009
; Cited by
557 authors
Bing
Cumulative
Annual
Order by:
Publications
(39)
BibTeX
|
RIS
|
RefWorks
Download
Advanced code coverage analysis using substring holes
(
Citations: 4
)
Yoram Adler
,
Eitan Farchi
,
Moshe Klausner
,
Dan Pelleg
,
Orna Raz
,
Moran Shochat
,
Ur Shmuel
,
Aviad Zlotnick
Conference:
International Symposium on Software Testing and Analysis - ISSTA
, pp. 37-46, 2009
Automated substring hole analysis
(
Citations: 2
)
Yoram Adler
,
Eitan Farchi
,
Moshe Klausner
,
Dan Pelleg
,
Orna Raz
,
Moran Shochat
,
Ur Shmuel
,
Aviad Zlotnick
Conference:
International Conference on Software Engineering - ICSE
, pp. 203-206, 2009
Forcing small models of conditions on program interleaving for detection of concurrent bugs
(
Citations: 1
)
Ehud Trainin
,
Yarden Nir-buchbinder
,
Rachel Tzoref-brill
,
Aviad Zlotnick
,
Ur Shmuel
,
Eitan Farchi
Conference:
International Symposium on Software Testing and Analysis - ISSTA
, pp. 1-6, 2009
A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing
(
Citations: 1
)
Bohuslav Krena
,
Zdenek Letko
,
Yarden Nir-buchbinder
,
Rachel Tzoref-brill
,
Ur Shmuel
,
Tomás Vojnar
Conference:
Runtime Verification - RV
, pp. 101-114, 2009
Deadlocks: From Exhibiting to Healing
(
Citations: 11
)
Yarden Nir-buchbinder
,
Rachel Tzoref
,
Ur Shmuel
Conference:
Runtime Verification - RV
, pp. 104-118, 2008
Order by:
Citations
(517 times by 361 publications)
Delay-bounded scheduling
(
Citations: 2
)
Michael Emmi
,
Shaz Qadeer
,
Zvonimir Rakamarić
Published in 2011.
Coverage guided systematic concurrency testing
(
Citations: 2
)
Chao Wang
,
Mahmoud Said
,
Aarti Gupta
Conference:
International Conference on Software Engineering - ICSE
, pp. 221-230, 2011
Execution Hijacking: Improving Dynamic Analysis by Flying off Course
(
Citations: 1
)
Petar Tsankov
,
Wei Jin
,
Alessandro Orso
,
Saurabh Sinha
Conference:
International Conference on Software Testing, Verification, and Validation - ICST
, pp. 200-209, 2011
A decision procedure for detecting atomicity violations for communicating processes with locks
(
Citations: 1
)
Nicholas Kidd
,
Peter Lammich
,
Tayssir Touili
,
Thomas W. Reps
Journal:
International Journal on Software Tools for Technology Transfer - STTT
, vol. 13, no. 1, pp. 37-60, 2011
Generating Data Race Witnesses by an SMT-Based Analysis
(
Citations: 1
)
Mahmoud Said
,
Chao Wang
,
Zijiang Yang
,
Karem Sakallah
Published in 2011.
Comments