Mohammad Reza Mousavi

Cited by

	All	Since 2016
Citations	2338	1082
h-index	25	16
i10-index	61	29

240

120

180

200220032004200520062007200820092010201120122013201420152016201720182019202020216 7 14 35 54 67 81 68 126 139 138 190 132 135 210 169 171 232 174 121

Public access

View all

30 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Michel Reniersassociate professor, Mechanical Engineering, TU/eVerified email at tue.nl
Jan Friso GrooteFull Professor (Hoogleraar), Eindhoven University of TechnologyVerified email at tue.nl
Twan BastenProfessor of Computational Models, Electrical Engineering, Eindhoven University of TechnologyVerified email at tue.nl
Marjan SirjaniMälardalen UniversityVerified email at mdh.se
Luca AcetoDepartment of Computer Science, Reykjavik University, and Gran Sasso Science Institute, L'AquilaVerified email at ru.is
Anna IngolfsdottirProfessor of Computer Science, Reykjavík UniversityVerified email at ru.is
Mahsa VarshosazIT University of CopenhagenVerified email at itu.dk
Harsh BeoharLecturer at the University of Sheffield, United KingdomVerified email at sheffield.ac.uk
Michel R. V. ChaudronProfessor Eindhoven University of Technology (TUE)Verified email at tue.nl
Adenilso SimaoUniversity of Sao PauloVerified email at icmc.usp.br
Neda NorooziVerified email at tue.nl
Amirhossein GhamarianPhd of computer science, University of TwenteVerified email at asml.com
Sander StuijkAssociate Professor, Eindhoven University of TechnologyVerified email at tue.nl
Marc GeilenEindhoven University of TechnologyVerified email at tue.nl
Bart TheelenCanon Production Printing / ModelTechVerified email at modeltech.org
Ali MovagharProfessor of Computer Science and Engineering, Sharif University of Technology., Tehran, IranVerified email at sharif.edu
Narges KhakpourLinnaeus UniversityVerified email at lnu.se
Tim WillemseAssociate Professor, Eindhoven University of TechnologyVerified email at tue.nl
Masoumeh TaromiradHalmstad UniversityVerified email at hh.se
Sandeep ShuklaProfessor of Computer Science and EngineeringVerified email at cse.iitk.ac.in

Mohammad Reza Mousavi

Professor of Software Engineering, King's College London

Verified email at kcl.ac.uk - Homepage

Testing Autonomous Systems Cyber-Physical Systems Software Product Lines Semantics and Verification


Title Sort by citations Sort by year Sort by 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	316	2006
Modeling and analysis of communicating systems JF Groote, MR Mousavi MIT press, 2014	200	2014
SOS formats and meta-theory: 20 years after MR Mousavi, MA Reniers, JF Groote Theoretical Computer Science 373 (3), 238-272, 2007	96	2007
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	68	2006
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	65	2006
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 (1), 83-90, 2010	56	2010
Formal modeling of evolving self-adaptive systems N Khakpour, S Jalili, C Talcott, M Sirjani, MR Mousavi Science of Computer Programming 78 (1), 3-26, 2012	55	2012
Notions of bisimulation and congruence formats for SOS with data MR Mousavi, MA Reniers, JF Groote Information and Computation 200 (1), 107-147, 2005	54	2005
Symmetry and partial order reduction techniques in model checking Rebeca MM Jaghoori, M Sirjani, MR Mousavi, E Khamespanah, A Movaghar Acta Informatica 47 (1), 33-66, 2010	41	2010
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	41	2004
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	40	2006
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	39	2016
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	39	2007
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	38	2018
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	35	2010
Modelling and analysis of communicating systems JF Groote, M Mousavi Technische Universiteit Eindhoven, 2013	34	2013
A rule format for associativity S Cranen, MR Mousavi, MA Reniers International Conference on Concurrency Theory, 447-461, 2008	32	2008
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, 74-100, 2018	31	2018
Automated verification of executable UML models HH Hansen, J Ketema, B Luttik, MR Mousavi, J Van De Pol, ... International Symposium on Formal Methods for Components and Objects, 225-250, 2010	31	2010
A syntactic commutativity format for SOS MR Mousavi, M Reniers, JF Groote Information Processing Letters 93 (5), 217-223, 2005	27	2005

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors