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

Doron Drusinsky

United States Department of Defense

15H指数
98论文数
1.3K被引数
收录论文 6
发表时间
logo
Generative AI Regulation Is an Undecidable Problem生成式AI监管是一个不可判定问题
errCOMPUTER
IF2.3
err2025-10-01
err0
PREAI
errDrusinsky, Doron; Michael, James Bret
err分享
err收藏
Discovering Decision Manifolds to Assure Trusted Autonomous Systems发现决策流形以确保可信自主系统
errieee open journal of circuits and systems
IF4.4
err2025-06-01
err0
PREAI
errMatthew Litton; Doron Drusinsky; James Bret Michael
err分享
err收藏
Modeling Human-in-the-Loop Security Analysis and Decision-Making Processes
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2014-02-01
err10
PREAI
errSchumann, Michael A.; Drusinsky, Doron; Michael, James B.; Wijesekera, Duminda
err分享
err收藏
End-to-End Formal Specification, Validation, and Verification Process: A Case Study of Space Flight Software
errieee open journal of circuits and systems
IF4.4
err2013-12-01
err5
errOAAI
errBergue Alves, Miriam C.; Drusinsky, Doron; Michael, James Bret; Shing, Man-Tak
err分享
err收藏
Verification and Validation for Trustworthy Software Systems
errIEEE SOFTWARE
IF3
err2011-11-01
err17
PREAI
errMichael, James Bret; Drusinsky, Doron; Otani, Thomas W.; Shing, Man-Tak
err分享
err收藏
A Visual Tradeoff Space for Formal Verification and Validation Techniques
errieee open journal of circuits and systems
IF4.4
err2008-12-01
err16
errOAAI
errDrusinsky, Doron; Michael, James Bret; Shing, Man-Tak
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
D
Duminda Wijesekera
H 指数: 30 · 论文数: 329
J
James Michael
H 指数: 21 · 论文数: 192
M
Man‐Tak Shing
H 指数: 16 · 论文数: 123
J
James Bret Michael
H 指数: 15 · 论文数: 111
T
Thomas W. Otani
H 指数: 5 · 论文数: 22
查看更多