Mohammad Reza Mousavi

基本信息

Career Trajectory

Bio

He has had various leadership positions in his past appointments, such as managing educational programs, leading research teams, and leading research-centre-building initiatives. Mohammad's main research area is in model-based testing, particularly applied to software product lines and cyber-physical systems. He has been leading several research initiatives and industrial collaboration projects on healthcare and automotive systems their validation, verification, and certification.

Research Interests

Papers共 243 篇Author StatisticsCo-AuthorSimilar Experts

By YearBy Citation主题筛选期刊级别筛选合作者筛选合作机构筛选

Accelerating Finite State Machine-Based Testing Using Reinforcement Learning

Uraz Cengiz Turker,Robert M. Hierons,Khaled El-Fakih,Mohammad Reza Mousavi,Ivan Y. Tyukin

IEEE TRANSACTIONS ON SOFTWARE ENGINEERINGno. 3 (2024): 574-597

Cited0Views0EIWOSBibtex

Causal Model Discovery in Cancer Guided by Cellular Pathways

Rodrigo Henrique Ramos,Adenilso Simão,Mohammad Reza Mousavi

CMSBpp.174-195, (2024)

Cited0Views0EIBibtex

Delta Debugging for Property-Based Regression Testing of Quantum Programs

Gabriel Pontolillo,Mohammad Reza Mousavi

PROCEEDINGS OF THE 2024 IEEE/ACM 5TH INTERNATIONAL WORKSHOP ON QUANTUM SOFTWARE ENGINEERING, Q-SE 2024pp.1-8, (2024)

Cited0Views0EIWOSBibtex

Towards a Formal Testing Theory for Quantum Processes

Mohammad Reza Mousavi,Kirstin Peters,Anna Schmitt

Leveraging Applications of Formal Methods, Verification and Validationpp.111-131, (2024)

Cited0Views0EIBibtex

MirrorFair: Fixing Fairness Bugs in Machine Learning Software Via Counterfactual Predictions

Ying Xiao,Jie M. Zhang,Yepang Liu,Mohammad Reza Mousavi,Sicen Liu, Dingyuan Xue

Proc ACM Softw Engno. FSE (2024): 2121-2143

Cited0Views0EIBibtex

Property-Based Testing and Debugging of Quantum Programs (Keynote)

Mohammad Reza Mousavi

PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON THE ART, SCIENCE, AND ENGINEERING OF PROGRAMMING, PROGRAMMING COMPANION 2024pp.117-117, (2024)

Cited0Views0EIBibtex

Automated and Efficient Test-Generation for Grid-Based Multiagent Systems: Comparing Random Input Filtering Versus Constraint Solving

Sina Entekhabi,Wojciech Mostowski,Mohammad Reza Mousavi

ACM Transactions on Software Engineering and Methodologyno. 1 (2023): 1-32

Cited0Views0EIBibtex

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,Silvia Moros,Luke Wood,Hugo Araujo, Christine deGraft-Hanson,Mohammad Reza Mousavi,Farshid Amirabdollahian

2023 32ND IEEE INTERNATIONAL CONFERENCE ON ROBOT AND HUMAN INTERACTIVE COMMUNICATION, RO-MANpp.1407-1412, (2023)

Cited0Views0EIWOSBibtex

On Specifying for Trustworthiness

Dhaminda B. Abeywickrama,Amel Bennaceur,Greg Chance,Yiannis Demiris,Anastasia Kordoni,Mark Levine,Luke Moffat,Luc Moreau,Mohammad Reza Mousavi,Bashar Nuseibeh,Subramanian Ramamoorthy,Jan Oliver Ringert,James Wilson,Shane Windsor,Kerstin Eder

Communications of the ACMno. 1 (2023): 98-109

Cited0Views0EIBibtex

Model Learning for Improved Trustworthiness in Autonomous Systems (Dagstuhl Seminar 23492)

Ellen Enkel,Nils Jansen ,Mohammad Reza Mousavi,Kristin Yvonne Rozier

Dagstuhl Reportsno. 12 (2023): 24-47

Cited0Views0EIBibtex

Author Statistics

Co-Author

Co-Institution

D-Core

合作者
学生
导师

No result temporarily, you can search similar Scholar with the same research interest

Data Disclaimer

The page data are from open Internet sources, cooperative publishers and automatic analysis results through AI technology. We do not make any commitments and guarantees for the validity, accuracy, correctness, reliability, completeness and timeliness of the page data. If you have any questions, please contact us by email: report@aminer.cn

Professor

Papers共 243 篇Author StatisticsCo-AuthorSimilar Experts