logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
E

Eran Yahav

international business machines (ibm)

46H-index
194Paper Count
6.5KCitation Count
Published Papers 5
Publication Date
logo
Extracting automata from recurrent neural networks using queries and counterexamples (extended version) (vol 113, pg 2877, 2024)
errMACHINE LEARNING
IF2.9
err2024-10-15
err0
errOAAI
errWeiss, Gail; Goldberg, Yoav; Yahav, Eran
errShare
errSave
Extracting automata from recurrent neural networks using queries and counterexamples (extended version)
errMACHINE LEARNING
IF2.9
err2022-06-08
err3
errOAAI
errWeiss, Gail; Goldberg, Yoav; Yahav, Eran
errShare
errSave
QVM: An Efficient Runtime for Detecting Defects in Deployed Systems
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2011-12-01
err16
errOAAI
errArnold, Matthew; Vechev, Martin; Yahav, Eran
errShare
errSave
Static specification mining using automata-based abstractions
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2008-09-01
err53
PREAI
errShoham, Sharon; Yahav, Eran; Fink, Stephen J.; Pistoia, Marco
errShare
errSave
Effective typestate verification in the presence of aliasing
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2008-05-05
err103
errOAAI
errFink, Stephen J.; Yahav, Eran; Dor, Nurit; Ramalingam, G.; Geay, Emmanuel
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
Y
Yoav Goldberg
H-index: 58 · Papers: 354
M
Martin Vechev
H-index: 54 · Papers: 349
S
Stephen J. Fink
H-index: 39 · Papers: 103
M
Marco Pistoia
H-index: 35 · Papers: 229
G
G. Ramalingam
H-index: 30 · Papers: 138
View more