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
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 Data: a new direction: A call for evidence from Department for Digital, Culture, Media & Sport Chapman, A., Drake, A., Huynh, D., Hyde, R., Keller, P., Kleinman, M., (Jonak) Lisinska, J., Moreau, L., Mousavi, M. R., Naiseh, M., Ramchurn, S. D., Sempreboni, D., Simperl, E., Stalla-Bourdillon, S., Thuermer, G., Tsakalakis, N., Tyukin, I. & Weerawardhana, S., 19 Nov 2021 Research output: Other contribution. DOIs: https://doi.org/10.18742/pub01-069 Conformance Relations and Hyperproperties for Doping Detection in Time and Space Biewer, S., Dimitrova, R., Gazda, M., Fries, M., Heinze, T., Hermanns, H. & Mousavi, M., 7 Nov 2021, (Accepted/In press) In: Logical methods in computer science. Research output: Contribution to journal › Article › peer-review Efficient state synchronisation in model-based testing through reinforcement learning Türker, U., Mousavi, M., Hierons, R. & Tyukin, I., 2021, (Accepted/In press) Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering (ASE 2021).. Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review View all publications