Mehrnoosh Askarpour

31 papers B 5Journal 10Unranked 13
YearRankTypeTitle / Venue / Authors
2026 J jnl
Safety Analysis of Over-the-Air Updates for CPS: A Contract-Driven Approach.
IEEE Trans. Software Eng.
Nunzio Marco Bisceglia, Aurora Francesca Zanenga, Mehrnoosh Askarpour, Sahar Kokaly, S. Ramesh, Marsha Chechik, Claudio Menghi
2024 — conf
ATheNA-S: A Testing Tool for Simulink Models Driven by Software Requirements and Domain Expertise.
SIGSOFT FSE Companion
Federico Formica, Mohammad Mahdi Mahboob, Mehrnoosh Askarpour, Claudio Menghi
2024 J jnl
An Exploration of Agile Methods in the Automotive Industry: Benefits, Challenges and Opportunities.
CoRR
Mehrnoosh Askarpour, Sahar Kokaly, Ramesh S
2024 J jnl
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification.
Softw. Syst. Model.
Livia Lestingi, Andrea Manglaviti, Davide Marinaro, Luca Marinello, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi
2024 B conf
Comprehensive Change Impact Analysis Applied to Advanced Automotive Systems.
SAFECOMP
Nicholas Annable, Mehrnoosh Askarpour, Thomas Chiang, Sahar Kokaly, Mark Lawford, Richard F. Paige, S. Ramesh, Alan Wassyng
2024 — conf
Evaluation of Automotive OTA Updates Using Assurance Cases.
MoDELS (Companion)
Ali Raeisdanaei, Logan Murphy, Alessio Di Sandro, Mehrnoosh Askarpour, Torin Viger, Marsha Chechik
2023 J jnl
Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties.
IEEE Trans. Software Eng.
Claudio Menghi, Christos Tsigkanos, Mehrnoosh Askarpour, Patrizio Pelliccione, Gricel Vázquez, Radu Calinescu, Sergio García
2022 — ed.
Proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@IJCAI-ECAI 2022, Vienna, Austria, 24th July 2022.
AREA@IJCAI-ECAI
Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini, Mehrnoosh Askarpour, Louise A. Dennis
2022 J jnl
Search-based Software Testing Driven by Automatically Generated and Manually Defined Fitness Functions.
CoRR
Federico Formica, Mehrnoosh Askarpour, Claudio Menghi
2021 J jnl
A Deployment Framework for Formally Verified Human-Robot Interactions.
IEEE Access
Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi
2021 — conf
Experimental Implementation of Discrete Time Quantum Walk with the IBM Qiskit Library.
Q-SE@ICSE
Pierriccardo Olivieri, Mehrnoosh Askarpour, Elisabetta Di Nitto
2021 J jnl
Formally-based Model-Driven Development of Collaborative Robotic Applications.
J. Intell. Robotic Syst.
Mehrnoosh Askarpour, Livia Lestingi, Samuele Longoni, Niccolò Iannacci, Matteo Rossi, Federico Vicentini
2021 J jnl
Is the Rush to Machine Learning Jeopardizing Safety? Results of a Survey.
CoRR
Mehrnoosh Askarpour, Alan Wassyng, Mark Lawford, Richard F. Paige, Zinovy Diskin
2021 J jnl
Observations on Transitioning to Teaching Computer Science Online.
CoRR
Mehrnoosh Askarpour
2021 — conf
RoboMAX: Robotic Mission Adaptation eXemplars.
SEAMS@ICSE
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
2020 B conf
A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios.
SMC
Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi
2020 — conf
Co-Simulation of Human-Robot Collaboration: from Temporal Logic to 3D Simulation.
AREA@ECAI
Mehrnoosh Askarpour, Matteo Rossi, Omer Tiryakiler
2020 B conf
Formal Verification of Human-Robot Interaction in Healthcare Scenarios.
SEFM
Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi
2020 — conf
Generalizing an Exactly-1 SAT Solver for Arbitrary Numbers of Variables, Clauses, and K.
Q-SET@QCE
Francesco Piro, Mehrnoosh Askarpour, Elisabetta Di Nitto
2020 — conf
How to Formally Model Human in Collaborative Robotics.
FMAS
Mehrnoosh Askarpour
2020 — conf
Mind the gap: Robotic Mission Planning Meets Software Engineering.
FormaliSE@ICSE
Mehrnoosh Askarpour, Claudio Menghi, Gabriele Belli, Marcello M. Bersani, Patrizio Pelliccione
2020 — conf
Model-driven Risk Analysis for the Design of Safe Collaborative Robotic Applications.
ICHMS
Mehrnoosh Askarpour, Livia Lestingi, Federico Buran, Matteo Rossi, Federico Vicentini
2020 — ch.
PIROS: Cooperative, Safe and Reconfigurable Robotic Companion for CNC Pallets Load/Unload Stations.
EuRoC
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
2020 J jnl
Safety Assessment of Collaborative Robotics Through Automated Formal Verification.
IEEE Trans. Robotics
Federico Vicentini, Mehrnoosh Askarpour, Matteo Rossi, Dino Mandrioli
2020 — conf
Statistical Model Checking of Human-Robot Interaction Scenarios.
AREA@ECAI
Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi
2019 — conf
Formal Methods in Designing Critical Cyber-Physical Systems.
From Software Engineering to Formal Methods and Tools, and Back
Mehrnoosh Askarpour, Carlo Ghezzi, Dino Mandrioli, Matteo Rossi, Christos Tsigkanos
2019 — conf
Teaching Formal Methods: An Experience Report.
FISEE
Mehrnoosh Askarpour, Marcello M. Bersani
2018 — —
Safer-HRC: a methodology for safety assessment through formal verification in human-robot collaboration.
Mehrnoosh Askarpour
2017 — conf
A Human-in-the-Loop Perspective for Safety Assessment in Robotic Applications.
Ershov Informatics Conference
Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi, Federico Vicentini
2017 B conf
Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications.
SAFECOMP
Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi, Federico Vicentini
2016 B conf
SAFER-HRC: Safety Analysis Through Formal vERification in Human-Robot Collaboration.
SAFECOMP
Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi, Federico Vicentini