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
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
3512006
Modeling and analysis of communicating systems
JF Groote, MR Mousavi
MIT press, 2014
3152014
SOS formats and meta-theory: 20 years after
MR Mousavi, MA Reniers, JF Groote
Theoretical Computer Science 373 (3), 238-272, 2007
1062007
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
832018
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
802006
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
762006
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
632010
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
622019
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
612012
Notions of bisimulation and congruence formats for SOS with data
MR Mousavi, MA Reniers, JF Groote
Information and Computation 200 (1), 107-147, 2005
592005
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
562018
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
552020
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
452006
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
422010
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
422007
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
402016
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
402004
A rule format for associativity
S Cranen, MR Mousavi, MA Reniers
CONCUR 2008-Concurrency Theory: 19th International Conference, CONCUR 2008 …, 2008
362008
Automated verification of executable UML models
H Hvid Hansen, J Ketema, B Luttik, MR Mousavi, J van de Pol, ...
Formal Methods for Components and Objects: 9th International Symposium, FMCO …, 2012
352012
PobSAM: policy-based managing of actors in self-adaptive systems
N Khakpour, S Jalili, C Talcott, M Sirjani, MR Mousavi
Electronic Notes in Theoretical Computer Science 263, 129-143, 2010
342010
The system can't perform the operation now. Try again later.
Articles 1–20