Mehrnoosh Askarpour
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
7
Active years
2016–2024
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | MODELS | Evaluation of Automotive OTA Updates Using Assurance Cases. | Ali Raeisdanaei, Logan Murphy, Alessio Di Sandro, Mehrnoosh Askarpour, Torin Viger, Marsha Chechik |
| 2024 | SAFECOMP | Comprehensive Change Impact Analysis Applied to Advanced Automotive Systems. | Nicholas Annable, Mehrnoosh Askarpour, Thomas Chiang, Sahar Kokaly, Mark Lawford, Richard F. Paige, S. Ramesh, Alan Wassyng |
| 2021 | SEAMS | RoboMAX: Robotic Mission Adaptation eXemplars. | Mehrnoosh Askarpour, Christos Tsigkanos, Claudio Menghi, Radu Calinescu, Patrizio Pelliccione, Sergio Garca, Ricardo Caldas, Tim J. von Oertzen, Manuel Wimmer, Luca Berardinelli, Matteo Rossi, Marcello M. Bersani, Gabriel S. Rodrigues |
| 2020 | ICSE | Mind the gap: Robotic Mission Planning Meets Software Engineering. | Mehrnoosh Askarpour, Claudio Menghi, Gabriele Belli, Marcello M. Bersani, Patrizio Pelliccione |
| 2020 | QCE | Generalizing an Exactly-1 SAT Solver for Arbitrary Numbers of Variables, Clauses, and K. | Francesco Piro, Mehrnoosh Askarpour, Elisabetta Di Nitto |
| 2020 | SMC | A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios. | Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi |
| 2020 | SEFM | Formal Verification of Human-Robot Interaction in Healthcare Scenarios. | Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi |
| 2017 | SAFECOMP | Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications. | Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi, Federico Vicentini |
| 2016 | SAFECOMP | SAFER-HRC: Safety Analysis Through Formal vERification in Human-Robot Collaboration. | Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi, Federico Vicentini |