Mohammad Mousavi's Homepage
ProfessorData-Oriented Software Engineering Research Interests
Theme Leader at the School of Informatics for Trustworthy Autonomous Systems
|
Photo by Maciej Gazda. |
Selected Publications
- N. bin Ali, E. Engström, M. Taromirad, M.R. Mousavi, N. Minhas, D. Helgesson, S. Kunze, M. Varshosaz. On the Search for Industry-Relevant Regression Testing Research. Empirical Software Engineering. Springer, 2019.
- 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.
- H. Araujo, G. Carvalho, M. Mohaqeqi, M.R. Mousavi, and A. 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.
- J.F. Groote and M.R. Mousavi. Modeling and Analysis of Communicating Systems, MIT Press, 2014.
Full publication list, where most papers are available for download.
Outreach
We organise outreach activities on the theme of Trust in Autonomous Vehicles through our DriverLeics Team and the Leicester AI Network. Here you can find some examples of our outreach material:
- A Leaflet produced in collaboration with London Mathematical Society
- A Film produced in collaboration with the Royal Society
Our research and outreach has been featured on Aljazeera, BBC Radio 4, BBC Leicester Radio, and Discovery Education (for Key Stage 2 Children). We have been actively participating in the TeenTech program, promoting science, technology, and engineering among children.
Service
Conferences / workshops:
I am involved in the following future events, please consider submitting to them:
- TTCS 2020
- MT-CPS 2020
- MBM 2020
- ICFEM 2019
- QAPL 2019
- SPLC 2019. MT-CPS 2019, FM 2019, ICTAC 2019, FSEN 2019, TASE 2019, ITEQS 2019, VAMOS 2019, ICFEM 2018, FOCLASA 2018, EXPRESS / SOS 2018, SBMF 2018, FM 2018, QAPL 2018, VaMoS 2018, SPLC 2018, TASE 2018, MT-CPS 2018, ITEQS 2018
- 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.
Selected Projects
- 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
Contact Information
G9 Informatics Building
Department of Informatics
University of Leicester
University Road
Leicester
LE1 7RH
Email: mm789@leicester.ac.uk
