Mohammad Mousavi's Homepage

Professor

Data-Oriented Software Engineering

Model-based testing (particularly, testing variability and testing cyber-physical systems)
Verification (particularly, model-checking)
Concurrency theory (particularly, process algebra and Structural Operational Semantics)

B.K. Aichernig, W. Mostowski, M.R. Mousavi, M. Tappler, and M. Taromirad. Model Learning and Model-Based Testing. In Machine Learning for Dynamic Software Analysis. Volume 11026 of LNCS, Springer, 2018.
Hugo Araujo, Gustavo Carvalho, Morteza Mohaqeqi, Mohammad Reza Mousavi, and Augusto Sampaio. Sound Conformance Testing for Cyber-Physical Systems: Theory and Implementation. Science of Computer Programming. Elsevier, 2017
H. Beohar and M.R. Mousavi. Input-Output Conformance Testing for Software Product Lines. Journal of Logic and Algebraic Methods in Programming, 85(6): 1131-1153. Elsevier, 2016.

H. Beohar, M. Varshosaz, and M.R. Mousavi. Basic Behavioral Models for Software Product Lines: Expressiveness and Testing Pre-Orders. Science of Computer Programming, 123(1): 42--60, Elsevier, 2016.

N. Khakpour and M.R. Mousavi. Notions of Conformance Testing for Cyber-Physical Systems: Overview and Roadmap (Invited Paper). Proceedings of the 26th International Conference on Concurrency Theory (CONCUR 2015), LIPIcs–Leibniz International Proceedings in Informatics, 2015.
J.F. Groote and M.R. Mousavi. Modeling and Analysis of Communicating Systems, MIT Press, 2014.

Conferences / workshops:

I am involved in the following future events, please consider submitting to them:

Other service:

Editor-in-chief of Science of Computer Programming; please consider submitting your best papers to SCP.
Member of the academic editorial board of PeerJ Computer Science; please support this open access high quality journal by submitting to it.
Secretary of the IFIP Working Group 1.8 on Concurrency Theory (together with Ilaria Castellani as our chairperson); please attend our TRENDS workshops and our annual business meeting, both of which are open to public.

AUTO-CAAS: Automated Consequence Analysis for Automotive Standards, Funded by the Swedish Knowledge Foundation (Principal Investigator)
EFFEMBAC: Effective Model-Based Testing of Concurrent Systems, Funded by the Swedish Science Council (Principal Investigator)
EU FP7 INESS Project: INtegrated European Signalling System

G9 Informatics Building
Department of Informatics
University of Leicester
University Road
Leicester
LE1 7RH