Mohammad Reza Mousavi

Cited by

	All	Since 2016
Citations	2210	960
h-index	24	15
i10-index	56	27

240

120

180

200220032004200520062007200820092010201120122013201420152016201720182019202020216 7 15 34 54 65 78 77 129 160 121 181 132 139 211 164 165 240 163 12

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
Neda NorooziVerified email at tue.nl
Adenilso SimaoUniversity of Sao PauloVerified email at icmc.usp.br
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
Sandeep ShuklaProfessor of Computer Science and EngineeringVerified email at cse.iitk.ac.in
Ramtin KhosraviAssistant Prof., University of TehranVerified email at ut.ac.ir
Giovanni RusselloAssociate Professor and Head of School of Computer Science, University of AucklandVerified email at auckland.ac.nz

Mohammad Reza Mousavi

Professor, University of Leicester

Verified email at le.ac.uk - Homepage

Model-Based Testing Cyber-Physical Systems Software Product Lines Formal Semantics Formal 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	300	2006
Modeling and analysis of communicating systems JF Groote, MR Mousavi MIT press, 2014	182	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	66	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	59	2006
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	54	2012
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-2), 83-90, 2010	53	2010
Notions of bisimulation and congruence formats for SOS with data MR Mousavi, MA Reniers, JF Groote Information and Computation 200 (1), 107-147, 2005	51	2005
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	42	2004
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
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
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	37	2006
Modelling and analysis of communicating systems JF Groote, M Mousavi Technische Universiteit Eindhoven, 2013	34	2013
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	32	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	32	2010
A rule format for associativity S Cranen, MR Mousavi, MA Reniers International Conference on Concurrency Theory, 447-461, 2008	32	2008
Input-output conformance testing based on featured transition systems H Beohar, MR Mousavi Proceedings of the 29th Annual ACM Symposium on Applied Computing, 1272-1278, 2014	28	2014
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	26	2010
A syntactic commutativity format for SOS MR Mousavi, M Reniers, JF Groote Information Processing Letters 93 (5), 217-223, 2005	26	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

Upload PDF

Follow this author

Cited by

Co-authors