Mohammad Reza Mousavi

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 6

Top Topics

Real Time Embedded Systems

Multiple Information Sources

Language Identification

Top Venues

Applicable Formal Methods for Safe Industrial Products

Publications

Mohammad Reza Mousavi
Automata Learning for Dynamic Software Product Lines: A Tutorial. SPLC (A) (2023)
Michael E. Akintunde, Martim Brandão, Gunel Jahangirova, Hector Menendez, Mohammad Reza Mousavi, Jie Zhang
On Testing Ethical Autonomous Decision-Making. Applicable Formal Methods for Safe Industrial Products (2023)
Marina Sardà Gou, Gabriella Lakatos, Patrick Holthaus, Luke Jai Wood, Mohammad Reza Mousavi, Ben Robins, Farshid Amirabdollahian
Towards understanding causality - a retrospective study of using explanations in interactions between a humanoid robot and autistic children. RO-MAN (2022)
Mohammad Reza Mousavi, Masoud Ghanbari, S. Ali A. Moosavian, Payam Zarafshan
Rapid and safe wire tension distribution scheme for redundant cable-driven parallel manipulators. Robotica 40 (7) (2022)
Hugo Araújo, Patrick Holthaus, Marina Sardà Gou, Gabriella Lakatos, Giulia Galizia, Luke Wood, Ben Robins, Mohammad Reza Mousavi, Farshid Amirabdollahian
Kaspar Causally Explains. ICSR (2) (2022)
Gabriel Pontolillo, Mohammad Reza Mousavi
A Multi-Lingual Benchmark for Property-Based Testing of Quantum Programs. Q-SE@ICSE (2022)