关注
Mehrnoosh Askarpour
Mehrnoosh Askarpour
General Motors, McMaster University
在 gm.com 的电子邮件经过验证
标题
引用次数
引用次数
年份
Safety assessment of collaborative robotics through automated formal verification
F Vicentini, M Askarpour, MG Rossi, D Mandrioli
IEEE Transactions on Robotics 36 (1), 42-61, 2020
772020
Formal model of human erroneous behavior for safety analysis in collaborative robotics
M Askarpour, D Mandrioli, M Rossi, F Vicentini
Robotics and computer-integrated Manufacturing 57, 465-476, 2019
682019
SAFER-HRC: Safety analysis through formal verification in human-robot collaboration
M Askarpour, D Mandrioli, M Rossi, F Vicentini
Computer Safety, Reliability, and Security: 35th International Conference …, 2016
512016
Piros: Cooperative, safe and reconfigurable robotic companion for cnc pallets load/unload stations
F Vicentini, N Pedrocchi, M Beschi, M Giussani, N Iannacci, P Magnoni, ...
Bringing innovative robotic technologies from research labs to industrial …, 2020
322020
RoboMAX: Robotic Mission Adaptation eXemplars
M Askarpour, C Tsigkanos, C Menghi, R Calinescu, P Pelliccione, ...
Symposium on Software Engineering for Adaptive and Self-Managing Systems …, 2021
312021
Modeling operator behavior in the safety analysis of collaborative robotic applications
M Askarpour, D Mandrioli, M Rossi, F Vicentini
Computer Safety, Reliability, and Security: 36th International Conference …, 2017
252017
Formal verification of human-robot interaction in healthcare scenarios
L Lestingi, M Askarpour, MM Bersani, M Rossi
Software Engineering and Formal Methods: 18th International Conference, SEFM …, 2020
242020
Co-simulation of human-robot collaboration: From temporal logic to 3D simulation
M Askarpour, M Rossi, O Tiryakiler
arXiv preprint arXiv:2007.11737, 2020
162020
Mission specification patterns for mobile robots: Providing support for quantitative properties
C Menghi, C Tsigkanos, M Askarpour, P Pelliccione, G Vazquez, ...
IEEE Transactions on Software Engineering 49 (4), 2741-2760, 2022
142022
Formally-based model-driven development of collaborative robotic applications
M Askarpour, L Lestingi, S Longoni, N Iannacci, M Rossi, F Vicentini
Journal of Intelligent & Robotic Systems 102 (3), 59, 2021
142021
A deployment framework for formally verified human-robot interactions
L Lestingi, M Askarpour, MM Bersani, M Rossi
IEEE Access 9, 136616-136635, 2021
132021
A model-driven approach for the formal analysis of human-robot interaction scenarios
L Lestingi, M Askarpour, MM Bersani, M Rossi
2020 IEEE International Conference on Systems, Man, and Cybernetics (SMC …, 2020
112020
Formal methods in designing critical cyber-physical systems
M Askarpour, C Ghezzi, D Mandrioli, M Rossi, C Tsigkanos
From Software Engineering to Formal Methods and Tools, and Back: Essays …, 2019
112019
Risk assessment in collaborative robotics
M Askarpour
Proceedings of FMDS, 2016
112016
Search-based software testing driven by automatically generated and manually defined fitness functions
F Formica, T Fan, C Menghi
ACM Transactions on Software Engineering and Methodology 33 (2), 1-37, 2023
92023
How to formally model human in collaborative robotics
M Askarpour
arXiv preprint arXiv:2012.01647, 2020
82020
Teaching formal methods: an experience report
M Askarpour, MM Bersani
International Workshop on Frontiers in Software Engineering Education, 3-18, 2019
82019
Experimental implementation of discrete time quantum walk with the ibm qiskit library
P Olivieri, M Askarpour, E Di Nitto
2021 IEEE/ACM 2nd International Workshop on Quantum Software Engineering (Q …, 2021
62021
Safer-HRC: a methodology for safety assessment through formal verification in human-robot collaboration
M Askarpour
Politecnico di Milano, Italy, 2018
62018
A human-in-the-loop perspective for safety assessment in robotic applications
M Askarpour, D Mandrioli, M Rossi, F Vicentini
Perspectives of System Informatics: 11th International Andrei P. Ershov …, 2018
52018
系统目前无法执行此操作,请稍后再试。
文章 1–20