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)

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.
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.
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.
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.

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