Follow
Mohammad Reza Mousavi
Mohammad Reza Mousavi
Professor of Software Engineering, King's College London
Verified email at kcl.ac.uk - Homepage
Title
Cited by
Cited by
Year
Modeling and analysis of communicating systems
JF Groote, MR Mousavi
MIT press, 2014
3552014
Throughput analysis of synchronous data flow graphs
AH Ghamarian, MCW Geilen, S Stuijk, T Basten, BD Theelen, ...
Sixth International Conference on Application of Concurrency to System …, 2006
3502006
SOS formats and meta-theory: 20 years after
MR Mousavi, MA Reniers, JF Groote
Theoretical Computer Science 373 (3), 238-272, 2007
1102007
A classification of product sampling for software product lines
M Varshosaz, M Al-Hajjaji, T Thüm, T Runge, MR Mousavi, I Schaefer
Proceedings of the 22nd International Systems and Software Product Line …, 2018
1002018
CPP2XMI: reverse engineering of UML class, sequence, and activity diagrams from C++ source code
E Korshunova, M Petkovic, MGJ Van Den Brand, MR Mousavi
2006 13th Working Conference on Reverse Engineering, 297-298, 2006
812006
Property-based testing of quantum programs in Q#
S Honarvar, MR Mousavi, R Nagarajan
Proceedings of the IEEE/ACM 42nd International Conference on Software …, 2020
772020
Liveness and boundedness of synchronous data flow graphs
AH Ghamarian, MCW Geilen, T Basten, BD Theelen, MR Mousavi, ...
2006 Formal Methods in Computer Aided Design, 68-75, 2006
742006
On the search for industry-relevant regression testing research
NB Ali, E Engström, M Taromirad, MR Mousavi, NM Minhas, D Helgesson, ...
Empirical Software Engineering 24, 2020-2055, 2019
722019
Towards model checking executable UML specifications in mCRL2
HH Hansen, J Ketema, B Luttik, MR Mousavi, J van de Pol
Innovations in Systems and Software Engineering 6, 83-90, 2010
642010
Model learning and model-based testing
BK Aichernig, W Mostowski, MR Mousavi, M Tappler, M Taromirad
Machine Learning for Dynamic Software Analysis: Potentials and Limits …, 2018
622018
Formal modeling of evolving self-adaptive systems
N Khakpour, S Jalili, C Talcott, M Sirjani, M Mousavi
Science of Computer Programming 78 (1), 3-26, 2012
622012
Notions of bisimulation and congruence formats for SOS with data
MR Mousavi, MA Reniers, JF Groote
Information and Computation 200 (1), 107-147, 2005
612005
Testing, validation, and verification of robotic and autonomous systems: a systematic review
H Araujo, MR Mousavi, M Varshosaz
ACM Transactions on Software Engineering and Methodology 32 (2), 1-61, 2023
532023
Operational and epistemic approaches to protocol analysis: Bridging the gap
F Dechesne, MR Mousavi, S Orzan
International Conference on Logic for Programming Artificial Intelligence …, 2007
462007
Symmetry and partial order reduction techniques in model checking Rebeca
MM Jaghoori, M Sirjani, MR Mousavi, E Khamespanah, A Movaghar
Acta Informatica 47, 33-66, 2010
442010
Formal semantics and analysis of component connectors in Reo
MR Mousavi, M Sirjani, F Arbab
Electronic Notes in Theoretical Computer Science 154 (1), 83-99, 2006
442006
Basic behavioral models for software product lines: Expressiveness and testing pre-orders
H Beohar, M Varshosaz, MR Mousavi
Science of Computer Programming 123, 42-60, 2016
432016
Modeling and validating globally asynchronous design in synchronous frameworks
MR Mousavi, P Le Guernic, JP Talpin, SK Shukla, T Basten
Proceedings Design, Automation and Test in Europe Conference and Exhibition …, 2004
412004
A rule format for associativity
S Cranen, MR Mousavi, MA Reniers
CONCUR 2008-Concurrency Theory: 19th International Conference, CONCUR 2008 …, 2008
372008
Model-based testing of cyber-physical systems
A Aerts, M Reniers, MR Mousavi
Cyber-physical systems, 287-304, 2017
352017
The system can't perform the operation now. Try again later.
Articles 1–20