No photo of Mohammadreza Mousavi

Mohammadreza Mousavi

Professor

 https://orcid.org/0000-0002-4869-6794
    • 21
      Citations
    If you made any changes in Pure these will be visible here soon.
    Filter
    Conference paper

    Search results

    • 2023

      Compositional Learning for Interleaving Parallel Automata

      Labbaf, F., Groote, J. F., Hojjat, H. & Mousavi, M. R., 2023, Proceedings of the 26th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2023). Kupferman, O. & Sobocinski, P. (eds.). Springer, p. 413-435 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13992 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

      Open Access
      File
      1 Citation (Scopus)
      30 Downloads (Pure)

    • Kaspar Explains: The Effect of Causal Explanations on Visual Perspective Taking Skills in Children with Autism Spectrum Disorder

      Sarda Gou, M., Lakatos, G., Holthaus, P., Robins, B., Moros, S., Jai Wood, L., Da Silva Araujo, H., deGraft-Hanson, C. A. E., Mousavi, M. & Amirabdollahian, F., Aug 2023, Proceedings of the 32nd IEEE International Conference on Robot and Human Interactive Communication (RO-MAN 2023). IEEE

      Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

      Open Access
      File
      1 Downloads (Pure)
    • 2022

      Adaptive Behavioral Model Learning for Software Product Lines

      Tavassoli, S., Damasceno, D., Mousavi, M. & Khosravi, R., 12 Sept 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

      Open Access
      File
      6 Citations (Scopus)
      8 Downloads (Pure)

    • 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

      Open Access
      File
      133 Downloads (Pure)

    • 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

      Open Access

    • 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

      Open Access
      File
      32 Downloads (Pure)

    • 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

      Open Access
      File
    • 2021

      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

      Open Access
      File
      87 Downloads (Pure)

    • Locality-based Test Selection for Autonomous Agents

      Entekhabi, S., Mostowski, W., Mousavi, M. & Aarts, T., 2021, Proceedings of the 33rd IFIP International Conference on Testing Software and Systems (ICTSS 2021). Springer

      Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

      Open Access
      File
      56 Downloads (Pure)
    • 2005

      SOS for higher order processes

      Mousavi, M. R., Gabbay, M. J. & Reniers, M. A., 2005, In: Lecture Notes in Computer Science. 3653, p. 308-322 15 p.

      Research output: Contribution to journal › Conference paper › peer-review

      14 Citations (Scopus)
    Your message has successfully been sent.
    Your message was not sent due to an error.