Publications

Journals

• “Analyzing the impact of human errors on interactive service robotic scenarios via formal verification” (2024). In: Software and Systems Modeling
• “Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties” (2022). In: IEEE Transactions on Software Engineering.
• “A Deployment Framework for Formally Verified Human-Robot Interactions” (2021). In: IEEE Access.
• “Formally-based Model-Driven Development of Collaborative Robotic Applications” (2021). In: Journal of Intelligent & Robotic Systems.
• “Safety Assessment of Collaborative Robotics through Automated Formal Verification”(2020). In: IEEE Transactions on Robotics.
• “Formal Model of Human Erroneous Behavior for Safety Analysis in Collaborative Robotics”(2019). In: Robotics and Computer-Integrated Manufacturing.

Conference Proceedings and Workshops

• “ATheNA-S: A Testing Tool for Simulink Models Driven by Software Requirements and Domain Expertise” (2024). In: Foundations of Software Engineering (FSE)
• “Comprehensive Change Impact Analysis Applied to Advanced Automotive Systems” (2024). In: Computer Safety, Reliability, and Security (SAFECOMP)
• “Robotic Mission Adaptation eXemplars” (2021). In: Artifacts Track of 16th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS). Co-located with ICSE 2021. Pitch video.
• “How to Formally Model Human in Collaborative Robotics” (2020). In: Second Workshop on Formal Methods for Autonomous Systems. Presentation.
• “A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios” (2020). In: IEEE International Conference On Systems, Man, And Cybernetics.
• “Co-Simulation of Human-Robot Collaboration: from Temporal Logic to 3D Simulation” (2020).In: First Workshopon Agents and Robots for reliable Engineered Autonomy. Presentation.
• “Formal Verification of Human-Robot Interaction in Healthcare Scenarios” (2020). In: Software Engineering and Formal Methods - SEFM.
• “Statistical Model Checking of Human-Robot Interaction Scenarios” (2020).In: First Workshop on Agents and Robots for reliable Engineered Autonomy.
• “Mind the gap: Robotic Mission Planning Meets Software Engineering” (2020). In: 8th International Conference On Formal Methods In Software Engineering - Formalise.
• “Model-driven Risk Analysis for the Design of Safe Collaborative Robotic Applications” (2020). In: 1st IEEE International Conference on Human-Machine Systems.
• “Teaching Formal Methods: An Experience Report” (2019). In: First international workshop on Frontiers in Software Engineering Education.
• “Formal Methods in Designing Critical Cyber-Physical Systems” (2019). In: From Software Engineering to Formal Methods and Tools, and Back.
• “A Human-in-the-Loop Perspective for Safety Assessment in Robotic Applications” (2017). In: Perspectives of System Informatics - 11th International Andrei P. Ershov Informatics Conference - PSI.
• “Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications” (2017). In: SAFECOMP: Computer Safety, Reliability, and Security - 36th International Conference.
• “Risk Assessment in Collaborative Robotics”(2016). In: FM-DS:Formal Methods Doctoral Symposium. Vol.1744. CEUR-WS.
• “SAFER-HRC: Safety Analysis Through Formal vERification in Human-Robot Collaboration” (2016). In: SAFECOMP: Computer Safety, Reliability, and Security - 35th International Conference.

Informal Papers

• “Search-based Software Testing Driven by Automatically Generated and Manually Defined Fitness Functions” (2022). ArXiv
• “Is the Rush to Machine Learning Jeopardizing Safety? Results of a Survey” (2021). ArXiv
• “Observations on Transitioning to Teaching Computer Science Online” (2021). ArXiv

Book Chapters

• “PIROS: Cooperative, Safe and Reconfigurable Robotic Companion for CNC Pallets Load/Unload Stations” (2020). In: Bringing Innovative Robotic Technologies from Research Labs to Industrial End-users - The Experience of the European Robotics Challenges, pp. 57–96.

Project Deliverables

• Infrastructure as CodeManagement-Sodalite (SOftware Defined AppLication Infrastructures managemenT and Engineering) (2020). Milan, Italy: Politecnico di Milano.
• Safety Assurance and Using Model Management to Support It: Suggestions on how to integrate aspects of the system/software development and safety processes (2019). Hamilton, Canada: MCMaster University.

My PhD Thesis

• Mehrnoosh Askarpour (2020) Safer-HRC: a methodology for safety assessment through formal verification in human-robot collaboration. Politecnico di Milano, Milan, Italy.

Co-Supervised MSc Students Thesis

• Omer Tiryakiler (2019). Co-simulation Of Human-robot Collaboration (COSIM-HRC): From Temporal Logic To 3D Morse. Politecnico di Milano.
• Federico Buran (2018). Model-driven risk analysis for the design of safe collaborative robotic applications. Politecnico di Milano.
• Livia Lestingi and Samuele Longoni (2017). HRC-TEAM: A Model-driven Approach to Formal Verification and Deployment of Collaborative Robotic Applications. Politecnico di Milano.

Presentations

• Assurance of Complex Software-Intensive Systems using WorkFlow+, MODELS Tutorial Track (2020).
• Safety Assessment of Collaborative Robotics Through Automated Formal Verification, International Conference on Robotics and Automation ICRA (2020).
• Formal Verification-based Risk Assessment for Industrial Human-Robot Collaboration, Prima Conferenza Italiana di Robotica e Macchine Intelligenti (2019).
• Cooperative, safe and reconfigurable robotic companion for CNC pallets load/unload stations: design-time automate safety assessment, Showcasing Workshop European Robotics Challenges (2017).
• SAFER-HRC, First Italian Workshop on Embedded Systems (2016).