SAFER-HRC: Safety Analysis Through Formal vERification in Human-Robot Collaboration. - Mehrnoosh Askarpour; Dino Mandrioli; Matteo Rossi 001; Federico Vicentini (SAFECOMP, 2016)

A Human-in-the-Loop Perspective for Safety Assessment in Robotic Applications. - Mehrnoosh Askarpour; Dino Mandrioli; Matteo Rossi 001; Federico Vicentini (Ershov Informatics Conference, 2017)

Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications. - Mehrnoosh Askarpour; Dino Mandrioli; Matteo Rossi 001; Federico Vicentini (SAFECOMP, 2017)

Safer-HRC: a methodology for safety assessment through formal verification in human-robot collaboration. - Mehrnoosh Askarpour (2018)

Formal Methods in Designing Critical Cyber-Physical Systems. - Mehrnoosh Askarpour; Carlo Ghezzi; Dino Mandrioli; Matteo Rossi 001; Christos Tsigkanos (From Software Engineering to Formal Methods and Tools, and Back, 2019)

Teaching Formal Methods: An Experience Report. - Mehrnoosh Askarpour; Marcello M. Bersani (FISEE, 2019)

Model-driven Risk Analysis for the Design of Safe Collaborative Robotic Applications. - Mehrnoosh Askarpour; Livia Lestingi; Federico Buran; Matteo Rossi 001; Federico Vicentini (ICHMS, 2020)

Mind the gap: Robotic Mission Planning Meets Software Engineering. - Mehrnoosh Askarpour; Claudio Menghi; Gabriele Belli; Marcello M. Bersani; Patrizio Pelliccione (FormaliSE@ICSE, 2020)

Generalizing an Exactly-1 SAT Solver for Arbitrary Numbers of Variables, Clauses, and K. - Francesco Piro; Mehrnoosh Askarpour; Elisabetta Di Nitto (Q-SET@QCE, 2020)

Formal Verification of Human-Robot Interaction in Healthcare Scenarios. - Livia Lestingi; Mehrnoosh Askarpour; Marcello M. Bersani; Matteo Rossi 001 (SEFM, 2020)

A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios. - Livia Lestingi; Mehrnoosh Askarpour; Marcello M. Bersani; Matteo Rossi 001 (SMC, 2020)

Co-Simulation of Human-Robot Collaboration: from Temporal Logic to 3D Simulation. - Mehrnoosh Askarpour; Matteo Rossi 001; Omer Tiryakiler (AREA@ECAI, 2020)

Statistical Model Checking of Human-Robot Interaction Scenarios. - Livia Lestingi; Mehrnoosh Askarpour; Marcello M. Bersani; Matteo Rossi 001 (AREA@ECAI, 2020)

How to Formally Model Human in Collaborative Robotics. - Mehrnoosh Askarpour (FMAS, 2020)

Safety Assessment of Collaborative Robotics Through Automated Formal Verification. - Federico Vicentini; Mehrnoosh Askarpour; Matteo Rossi 001; Dino Mandrioli (IEEE Trans. Robotics, 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; et al. (EuRoC, 2020)

Experimental Implementation of Discrete Time Quantum Walk with the IBM Qiskit Library. - Pierriccardo Olivieri; Mehrnoosh Askarpour; Elisabetta Di Nitto (Q-SE@ICSE, 2021)

RoboMAX: Robotic Mission Adaptation eXemplars. - Mehrnoosh Askarpour; Christos Tsigkanos; Claudio Menghi; Radu Calinescu; Patrizio Pelliccione; Sergio García 002; Ricardo Caldas; Tim J. von Oertzen; Manuel Wimmer; Luca Berardinelli; Matteo Rossi 001; Marcello M. Bersani; et al. (SEAMS@ICSE, 2021)

A Deployment Framework for Formally Verified Human-Robot Interactions. - Livia Lestingi; Mehrnoosh Askarpour; Marcello M. Bersani; Matteo Rossi 001 (IEEE Access, 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)

Observations on Transitioning to Teaching Computer Science Online. - Mehrnoosh Askarpour (CoRR, 2021)

Formally-based Model-Driven Development of Collaborative Robotic Applications. - Mehrnoosh Askarpour; Livia Lestingi; Samuele Longoni; Niccolò Iannacci; Matteo Rossi 001; Federico Vicentini (J. Intell. Robotic Syst., 2021)

Search-based Software Testing Driven by Automatically Generated and Manually Defined Fitness Functions. - Federico Formica; Mehrnoosh Askarpour; Claudio Menghi (CoRR, 2022)

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 002 (IEEE Trans. Software Eng., 2023)

Evaluation of Automotive OTA Updates Using Assurance Cases. - Ali Raeisdanaei; Logan Murphy; Alessio Di Sandro; Mehrnoosh Askarpour; Torin Viger; Marsha Chechik (MoDELS (Companion), 2024)

Comprehensive Change Impact Analysis Applied to Advanced Automotive Systems. - Nicholas Annable; Mehrnoosh Askarpour; Thomas Chiang; Sahar Kokaly; Mark Lawford; Richard F. Paige; S. Ramesh 002; Alan Wassyng (SAFECOMP, 2024)

ATheNA-S: A Testing Tool for Simulink Models Driven by Software Requirements and Domain Expertise. - Federico Formica; Mohammad Mahdi Mahboob; Mehrnoosh Askarpour; Claudio Menghi (SIGSOFT FSE Companion, 2024)

An Exploration of Agile Methods in the Automotive Industry: Benefits, Challenges and Opportunities. - Mehrnoosh Askarpour; Sahar Kokaly; Ramesh S (CoRR, 2024)

Analyzing the impact of human errors on interactive service robotic scenarios via formal verification. - Livia Lestingi; Andrea Manglaviti; Davide Marinaro; Luca Marinello; Mehrnoosh Askarpour; Marcello M. Bersani; Matteo Rossi 001 (Softw. Syst. Model., 2024)