科言猫
学术研究的AI总结
首页
文献互助
订阅
我的收藏
科研工具
选题分析
论文总结
专利管理
未登录
返回
D
Daniela Briola
university of milano-bicocca
10
H指数
64
论文数
294
被引数
0
相关解读
订阅
收录论文
5
发表时间
发表时间
IF
被引数
Automatically generating test cases for safety-critical software via symbolic execution
通过符号执行自动生成安全关键软件的测试用例
JOURNAL OF SYSTEMS AND SOFTWARE
IF
4.1
2023-05-01
9
OA
AI
Kurian, Elson; Briola, Daniela; Braione, Pietro; Denaro, Giovanni
分享
收藏
Special Issue: Agents and Robots for Reliable Engineered Autonomy
JOURNAL OF SENSOR AND ACTUATOR NETWORKS
IF
4.2
2021-07-13
0
OA
AI
Cardoso, Rafael C.; Ferrando, Angelo; Briola, Daniela; Menghi, Claudio; Ahlbrecht, Tobias
分享
收藏
Agents and Robots for Reliable Engineered Autonomy:A Perspective from the Organisers of AREA 2020
JOURNAL OF SENSOR AND ACTUATOR NETWORKS
IF
4.2
2021-05-14
2
OA
AI
Cardoso, Rafael C.; Ferrando, Angelo; Briola, Daniela; Menghi, Claudio; Ahlbrecht, Tobias
分享
收藏
In-the-field monitoring of functional calls: Is it feasible?
JOURNAL OF SYSTEMS AND SOFTWARE
IF
4.1
2020-05-01
4
OA
AI
Cornejo, Oscar; Briola, Daniela; Micucci, Daniela; Mariani, Leonardo
分享
收藏
Field Monitoring With Delayed Saving
IEEE ACCESS
IF
3.6
2019-01-01
3
OA
AI
Cornejo, Oscar; Ginelli, Davide; Briola, Daniela; Micucci, Daniela; Mariani, Leonardo
分享
收藏
研究方向
暂时未获取到该数据
合作学者
合作期刊
L
Leonardo Mariani
H 指数: 30 · 论文数: 283
G
Giovanni Denaro
H 指数: 22 · 论文数: 105
C
Claudio Menghi
H 指数: 17 · 论文数: 110
D
Daniela Micucci
H 指数: 16 · 论文数: 171
A
Angelo Ferrando
H 指数: 15 · 论文数: 177
查看更多