( en | de | ru )

 

Disambiguation of "Askarpour, Mehrnoosh"

Author of the publication

copydeleteadd this publication to your clipboard
Mind the gap: Robotic Mission Planning Meets Software Engineering.

, , , , and . FormaliSE@ICSE, page 55-65. ACM, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Mehrnoosh Jafari

 

Other publications of authors with the same name

A Deployment Framework for Formally Verified Human-Robot Interactions., , , and . IEEE Access, (2021)Mind the gap: Robotic Mission Planning Meets Software Engineering., , , , and . FormaliSE@ICSE, page 55-65. ACM, (2020)Teaching Formal Methods: An Experience Report., and . FISEE, volume 12271 of Lecture Notes in Computer Science, page 3-18. Springer, (2019)How to Formally Model Human in Collaborative Robotics.. FMAS, volume 329 of EPTCS, page 1-14. (2020)RoboMAX: Robotic Mission Adaptation eXemplars., , , , , , , , , and 3 other author(s). SEAMS@ICSE, page 245-251. IEEE, (2021)SAFER-HRC: Safety Analysis Through Formal vERification in Human-Robot Collaboration., , , and . SAFECOMP, volume 9922 of Lecture Notes in Computer Science, page 283-295. Springer, (2016)Model-driven Risk Analysis for the Design of Safe Collaborative Robotic Applications., , , , and . ICHMS, page 1-6. IEEE, (2020)Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications., , , and . SAFECOMP, volume 10488 of Lecture Notes in Computer Science, page 89-104. Springer, (2017)Formal Verification of Human-Robot Interaction in Healthcare Scenarios., , , and . SEFM, volume 12310 of Lecture Notes in Computer Science, page 303-324. Springer, (2020)Safer-HRC: a methodology for safety assessment through formal verification in human-robot collaboration.. Polytechnic University of Milan, Italy, (2018)