Mehrnoosh Askarpour

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 24

Top Topics

Safety Analysis

Formal Verification

Automatically Generate

Top Venues

IEEE Trans. Robotics

Publications

Federico Formica, Mohammad Mahdi Mahboob, Mehrnoosh Askarpour, Claudio Menghi
ATheNA-S: A Testing Tool for Simulink Models Driven by Software Requirements and Domain Expertise. SIGSOFT FSE Companion (2024)
Livia Lestingi, Andrea Manglaviti, Davide Marinaro, Luca Marinello, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification. Softw. Syst. Model. 23 (2) (2024)
Claudio Menghi, Christos Tsigkanos, Mehrnoosh Askarpour, Patrizio Pelliccione, Gricel Vázquez, Radu Calinescu, Sergio García
Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties. IEEE Trans. Software Eng. 49 (4) (2023)
Federico Formica, Mehrnoosh Askarpour, Claudio Menghi
Search-based Software Testing Driven by Automatically Generated and Manually Defined Fitness Functions. CoRR (2022)
Mehrnoosh Askarpour
Observations on Transitioning to Teaching Computer Science Online. CoRR (2021)
Mehrnoosh Askarpour, Livia Lestingi, Samuele Longoni, Niccolò Iannacci, Matteo Rossi, Federico Vicentini
Formally-based Model-Driven Development of Collaborative Robotic Applications. J. Intell. Robotic Syst. 102 (3) (2021)
Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi
A Deployment Framework for Formally Verified Human-Robot Interactions. IEEE Access 9 (2021)
Pierriccardo Olivieri, Mehrnoosh Askarpour, Elisabetta Di Nitto
Experimental Implementation of Discrete Time Quantum Walk with the IBM Qiskit Library. Q-SE@ICSE (2021)
Mehrnoosh Askarpour, Alan Wassyng, Mark Lawford, Richard F. Paige, Zinovy Diskin
Is the Rush to Machine Learning Jeopardizing Safety? Results of a Survey. CoRR (2021)
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
RoboMAX: Robotic Mission Adaptation eXemplars. SEAMS@ICSE (2021)
Francesco Piro, Mehrnoosh Askarpour, Elisabetta Di Nitto
Generalizing an Exactly-1 SAT Solver for Arbitrary Numbers of Variables, Clauses, and K. Q-SET@QCE (2020)
Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi
Statistical Model Checking of Human-Robot Interaction Scenarios. AREA@ECAI (2020)
Mehrnoosh Askarpour, Livia Lestingi, Federico Buran, Matteo Rossi, Federico Vicentini
Model-driven Risk Analysis for the Design of Safe Collaborative Robotic Applications. ICHMS (2020)
Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi
Formal Verification of Human-Robot Interaction in Healthcare Scenarios. SEFM (2020)
Mehrnoosh Askarpour
How to Formally Model Human in Collaborative Robotics. FMAS (2020)
Federico Vicentini, Mehrnoosh Askarpour, Matteo Rossi, Dino Mandrioli
Safety Assessment of Collaborative Robotics Through Automated Formal Verification. IEEE Trans. Robotics 36 (1) (2020)
Mehrnoosh Askarpour, Matteo Rossi, Omer Tiryakiler
Co-Simulation of Human-Robot Collaboration: from Temporal Logic to 3D Simulation. AREA@ECAI (2020)
Mehrnoosh Askarpour, Claudio Menghi, Gabriele Belli, Marcello M. Bersani, Patrizio Pelliccione
Mind the gap: Robotic Mission Planning Meets Software Engineering. FormaliSE@ICSE (2020)
Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi
A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios. SMC (2020)
Mehrnoosh Askarpour, Carlo Ghezzi, Dino Mandrioli, Matteo Rossi, Christos Tsigkanos
Formal Methods in Designing Critical Cyber-Physical Systems. From Software Engineering to Formal Methods and Tools, and Back (2019)
Mehrnoosh Askarpour, Marcello M. Bersani
Teaching Formal Methods: An Experience Report. FISEE (2019)
Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi, Federico Vicentini
A Human-in-the-Loop Perspective for Safety Assessment in Robotic Applications. Ershov Informatics Conference (2017)
Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi, Federico Vicentini
Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications. SAFECOMP (2017)
Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi, Federico Vicentini
SAFER-HRC: Safety Analysis Through Formal vERification in Human-Robot Collaboration. SAFECOMP (2016)