logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
E

Eran Yahav

international business machines (ibm)

46H指数
194论文数
6.5K被引数
收录论文 5
发表时间
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏

研究方向

暂无研究方向
合作学者
合作期刊
Y
Yoav Goldberg
H 指数: 58 · 论文数: 354
M
Martin Vechev
H 指数: 54 · 论文数: 349
S
Stephen J. Fink
H 指数: 39 · 论文数: 103
M
Marco Pistoia
H 指数: 35 · 论文数: 229
G
G. Ramalingam
H 指数: 30 · 论文数: 138
查看更多