Photo by Maciej Gazda. Professor Mohammad Reza Mousavi Academics Professor of Software Engineering Research subject areas Computer science Contact details mohammad.mousavi@kcl.ac.uk
Kaspar Causally Explains Da Silva Araujo, H., Holthuis, P., Sarda Gou, M., Lakatos, G., Galizia, G., Mousavi, M., Wood, L., Robins, B. & Amirabdollahian, F., Dec 2022, Proceedings of the 14th International Conference on Social Robotics: ICSR 2022. Springer, 14 p. Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review Adaptive Behavioral Model Learning for Software Product Lines Tavassoli, S., Damasceno, D., Mousavi, M. & Khosravi, R., 12 Sep 2022, 26th ACM International Systems and Software Product Line Conference, SPLC 2022 - Proceedings. Felfernig, A., Fuentes, L., Cleland-Huang, J., Assuncao, W. K. G., Assuncao, W. K. G., Falkner, A., Azanza, M., Luaces, M. A. R., Bhushan, M., Semini, L., Devroey, X., Werner, C. M. L., Seidl, C., Le, V-M. & Horcas, J. M. (eds.). ACM Press, p. 142-153 12 p. (26th ACM International Systems and Software Product Line Conference, SPLC 2022 - Proceedings; vol. A). Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review. DOIs: https://doi.org/10.1145/3546932.3546991 Towards understanding causality: a retrospective study of using explanations in interactions between a humanoid robot and autistic children Sarda Gou, M., Lakatos, G., Holthaus, P., Wood, L., Robins, B., Amirabdollahian, F. & Mousavi, M., 29 Aug 2022, Proceedings of the 31st IEEE International Conference on Robot & Human Interactive Communication . IEEE Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review Trustworthy Autonomous Systems through Verifiability Mousavi, M., Cavalcanti, A., Fisher, M., Dennis, L., Hierons, R., Kaddouh, B., Law, E. L-C., Richardson, R., Ringert, J. O., Tyukin, I. & Woodcock, J., 7 Jul 2022, (Accepted/In press) In: IEEE SOFTWARE. Research output: Contribution to journal › Article › peer-review Connected tech: smart or sinister? A call for evidence from Department for Digital, Culture, Media & Sport Coulton, P., Hyde, R., (Jonak) Lisinska, J., Lindley, J., Moffat, L., Mousavi, M., Ramchurn, S. D., Shukla, P., Stead, M., Townsend, B. & Williams, J., 23 Jun 2022 Research output: Other contribution. DOIs: https://doi.org/10.18742/pub01-092 Testing, Validation, and Verification of Robotic and Autonomous Systems: A Systematic Review Da Silva Araujo, H., Mousavi, M. & Varshosaz, M., 13 May 2022, (Accepted/In press) In: ACM Transactions on Software Engineering and Methodology (TOSEM). Research output: Contribution to journal › Review article › peer-review A Multi-Lingual Benchmark for Property-Based Testing of Quantum Programs Pontolillo, G. & Mousavi, M., 10 May 2022, 3rd International Workshop on Quantum Software Engineering (Q-SE 2022). Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review A Policy-Aware Epistemic Framework for Social Networks Mousavi, M., 11 Apr 2022, In: Journal of Logic and Computation. Research output: Contribution to journal › Article › peer-review DyNetKAT: An Algebra of Dynamic Networks Caltais, G., Hojjat, H., Mousavi, M. & Tunç, H. C., 10 Jan 2022, (Accepted/In press) 25th International Conference on Foundations of Software Science and Computation Structures. Springer, (Lecture Notes in Computer Science). Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review Preface Mousavi, M. R. & Philippou, A., 2022, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 13273 LNCS, p. vii-viii Research output: Contribution to journal › Editorial › peer-review View all publications