Mohammad Mousavi's Homepage
Important note:
|
Photo by Maciej Gazda. |
Selected Publications
- C.D. Damasceno, M.R. Mousavi, and A. Simao. Learning by Sampling: Learning Behavioral Family Models from Software Product Lines. Empirical Software Engineering, 2020.
- M. Gazda and M.R. Mousavi. Logical Characterisation of Hybrid Conformance. The 47th International Colloquium on Automata, Languages and Programming (ICALP 2020), LiPICS Series, 2020.
- R. Dimitrova, M. Gazda, M.R. Mousavi, S. Biewer and H. Hermanns. Conformance-Based Doping Detection for Cyber-Physical Systems. 40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2020). Springer, 2020.
- 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.
- 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
- J.F. Groote and M.R. Mousavi. Modeling and Analysis of Communicating Systems, MIT Press, 2014.
Full publication list on my personal page, where most papers are available for download. Google Scholar. DBLP. ORCID.
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 podcast produced in the Living with AI series
- 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.
Teaching
I am currently responsible for the following two modules:
- Foundations of Computation (CO1108)
- Foundations of Artificial Intelligence (CO2114)
Service
Conferences / workshops:
I am involved in the following future events, please consider submitting to them:
- A-MOST 2021 (Invited Speaker)
- SPLC 2021 (General Chair)
- ICST 2021
- MT-CPS 2021
- TAP 2020 / 2021 (Keynote Speaker)
- FORTE 2021
- SPLC 2020, SETTA 2020, ICECCS 2020, ICTAC 2020, TASE 2020, 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, 2014-2020); please attend our TRENDS workshops and our annual business meeting, both of which are open to public.
Selected Grants
- UKRI Verifiability Node: A unifying framework to integrate verification techniques for Trustworthy Austonomou Systems (Principal Investigator)
- 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
