| 2026 | FASE | Causal Liability in Autonomous Systems. | Kaveh Aryan, Hana Chockler, Mohammad Reza Mousavi |
| 2026 | FOSSACS | Complete FSM Testing Using Strong Separability. | Robert M. Hierons, Mohammad Reza Mousavi |
| 2026 | ICST | Toward Live Noise Fingerprinting for Discrepancy Analysis in Quantum Software Engineering. | Avner Bensoussan, Elena Chachkarova, Karine Even-Mendoza, Sophie Fortz, Vasileios Klimis, Mohammad Reza Mousavi |
| 2025 | CONCUR | Compositional Active Learning of Synchronizing Systems Through Automated Alphabet Refinement. | Lo Henry, Mohammad Reza Mousavi, Thomas Neele, Matteo Sammartino |
| 2025 | FORTE | Temporal and Spatial Fault Detection for Connected Cyber-Physical Systems. | Hugo Arajo, Mohammad Reza Mousavi, Shiva Nejati |
| 2025 | FORTE | LolaPrompts: Assisting the General Public in Performing Real-Driving Emission Tests. | Melane Navaratnarajah, Ma'ayan Armony, Sebastian Biewer, Holger Hermanns, Mohammad Reza Mousavi |
| 2025 | GLOBECOM | Application of Hyperbolic Fractional Fourier Transform in NOMA Integrated Sensing and Communication. | Mohammad Reza Mousavi, Stephan Ludwig |
| 2025 | QCE | From Ideal to Noisy: Adapting Property-Based Testing for Real-World Noisy Quantum Computers. | Gabriel Pontolillo, Asmar Muqeet, Shaukat Ali, Mohammad Reza Mousavi |
| 2024 | ICCCN | Performance Analysis of HFrFT Based on Wigner Transform for ISAC Applications. | Mohammad Reza Mousavi, Stephan Ludwig |
| 2024 | ISoLA | Towards a Formal Testing Theory for Quantum Processes. | Mohammad Reza Mousavi, Kirstin Peters, Anna Schmitt |
| 2024 | WCNC | Performance Enhancement of IEEE 802.11 BD Vehicle to Vehicle Communication Based on FrFT-OFDM for High Speed Conditions. | Mohammad Reza Mousavi, Stephan Ludwig |
| 2023 | FOSSACS | Compositional Learning for Interleaving Parallel Automata. | Faezeh Labbaf, Jan Friso Groote, Hossein Hojjat, Mohammad Reza Mousavi |
| 2023 | RO-MAN | Kaspar Explains: The Effect of Causal Explanations on Visual Perspective Taking Skills in Children with Autism Spectrum Disorder. | Marina Sard Gou, Gabriella Lakatos, Patrick Holthaus, Ben Robins, Slvia Moros, Luke Jai Wood, Hugo Leonardo da Silva Araujo, Christine deGraft-Hanson, Mohammad Reza Mousavi, Farshid Amirabdollahian |
| 2023 | SPLC | Automata Learning for Dynamic Software Product Lines: A Tutorial. | Mohammad Reza Mousavi |
| 2022 | FOSSACS | DyNetKAT: An Algebra of Dynamic Networks. | Georgiana Caltais, Hossein Hojjat, Mohammad Reza Mousavi, Hnkar Can Tun |
| 2022 | RO-MAN | Towards understanding causality - a retrospective study of using explanations in interactions between a humanoid robot and autistic children. | Marina Sard Gou, Gabriella Lakatos, Patrick Holthaus, Luke Jai Wood, Mohammad Reza Mousavi, Ben Robins, Farshid Amirabdollahian |
| 2022 | SPLC | A benchmark for active learning of variability-intensive systems. | Shaghayegh Tavassoli, Carlos Diego Nascimento Damasceno, Mohammad Reza Mousavi, Ramtin Khosravi |
| 2022 | SPLC | Adaptive behavioral model learning for software product lines. | Shaghayegh Tavassoli, Carlos Diego Nascimento Damasceno, Ramtin Khosravi, Mohammad Reza Mousavi |
| 2020 | FORTE | Conformance-Based Doping Detection for Cyber-Physical Systems. | Rayna Dimitrova, Maciej Gazda, Mohammad Reza Mousavi, Sebastian Biewer, Holger Hermanns |
| 2020 | ICALP | Logical Characterisation of Hybrid Conformance. | Maciej Gazda, Mohammad Reza Mousavi |
| 2020 | ICSE | Property-based Testing of Quantum Programs in Q#. | Shahin Honarvar, Mohammad Reza Mousavi, Rajagopal Nagarajan |
| 2020 | PIMRC | Connected Automated Driving: A Model-Based Approach to the Analysis of Basic Awareness Services. | Hugo Leonardo da Silva Araujo, Ties Hoenselaar, Mohammad Reza Mousavi, Alexey V. Vinel |
| 2019 | IFM | Learning to Reuse: Adaptive Model Learning for Evolving Systems. | Carlos Diego Nascimento Damasceno, Mohammad Reza Mousavi, Adenilso da Silva Simo |
| 2019 | SEFM | Multi-objective Search for Effective Testing of Cyber-Physical Systems. | Hugo Leonardo da Silva Araujo, Gustavo Carvalho, Mohammad Reza Mousavi, Augusto Sampaio |
| 2019 | SOFSEM | Comparative Expressiveness of Product Line Calculus of Communicating Systems and 1-Selecting Modal Transition Systems. | Mahsa Varshosaz, Mohammad Reza Mousavi |
| 2019 | SPLC | Learning from difference: an automated approach for learning family models from software product lines. | Carlos Diego Nascimento Damasceno, Mohammad Reza Mousavi, Adenilso da Silva Simo |
| 2018 | ICST | Temporal Logic Falsification of Cyber-Physical Systems: An Input-Signal-Space Optimization Approach. | Arend Aerts, Bryan Tong Minh, Mohammad Reza Mousavi, Michel A. Reniers |
| 2018 | SPLC | A classification of product sampling for software product lines. | Mahsa Varshosaz, Mustafa Al-Hajjaji, Thomas Thm, Tobias Runge, Mohammad Reza Mousavi, Ina Schaefer |
| 2018 | TASE | Telling Lies in Process Algebra. | Mohammad Reza Mousavi, Mahsa Varshosaz |
| 2017 | ICST | A Process for Sound Conformance Testing of Cyber-Physical Systems. | Hugo Leonardo da Silva Araujo, Gustavo Carvalho, Augusto Sampaio, Mohammad Reza Mousavi, Masoumeh Taromirad |
| 2017 | ICST | Reducing the Concretization Effort in FSM-Based Testing of Software Product Lines. | Vanderson Hafemann Fragal, Adenilso Simo, Andr Takeshi Endo, Mohammad Reza Mousavi |
| 2017 | SOFSEM | Hardness of Deriving Invertible Sequences from Finite State Machines. | Robert M. Hierons, Mohammad Reza Mousavi, Michael Kirkedal Thomsen, Uraz Cengiz Trker |
| 2016 | TASE | Sound Test-Suites for Cyber-Physical Systems. | Morteza Mohaqeqi, Mohammad Reza Mousavi |
| 2015 | CONCUR | Notions of Conformance Testing for Cyber-Physical Systems: Overview and Roadmap (Invited Paper). | Narges Khakpour, Mohammad Reza Mousavi |
| 2015 | ICFEM | Delta-Oriented FSM-Based Testing. | Mahsa Varshosaz, Harsh Beohar, Mohammad Reza Mousavi |
| 2015 | ICTAC | A Tool Prototype for Model-Based Testing of Cyber-Physical Systems. | Arend Aerts, Mohammad Reza Mousavi, Michel A. Reniers |
| 2014 | SAC | Input-output conformance testing based on featured transition systems. | Harsh Beohar, Mohammad Reza Mousavi |
| 2013 | CALCO | Exploiting Algebraic Laws to Improve Mechanized Axiomatizations. | Luca Aceto, Eugen-Ioan Goriac, Anna Inglfsdttir, Mohammad Reza Mousavi, Michel A. Reniers |
| 2013 | CONCUR | Modular Semantics for Transition System Specifications with Negative Premises. | Martin Churchill, Peter D. Mosses, Mohammad Reza Mousavi |
| 2013 | SEFM | Early Fault Detection in DSLs Using SMT Solving and Automated Debugging. | Sarmen Keshishzadeh, Arjan J. Mooij, Mohammad Reza Mousavi |
| 2012 | IFM | Mechanized Extraction of Topology Anti-patterns in Wireless Networks. | Matthias Woehrle, Rena Bakhshi, Mohammad Reza Mousavi |
| 2012 | ISSRE | Integrating Model-Based and Constraint-Based Testing Using SpecExplorer. | Vivek Vishal, Mehmet Kovacioglu, Rachid Kherazi, Mohammad Reza Mousavi |
| 2012 | SAC | Formal verification of Unreliable Failure Detectors in Partially Synchronous Systems. | Muhammad Atif, Mohammad Reza Mousavi, Ammar Osaiweran |
| 2011 | FMICS | Symbolic Power Analysis of Cell Libraries. | Matthias Raffelsieper, Mohammad Reza Mousavi |
| 2011 | LATA | Rule Formats for Distributivity. | Luca Aceto, Matteo Cimini, Anna Inglfsdttir, Mohammad Reza Mousavi, Michel A. Reniers |
| 2011 | SEFM | Synchronizing Asynchronous Conformance Testing. | Neda Noroozi, Ramtin Khosravi, Mohammad Reza Mousavi, Tim A. C. Willemse |
| 2010 | DATE | Checking and deriving module paths in Verilog cell library descriptions. | Matthias Raffelsieper, Mohammad Reza Mousavi, Chris W. H. Strolenberg |
| 2010 | PLDI | Restricted delegation and revocation in language-based security: (position paper). | D. Hassan, Mohammad Reza Mousavi, Michel A. Reniers |
| 2010 | SOFSEM | A Rule Format for Unit Elements. | Luca Aceto, Anna Inglfsdttir, Mohammad Reza Mousavi, Michel A. Reniers |
| 2009 | FMICS | Formal Analysis of Non-determinism in Verilog Cell Library Simulation Models. | Matthias Raffelsieper, Mohammad Reza Mousavi, Jan-Willem Roorda, Chris W. H. Strolenberg, Hans Zantema |
| 2008 | CONCUR | A Rule Format for Associativity. | Sjoerd Cranen, Mohammad Reza Mousavi, Michel A. Reniers |
| 2008 | SAC | A framework for performance evaluation and functional verification in stochastic process algebras. | Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani |
| 2007 | CALCO | Impossibility Results for the Equational Theory of Timed CCS. | Luca Aceto, Anna Inglfsdttir, Mohammad Reza Mousavi |
| 2007 | LPAR | Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap. | Francien Dechesne, Mohammad Reza Mousavi, Simona Orzan |
| 2006 | FMCAD | Liveness and Boundedness of Synchronous Data Flow Graphs. | Amir Hossein Ghamarian, Marc Geilen, Twan Basten, Bart D. Theelen, Mohammad Reza Mousavi, Sander Stuijk |
| 2005 | CONCUR | SOS for Higher Order Processes. | Mohammad Reza Mousavi, Murdoch Gabbay, Michel A. Reniers |
| 2005 | FOSSACS | Congruence for Structural Congruences. | Mohammad Reza Mousavi, Michel A. Reniers |
| 2005 | ICALP | Orthogonal Extensions in Structural Operational Semantics. | Mohammad Reza Mousavi, Michel A. Reniers |
| 2005 | ICDCIT | Efficient Symmetry Reduction for an Actor-Based Model. | Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi, Ali Movaghar |
| 2004 | DATE | Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks. | Mohammad Reza Mousavi, Paul Le Guernic, Jean-Pierre Talpin, Sandeep K. Shukla, Twan Basten |
| 2004 | LICS | Congruence for SOS with Data. | Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote |