Items where authors include "Mousavi, M.R."

Article

Turker, U.C., Hierons, R.M. orcid.org/0000-0002-4771-1446, El-Fakih, K. et al. (2 more authors) (2024) Accelerating finite state machine-based testing using reinforcement learning. IEEE Transactions on Software Engineering, 50 (3). pp. 574-597. ISSN 0098-5589

Mousavi, M.R. orcid.org/0000-0002-4869-6794, Cavalcanti, A., Fisher, M. orcid.org/0000-0002-0875-3862 et al. (8 more authors) (2023) Trustworthy Autonomous Systems Through Verifiability. Computer, 56 (2). pp. 40-47. ISSN 0018-9162

Mousavi, M.R., Cavalcanti, A., Fisher, M. et al. (8 more authors) (2023) Trustworthy autonomous systems through verifiability. Computer, 56 (2). pp. 40-47. ISSN 0018-9162

Biewer, S., Dimitrova, R., Fries, M. et al. (4 more authors) (2022) Conformance relations and hyperproperties for doping detection in time and space. Logical Methods in Computer Science, 18 (1). 14. ISSN 1860-5974

Proceedings Paper

Dimitrova, R., Gazda, M., Mousavi, M.R. et al. (2 more authors) (2020) Conformance-based doping detection for cyber-physical systems. In: Gotsman, A. and Sokolova, A., (eds.) Formal Techniques for Distributed Objects, Components, and Systems. 40th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2020, 15-19 Jun 2020, Valletta, Malta. Lecture Notes in Computer Science (12136). Springer International Publishing , pp. 59-77. ISBN 9783030500856

Türker, U.C., Hierons, R.M. orcid.org/0000-0002-4771-1446, Mousavi, M.R. et al. (1 more author) (2020) Efficient state synchronisation in model-based testing through reinforcement learning. In: 36th IEEE/ACM International Conference on Automated Software Engineering (ASE2021). 36th IEEE/ACM International Conference on Automated Software Engineering (ASE2021), 15-19 Nov 2021, Melbourne, Australia. IEEE (Institute of Electrical and Electronics Engineers) , pp. 368-380. ISBN 978-1-6654-0337-5