科言猫
学术研究的AI总结
首页
文献互助
订阅
我的收藏
科研工具
选题分析
论文总结
专利管理
未登录
返回
M
Mehrnoosh Askarpour
General Motors
10
H指数
30
论文数
350
被引数
0
相关解读
订阅
收录论文
6
发表时间
发表时间
IF
被引数
Safety Analysis of Over-the-Air Updates for CPS: A Contract-Driven Approach
针对CPS的空中下载更新安全性分析:一种契约驱动方法
IEEE Transactions on Software Engineering
IF
5.6
2026-03-01
0
PRE
AI
Bisceglia, Nunzio Marco; Zanenga, Aurora Francesca; Askarpour, Mehrnoosh; Kokaly, Sahar; Ramesh, S.; Chechik, Marsha; Menghi, Claudio
分享
收藏
Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF
5.6
2023-04-01
5
OA
AI
Menghi, Claudio; Tsigkanos, Christos; Askarpour, Mehrnoosh; Pelliccione, Patrizio; Vazquez, Gricel; Calinescu, Radu; Garcia, Sergio
分享
收藏
Formally-based Model-Driven Development of Collaborative Robotic Applications
JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS
IF
2.8
2021-06-04
10
OA
AI
Askarpour, Mehrnoosh; Lestingi, Livia; Longoni, Samuele; Iannacci, Niccolo; Rossi, Matteo; Vicentini, Federico
分享
收藏
A Deployment Framework for Formally Verified Human-Robot Interactions
IEEE ACCESS
IF
3.6
2021-01-01
10
OA
AI
Lestingi, Livia; Askarpour, Mehrnoosh; Bersani, Marcello M.; Rossi, Matteo
分享
收藏
Safety Assessment of Collaborative Robotics Through Automated Formal Verification
IEEE TRANSACTIONS ON ROBOTICS
IF
10.5
2020-02-01
58
OA
AI
Vicentini, Federico; Askarpour, Mehrnoosh; Rossi, Matteo G.; Mandrioli, Dino
分享
收藏
Formal model of human erroneous behavior for safety analysis in collaborative robotics
用于协作机器人安全分析的人类错误行为的形式化模型
ROBOTICS AND COMPUTER-INTEGRATED MANUFACTURING
IF
11.4
2019-06-01
46
OA
AI
Askarpour, Mehrnoosh; Mandrioli, Dino; Rossi, Matteo; Vicentini, Federico
分享
收藏
研究方向
暂时未获取到该数据
合作学者
合作期刊
P
Patrizio Pelliccione
H 指数: 34 · 论文数: 326
R
Radu Călinescu
H 指数: 32 · 论文数: 276
D
Dino Mandrioli
H 指数: 31 · 论文数: 185
F
Federico Vicentini
H 指数: 20 · 论文数: 74
C
Christos Tsigkanos
H 指数: 19 · 论文数: 74
查看更多