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

Darren Cofer

University of Minnesota Twin Cities

21H指数
95论文数
1.5K被引数
收录论文 6
发表时间
logo
How to Verify Generalization Capability of a Neural Network with Formal Methods如何用形式化方法验证神经网络的泛化能力
errAI VERIFICATION, SAIV 2025
IF0
err2026-01-01
err0
PREAI
errClaviere, Arthur; Kirov, Dmitrii; Cofer, Darren
err分享
err收藏
AADL-Based safety analysis using formal methods applied to aircraft digital systems
errRELIABILITY ENGINEERING & SYSTEM SAFETY
IF11
err2021-09-01
err23
PREAI
errStewart, Danielle; Liu, Jing (Janet); Cofer, Darren; Heimdahl, Mats; Whalen, Michael W.; Peterson, Michael
err分享
err收藏
Requirements and Architectures for Secure Vehicles
errIEEE SOFTWARE
IF3
err2016-07-01
err7
errOAAI
errWhalen, Michael W.; Cofer, Darren; Gacek, Andrew
err分享
err收藏
Your What Is My How: Iteration and Hierarchy in System Design
errIEEE SOFTWARE
IF3
err2013-03-01
err49
errOAAI
errWhalen, Michael W.; Gacek, Andrew; Cofer, Darren; Murugesan, Anitha; Heimdahl, Mats P. E.; Rayadurgam, Sanjai
err分享
err收藏
Software Model Checking Takes Off
errCOMMUNICATIONS OF THE ACM
IF12.2
err2010-02-01
err89
errOAAI
errMiller, Steven P.; Whalen, Michael W.; Cofer, Daren D.
err分享
err收藏
Real-time adaptive resource management for advanced avionics
errIEEE CONTROL SYSTEMS MAGAZINE
IF6.3
err2003-02-01
err7
PREAI
errAgrawal, M; Cofer, D; Samad, T
err分享
err收藏

研究方向

暂无研究方向
合作学者
合作期刊
S
Steven P. Miller
H 指数: 93 · 论文数: 665
刘
刘晶 (Jing Liu)
H 指数: 52 · 论文数: 596
M
Mats P. E. Heimdahl
H 指数: 33 · 论文数: 190
T
Tarıq Samad
H 指数: 31 · 论文数: 219
M
Michael W. Whalen
H 指数: 29 · 论文数: 160
查看更多