arrow
返回
M

Mehrnoosh Askarpour

General Motors

10H指数
30论文数
350被引数
收录论文 6
发表时间
Safety Analysis of Over-the-Air Updates for CPS: A Contract-Driven Approach针对CPS的空中下载更新安全性分析:一种契约驱动方法
err2026-03-01
err0
PREAI
errBisceglia, Nunzio Marco; Zanenga, Aurora Francesca; Askarpour, Mehrnoosh; Kokaly, Sahar; Ramesh, S.; Chechik, Marsha; Menghi, Claudio
err分享
err收藏
Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties
err2023-04-01
err5
errOAAI
errMenghi, Claudio; Tsigkanos, Christos; Askarpour, Mehrnoosh; Pelliccione, Patrizio; Vazquez, Gricel; Calinescu, Radu; Garcia, Sergio
err分享
err收藏
Formally-based Model-Driven Development of Collaborative Robotic Applications
err2021-06-04
err10
errOAAI
errAskarpour, Mehrnoosh; Lestingi, Livia; Longoni, Samuele; Iannacci, Niccolo; Rossi, Matteo; Vicentini, Federico
err分享
err收藏
A Deployment Framework for Formally Verified Human-Robot Interactions
err2021-01-01
err10
errOAAI
errLestingi, Livia; Askarpour, Mehrnoosh; Bersani, Marcello M.; Rossi, Matteo
err分享
err收藏
Safety Assessment of Collaborative Robotics Through Automated Formal Verification
err2020-02-01
err58
errOAAI
errVicentini, Federico; Askarpour, Mehrnoosh; Rossi, Matteo G.; Mandrioli, Dino
err分享
err收藏