Mohammad Reza Mousavi
University of Leicester
H-index: 25
Europe-United Kingdom
Top articles of Mohammad Reza Mousavi
Accelerating Finite State Machine-Based Testing using Reinforcement Learning
IEEE Transactions on Software Engineering
2024/1/25
Mohammad Reza Mousavi
H-Index: 15
Model Learning for Improved Trustworthiness in Autonomous Systems (Dagstuhl Seminar 23492)
2024
Delta Debugging for Property-Based Regression Testing of Quantum Programs
2024
Mohammad Reza Mousavi
H-Index: 15
On specifying for trustworthiness
Communications of the ACM
2023/12/21
The Way We Were: Structural Operational Semantics Research in Perspective
arXiv preprint arXiv:2309.07304
2023/9/13
Mohammad Reza Mousavi
H-Index: 15
Automata Learning for Dynamic Software Product Lines: A Tutorial
2023/8/28
Mohammad Reza Mousavi
H-Index: 15
Kaspar Explains: The Effect of Causal Explanations on Visual Perspective Taking Skills in Children with Autism Spectrum Disorder
2023/8/28
Gabriella Lakatos
H-Index: 13
Patrick Holthaus
H-Index: 7
Luke Wood
H-Index: 9
Mohammad Reza Mousavi
H-Index: 15
Farshid Amirabdollahian
H-Index: 21
On Testing Ethical Autonomous Decision-Making
2023/8/17
Martim Brandão
H-Index: 8
Gunel Jahangirova
H-Index: 5
Mohammad Reza Mousavi
H-Index: 15
Jie Zhang
H-Index: 10
Automated and Efficient Test-Generation for Grid-Based Multiagent Systems
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
2023/8
Compositional Learning for Interleaving Parallel Automata.
2023/4/21
Testing, validation, and verification of robotic and autonomous systems: a systematic review
2023/3/30
Mohammad Reza Mousavi
H-Index: 15
Trustworthy autonomous systems through verifiability
Computer
2023/2/10
Mohammad Reza Mousavi
H-Index: 15
Michael Fisher
H-Index: 23
Louise Dennis
H-Index: 16
Rob Richardson
H-Index: 13
Ivan Tyukin
H-Index: 20
Kaspar Causally Explains
2022/12/13
Patrick Holthaus
H-Index: 7
Gabriella Lakatos
H-Index: 13
Luke Wood
H-Index: 9
Mohammad Reza Mousavi
H-Index: 15
Farshid Amirabdollahian
H-Index: 21
Towards understanding causality–a retrospective study of scenarios that trigger explanations in interactions between a humanoid robot and autistic children.
2022/8/29
Gabriella Lakatos
H-Index: 13
Patrick Holthaus
H-Index: 7
Luke Wood
H-Index: 9
Mohammad Reza Mousavi
H-Index: 15
Farshid Amirabdollahian
H-Index: 21
Adaptive behavioral model learning for software product lines
2022/9/12
Ramtin Khosravi
H-Index: 11
Mohammad Reza Mousavi
H-Index: 15
A benchmark for active learning of variability-intensive systems
2022/9/12
Mohammad Reza Mousavi
H-Index: 15
Ramtin Khosravi
H-Index: 11
A policy-aware epistemic framework for social networks
Journal of Logic and Computation
2022/9
Fatemeh Ghassemi
H-Index: 7
Mohammad Reza Mousavi
H-Index: 15
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 …
2021
A multi-lingual benchmark for property-based testing of quantum programs
2022/5/18
Mohammad Reza Mousavi
H-Index: 15
DyNetKAT: An algebra of dynamic networks
2022/3/29