Mohammad Reza Mousavi
University of Leicester
H-index: 25
Europe-United Kingdom
Top articles of Mohammad Reza Mousavi
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Accelerating Finite State Machine-Based Testing using Reinforcement Learning | IEEE Transactions on Software Engineering | Uraz Cengiz Türker Robert M Hierons Khaled El-Fakih Mohammad Reza Mousavi Ivan Y Tyukin | 2024/1/25 |
Model Learning for Improved Trustworthiness in Autonomous Systems (Dagstuhl Seminar 23492) | Ellen Enkel Nils Jansen Mohammad Reza Mousavi Kristin Yvonne Rozier | 2024 | |
Delta Debugging for Property-Based Regression Testing of Quantum Programs | Gabriel Pontolillo Mohammad Reza Mousavi | 2024 | |
Automata Learning for Dynamic Software Product Lines: A Tutorial | Mohammad Reza Mousavi | 2023/8/28 | |
Trustworthy autonomous systems through verifiability | Computer | Mohammad Reza Mousavi Ana Cavalcanti Michael Fisher Louise Dennis Rob Hierons | 2023/2/10 |
Kaspar Explains: The Effect of Causal Explanations on Visual Perspective Taking Skills in Children with Autism Spectrum Disorder | Marina Sarda Gou Gabriella Lakatos Patrick Holthaus Ben Robins Sílvia Moros | 2023/8/28 | |
On Testing Ethical Autonomous Decision-Making | Michael E Akintunde Martim Brandão Gunel Jahangirova Hector Menendez Mohammad Reza Mousavi | 2023/8/17 | |
Automated and Efficient Test-Generation for Grid-Based Multiagent Systems | ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY | Sina Entekhabi Wojciech Mostowski Mohammadreza Mousavi | 2023/8 |
On specifying for trustworthiness | Communications of the ACM | Dhaminda B Abeywickrama Amel Bennaceur Greg Chance Yiannis Demiris Anastasia Kordoni | 2023/12/21 |
Compositional Learning for Interleaving Parallel Automata. | Faezeh Labbaf Jan Friso Groote Hossein Hojjat Mohammad Reza Mousavi | 2023/4/21 | |
The Way We Were: Structural Operational Semantics Research in Perspective | arXiv preprint arXiv:2309.07304 | Luca Aceto Pierluigi Crescenzi Anna Ingólfsdóttir Mohammad Reza Mousavi | 2023/9/13 |
Testing, validation, and verification of robotic and autonomous systems: a systematic review | Hugo Araujo Mohammad Reza Mousavi Mahsa Varshosaz | 2023/3/30 | |
Trustworthy Autonomous Systems (TAS): The Verifiability Approach | Mohammad Reza Mousavi | 2022 | |
A policy-aware epistemic framework for social networks | Journal of Logic and Computation | Zahra Moezkarimi Fatemeh Ghassemi Mohammad Reza Mousavi | 2022/9 |
Connected tech: Smart or sinister?: A call for evidence from the Department of Digital, Culture, Media, and Sport | Bev Townsend Richard Hyde Joseph Lindley Michael Stead Paul Coulton | 2022 | |
Formal Techniques for Distributed Objects, Components, and Systems: 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated … | Kirstin Peters Tim AC Willemse | 2021 | |
Kaspar Causally Explains | Hugo Araujo Patrick Holthaus Marina Sarda Gou Gabriella Lakatos Giulia Galizia | 2022/12/13 | |
A multi-lingual benchmark for property-based testing of quantum programs | Gabriel Pontolillo Mohammad Reza Mousavi | 2022/5/18 | |
Towards understanding causality–a retrospective study of scenarios that trigger explanations in interactions between a humanoid robot and autistic children. | Marina Sarda Gou Gabriella Lakatos Patrick Holthaus Luke Wood Mohammad Reza Mousavi | 2022/8/29 | |
DyNetKAT: An algebra of dynamic networks | Georgiana Caltais Hossein Hojjat Mohammad Reza Mousavi Hünkar Can Tunç | 2022/3/29 |