Mehrnoosh Askarpour

According to our database, Mehrnoosh Askarpour authored at least 24 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties.

Claudio Menghi, Christos Tsigkanos, Mehrnoosh Askarpour, Patrizio Pelliccione, Gricel Vázquez, Radu Calinescu, Sergio García

IEEE Trans. Software Eng., April, 2023

2022

Search-based Software Testing Driven by Automatically Generated and Manually Defined Fitness Functions.

Federico Formica, Mehrnoosh Askarpour, Claudio Menghi

CoRR, 2022

2021

Formally-based Model-Driven Development of Collaborative Robotic Applications.

Mehrnoosh Askarpour, Livia Lestingi, Samuele Longoni, Niccolò Iannacci, Matteo Rossi, Federico Vicentini

J. Intell. Robotic Syst., 2021

Observations on Transitioning to Teaching Computer Science Online.

Mehrnoosh Askarpour

CoRR, 2021

Is the Rush to Machine Learning Jeopardizing Safety? Results of a Survey.

Mehrnoosh Askarpour, Alan Wassyng, Mark Lawford, Richard F. Paige, Zinovy Diskin

CoRR, 2021

A Deployment Framework for Formally Verified Human-Robot Interactions.

Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi

IEEE Access, 2021

RoboMAX: Robotic Mission Adaptation eXemplars.

Mehrnoosh Askarpour, Christos Tsigkanos, Claudio Menghi, Radu Calinescu, Patrizio Pelliccione, Sergio García, Ricardo Caldas, Tim J. von Oertzen, Manuel Wimmer, Luca Berardinelli, Matteo Rossi, Marcello M. Bersani, Gabriel S. Rodrigues

Proceedings of the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2021

Experimental Implementation of Discrete Time Quantum Walk with the IBM Qiskit Library.

Pierriccardo Olivieri, Mehrnoosh Askarpour, Elisabetta Di Nitto

Proceedings of the 2nd IEEE/ACM International Workshop on Quantum Software Engineering, 2021

2020

PIROS: Cooperative, Safe and Reconfigurable Robotic Companion for CNC Pallets Load/Unload Stations.

Federico Vicentini, Nicola Pedrocchi, Manuel Beschi, Matteo Giussani, Niccolò Iannacci, Paolo Magnoni, Stefania Pellegrinelli, Loris Roveda, Enrico Villagrossi, Mehrnoosh Askarpour, Iñaki Maurtua, Alberto Tellaeche, Francesco Becchi, Giovanni Stellin, Giuseppe Fogliazza

Proceedings of the Bringing Innovative Robotic Technologies from Research Labs to Industrial End-users, 2020

Safety Assessment of Collaborative Robotics Through Automated Formal Verification.

Federico Vicentini, Mehrnoosh Askarpour, Matteo Rossi, Dino Mandrioli

IEEE Trans. Robotics, 2020

How to Formally Model Human in Collaborative Robotics.

Mehrnoosh Askarpour

Proceedings of the Proceedings Second Workshop on Formal Methods for Autonomous Systems, 2020

Statistical Model Checking of Human-Robot Interaction Scenarios.

Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi

Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy, 2020

Co-Simulation of Human-Robot Collaboration: from Temporal Logic to 3D Simulation.

Mehrnoosh Askarpour, Matteo Rossi, Omer Tiryakiler

Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy, 2020

A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios.

Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi

Proceedings of the 2020 IEEE International Conference on Systems, Man, and Cybernetics, 2020

Formal Verification of Human-Robot Interaction in Healthcare Scenarios.

Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi

Proceedings of the Software Engineering and Formal Methods - 18th International Conference, 2020

Generalizing an Exactly-1 SAT Solver for Arbitrary Numbers of Variables, Clauses, and K.

Francesco Piro, Mehrnoosh Askarpour, Elisabetta Di Nitto

Proceedings of the Short Papers Proceedings of the 1st International Workshop on Software Engineering & Technology (Q-SET'20) co-located with IEEE International Conference on Quantum Computing and Engineering (IEEE Quantum Week 2020), 2020

Mind the gap: Robotic Mission Planning Meets Software Engineering.

Mehrnoosh Askarpour, Claudio Menghi, Gabriele Belli, Marcello M. Bersani, Patrizio Pelliccione

Proceedings of the FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, 2020

Model-driven Risk Analysis for the Design of Safe Collaborative Robotic Applications.

Mehrnoosh Askarpour, Livia Lestingi, Federico Buran, Matteo Rossi, Federico Vicentini

Proceedings of the IEEE International Conference on Human-Machine Systems, 2020

2019

Teaching Formal Methods: An Experience Report.

Mehrnoosh Askarpour, Marcello M. Bersani

Proceedings of the Frontiers in Software Engineering Education, 2019

Formal Methods in Designing Critical Cyber-Physical Systems.

Mehrnoosh Askarpour, Carlo Ghezzi, Dino Mandrioli, Matteo Rossi, Christos Tsigkanos

Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

2018

Safer-HRC: a methodology for safety assessment through formal verification in human-robot collaboration.

Mehrnoosh Askarpour

PhD thesis, 2018

2017

Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications.

Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi, Federico Vicentini

Proceedings of the Computer Safety, Reliability, and Security, 2017

A Human-in-the-Loop Perspective for Safety Assessment in Robotic Applications.

Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi, Federico Vicentini

Proceedings of the Perspectives of System Informatics, 2017

2016

SAFER-HRC: Safety Analysis Through Formal vERification in Human-Robot Collaboration.

Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi, Federico Vicentini

Proceedings of the Computer Safety, Reliability, and Security, 2016