| Modeling and analysis of communicating systems JF Groote, MR Mousavi MIT press, 2014 | 383 | 2014 |
| 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 | 360 | 2006 |
| 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 | 121 | 2018 |
| SOS formats and meta-theory: 20 years after MR Mousavi, MA Reniers, JF Groote Theoretical Computer Science 373 (3), 238-272, 2007 | 113 | 2007 |
| 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 | 98 | 2020 |
| 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 | 97 | 2023 |
| 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 (4), 2020-2055, 2019 | 86 | 2019 |
| 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 | 83 | 2006 |
| 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 | 76 | 2006 |
| 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 | 71 | 2018 |
| 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 | 66 | 2010 |
| 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 | 63 | 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 | 62 | 2005 |
| 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 | 47 | 2007 |
| 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 | 44 | 2010 |
| 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 | 44 | 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 | 42 | 2016 |
| 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 |
| Model-based testing of cyber-physical systems A Aerts, M Reniers, MR Mousavi Cyber-physical systems, 287-304, 2017 | 36 | 2017 |
| A rule format for associativity S Cranen, MR Mousavi, MA Reniers International Conference on Concurrency Theory, 447-461, 2008 | 36 | 2008 |
Jan Friso GrooteFull Professor (Hoogleraar), Eindhoven University of TechnologyVerified email at tue.nl
