Mohammad Reza Mousavi

Cited by

	All	Since 2016
Citations	2264	1001
h-index	24	15
i10-index	57	27

240

120

180

200220032004200520062007200820092010201120122013201420152016201720182019202020216 7 14 35 55 67 81 68 125 141 137 193 131 136 214 168 166 229 174 47

Public access

View all

29 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
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
Sandeep ShuklaProfessor of Computer Science and EngineeringVerified email at cse.iitk.ac.in
Matteo CiminiUniversity of Massachusetts LowellVerified email at uml.edu
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	317	2006
Modeling and analysis of communicating systems JF Groote, MR Mousavi MIT press, 2014	185	2014
SOS formats and meta-theory: 20 years after MR Mousavi, MA Reniers, JF Groote Theoretical Computer Science 373 (3), 238-272, 2007	95	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	62	2006
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	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), 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	53	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
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	39	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	38	2016
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	34	2018
Modelling and analysis of communicating systems JF Groote, M Mousavi Technische Universiteit Eindhoven, 2013	34	2013
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	34	2010
A rule format for associativity S Cranen, MR Mousavi, MA Reniers International Conference on Concurrency Theory, 447-461, 2008	32	2008
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
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	26	2018
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	26	2014

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