Synthesizing Software Architecture Descriptions from Message Sequence Chart Specifications. - Stefan Leue; Lars Mehrmann; Mohammad Reza Mousavi 001 (ASE, 1998)

Using Aspect-GAMMA in the design of embedded systems. - Mohammad Reza Mousavi 001; Giovanni Russello; Michel R. V. Chaudron; Michel A. Reniers; Twan Basten; Angelo Corsaro; Sandeep K. Shukla; Rajesh K. Gupta 001; Douglas C. Schmidt (HLDVT, 2002)

Separation of Concerns in the Formal Design of Real-Time Shared Data-Space Systems. - Mohammad Reza Mousavi 001; Michel A. Reniers; Twan Basten; Michel R. V. Chaudron (ACSD, 2003)

PARS: A Process Algebra with Resources and Schedulers. - Mohammad Reza Mousavi 001; Michel A. Reniers; Twan Basten; Michel R. V. Chaudron (FORMATS, 2003)

Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks. - Mohammad Reza Mousavi 001; Paul Le Guernic; Jean-Pierre Talpin; Sandeep K. Shukla; Twan Basten (DATE, 2004)

Congruence for SOS with Data. - Mohammad Reza Mousavi 001; Michel A. Reniers; Jan Friso Groote (LICS, 2004)

Timing the Untimed: Terminating Successfully While Being Conservative. - Jos C. M. Baeten; Mohammad Reza Mousavi 001; Michel A. Reniers (Processes, Terms and Cycles, 2005)

SOS for Higher Order Processes. - Mohammad Reza Mousavi 001; Murdoch Gabbay; Michel A. Reniers (CONCUR, 2005)

Congruence for Structural Congruences. - Mohammad Reza Mousavi 001; Michel A. Reniers (FoSSaCS, 2005)

Orthogonal Extensions in Structural Operational Semantics. - Mohammad Reza Mousavi 001; Michel A. Reniers (ICALP, 2005)

Efficient Symmetry Reduction for an Actor-Based Model. - Mohammad Mahdi Jaghoori; Marjan Sirjani; Mohammad Reza Mousavi 001; Ali Movaghar 001 (ICDCIT, 2005)

A Hierarchy of SOS Rule Formats. - Jan Friso Groote; Mohammad Reza Mousavi 001; Michel A. Reniers (SOS@ICALP, 2005)

Towards SOS Meta-Theory for Language-Based Security. - Mohammad Reza Mousavi 001 (APC 25, 2005)

Prototyping SOS Meta-theory in Maude. - Mohammad Reza Mousavi 001; Michel A. Reniers (SOS@ICALP, 2005)

Formal Semantics and Analysis of Component Connectors in Reo. - Mohammad Reza Mousavi 001; Marjan Sirjani; Farhad Arbab (FOCLASA, 2005)

Notions of bisimulation and congruence formats for SOS with data. - Mohammad Reza Mousavi 001; Michel A. Reniers; Jan Friso Groote (Inf. Comput., 2005)

A syntactic commutativity format for SOS. - Mohammad Reza Mousavi 001; Michel A. Reniers; Jan Friso Groote (Inf. Process. Lett., 2005)

Throughput Analysis of Synchronous Data Flow Graphs. - Amir Hossein Ghamarian; Marc Geilen; Sander Stuijk; Twan Basten; Bart D. Theelen; Mohammad Reza Mousavi 001; A. J. M. Moonen; Marco Bekooij (ACSD, 2006)

Liveness and Boundedness of Synchronous Data Flow Graphs. - Amir Hossein Ghamarian; Marc Geilen; Twan Basten; Bart D. Theelen; Mohammad Reza Mousavi 001; Sander Stuijk (FMCAD, 2006)

The Meaning of Ordered SOS. - Mohammad Reza Mousavi 001; Iain C. C. Phillips; Michel A. Reniers; Irek Ulidowski (FSTTCS, 2006)

CPP2XMI: Reverse Engineering of UML Class, Sequence, and Activity Diagrams from C++ Source Code. - E. Korshunova; Marija Petkovic; M. G. J. van den Brand; Mohammad Reza Mousavi 001 (WCRE, 2006)

On Well-Foundedness and Expressiveness of Promoted Tyft: Being Promoted Makes a Difference. - Mohammad Reza Mousavi 001; Michel A. Reniers (SOS@CONCUR, 2006)

Sarir: A Rebeca to mCRL2 Translator. - Hossein Hojjat; Marjan Sirjani; Mohammad Reza Mousavi 001; Jan Friso Groote (ACSD, 2007)

Impossibility Results for the Equational Theory of Timed CCS. - Luca Aceto; Anna Ingólfsdóttir; Mohammad Reza Mousavi 001 (CALCO, 2007)

Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap. - Francien Dechesne; Mohammad Reza Mousavi 001; Simona Orzan (LPAR, 2007)

A Congruence Rule Format with Universal Quantification. - Mohammad Reza Mousavi 001; Michel A. Reniers (SOS@LICS/ICALP, 2007)

SOS formats and meta-theory: 20 years after. - Mohammad Reza Mousavi 001; Michel A. Reniers; Jan Friso Groote (Theor. Comput. Sci., 2007)

Process algebraic verification of SystemC codes. - Hossein Hojjat; Mohammad Reza Mousavi 001; Marjan Sirjani (ACSD, 2008)

A Rule Format for Associativity. - Sjoerd Cranen; Mohammad Reza Mousavi 001; Michel A. Reniers (CONCUR, 2008)

A framework for performance evaluation and functional verification in stochastic process algebras. - Hossein Hojjat; Mohammad Reza Mousavi 001; Marjan Sirjani (SAC, 2008)

Model Checking Verilog Descriptions of Cell Libraries. - Matthias Raffelsieper; Jan-Willem Roorda; Mohammad Reza Mousavi 001 (ACSD, 2009)

Formal Analysis of Non-determinism in Verilog Cell Library Simulation Models. - Matthias Raffelsieper; Mohammad Reza Mousavi 001; Jan-Willem Roorda; Chris W. H. Strolenberg; Hans Zantema (FMICS, 2009)

Causality in the Semantics of Esterel: Revisited - Mohammad Reza Mousavi 001 (SOS, 2009)

PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems. - Narges Khakpour; Saeed Jalili; Carolyn L. Talcott; Marjan Sirjani; Mohammad Reza Mousavi 001 (FACS@FMWeek, 2009)

Semantics and expressiveness of ordered SOS. - Mohammad Reza Mousavi 001; Iain Phillips 001; Michel A. Reniers; Irek Ulidowski (Inf. Comput., 2009)

Order-Independence of Vector-Based Transition Systems. - Matthias Raffelsieper; Mohammad Reza Mousavi 001; Hans Zantema (ACSD, 2010)

Checking and deriving module paths in Verilog cell library descriptions. - Matthias Raffelsieper; Mohammad Reza Mousavi 001; Chris W. H. Strolenberg (DATE, 2010)

Automated Verification of Executable UML Models. - Helle Hvid Hansen; Jeroen Ketema; Bas Luttik; Mohammad Reza Mousavi 001; Jaco van de Pol; Osmar Marchi dos Santos (FMCO, 2010)

Restricted delegation and revocation in language-based security: (position paper). - D. Hassan; Mohammad Reza Mousavi 001; Michel A. Reniers (PLAS, 2010)

Formal specification and analysis of accelerated heartbeat protocols. - Muhammad Atif; Mohammad Reza Mousavi 001 (SummerSim, 2010)

A Rule Format for Unit Elements. - Luca Aceto; Anna Ingólfsdóttir; Mohammad Reza Mousavi 001; Michel A. Reniers (SOFSEM, 2010)

Lifting non-finite axiomatizability results to extensions of process algebras. - Luca Aceto; Wan J. Fokkink; Anna Ingólfsdóttir; Mohammad Reza Mousavi 001 (Acta Informatica, 2010)

Symmetry and partial order reduction techniques in model checking Rebeca. - Mohammad Mahdi Jaghoori; Marjan Sirjani; Mohammad Reza Mousavi 001; Ehsan Khamespanah; Ali Movaghar 001 (Acta Informatica, 2010)

Robustness of Equations Under Operational Extensions - Peter D. Mosses; Mohammad Reza Mousavi 001; Michel A. Reniers (EXPRESS, 2010)

On Rule Formats for Zero and Unit Elements. - Luca Aceto; Matteo Cimini; Anna Ingólfsdóttir; Mohammad Reza Mousavi 001; Michel A. Reniers (MFPS, 2010)

Towards model checking executable UML specifications in mCRL2. - Helle Hvid Hansen; Jeroen Ketema; Bas Luttik; Mohammad Reza Mousavi 001; Jaco van de Pol (Innov. Syst. Softw. Eng., 2010)

Symbolic Power Analysis of Cell Libraries. - Matthias Raffelsieper; Mohammad Reza Mousavi 001 (FMICS, 2011)

Decompositional Reasoning about the History of Parallel Processes. - Luca Aceto; Arnar Birgisson; Anna Ingólfsdóttir; Mohammad Reza Mousavi 001 (FSEN, 2011)

Towards Model-Based Testing of Electronic Funds Transfer Systems. - Hamid Reza Asaadi; Ramtin Khosravi; Mohammad Reza Mousavi 001; Neda Noroozi (FSEN, 2011)

Synchronizing Asynchronous Conformance Testing. - Neda Noroozi; Ramtin Khosravi; Mohammad Reza Mousavi 001; Tim A. C. Willemse (SEFM, 2011)

Interpreted Systems Semantics for Process Algebra with Identity Annotations. - Francien Dechesne; Mohammad Reza Mousavi 001 (TbiLLC, 2011)

Process Algebra as a Common Framework for Hardware/Software Coverification. - Matthias Raffelsieper; Mohammad Reza Mousavi 001; J. Sleuters (IEEE Embed. Syst. Lett., 2011)

Formal Analysis of SystemC Designs in Process Algebra. - Hossein Hojjat; Mohammad Reza Mousavi 001; Marjan Sirjani (Fundam. Informaticae, 2011)

Long-run order-independence of vector-based transition systems. - Matthias Raffelsieper; Mohammad Reza Mousavi 001; Hans Zantema (IET Comput. Digit. Tech., 2011)

SOS rule formats for zero and unit elements. - Luca Aceto; Matteo Cimini; Anna Ingólfsdóttir; Mohammad Reza Mousavi 001; Michel A. Reniers (Theor. Comput. Sci., 2011)

Mechanized Extraction of Topology Anti-patterns in Wireless Networks. - Matthias Woehrle; Rena Bakhshi; Mohammad Reza Mousavi 001 (IFM, 2012)

Integrating Model-Based and Constraint-Based Testing Using SpecExplorer. - Vivek Vishal; Mehmet Kovacioglu; Rachid Kherazi; Mohammad Reza Mousavi 001 (ISSRE Workshops, 2012)

Formal verification of Unreliable Failure Detectors in Partially Synchronous Systems. - Muhammad Atif; Mohammad Reza Mousavi 001; Ammar Osaiweran (SAC, 2012)

Nominal SOS. - Matteo Cimini; Mohammad Reza Mousavi 001; Michel A. Reniers; Murdoch James Gabbay (MFPS, 2012)

Rule formats for determinism and idempotence. - Luca Aceto; Arnar Birgisson; Anna Ingólfsdóttir; Mohammad Reza Mousavi 001; Michel A. Reniers (Sci. Comput. Program., 2012)

Formal modeling of evolving self-adaptive systems. - Narges Khakpour; Saeed Jalili; Carolyn L. Talcott; Marjan Sirjani; Mohammad Reza Mousavi 001 (Sci. Comput. Program., 2012)

Rule formats for distributivity. - Luca Aceto; Matteo Cimini; Anna Ingólfsdóttir; Mohammad Reza Mousavi 001; Michel A. Reniers (Theor. Comput. Sci., 2012)

Esterel and the Semantics of Causality. - Mohammad Reza Mousavi 001 (Handbook of Finite State Based Models and Applications, 2012)

Exploiting Algebraic Laws to Improve Mechanized Axiomatizations. - Luca Aceto; Eugen-Ioan Goriac; Anna Ingólfsdóttir; Mohammad Reza Mousavi 001; Michel A. Reniers (CALCO, 2013)

Modular Semantics for Transition System Specifications with Negative Premises. - Martin Churchill; Peter D. Mosses; Mohammad Reza Mousavi 001 (CONCUR, 2013)

On the Complexity of Input Output Conformance Testing. - Neda Noroozi; Mohammad Reza Mousavi 001; Tim A. C. Willemse (FACS, 2013)

Early Fault Detection in DSLs Using SMT Solving and Automated Debugging. - Sarmen Keshishzadeh; Arjan J. Mooij; Mohammad Reza Mousavi 001 (SEFM, 2013)

Algebraic Meta-Theory of Processes with Data. - Daniel Gebler; Eugen-Ioan Goriac; Mohammad Reza Mousavi 001 (EXPRESS/SOS, 2013)

Decomposability in Input Output Conformance Testing - Neda Noroozi; Mohammad Reza Mousavi 001; Tim A. C. Willemse (MBT, 2013)

Special issue: software verification and testing. - Mohammad Reza Mousavi 001; Jun Pang 001 (Innov. Syst. Softw. Eng., 2013)

Modeling and Analysis of Communicating Systems. - Jan Friso Groote; Mohammad Reza Mousavi 001 (MIT Press, 2014)

Input-output conformance testing based on featured transition systems. - Harsh Beohar; Mohammad Reza Mousavi 001 (SAC, 2014)

Spinal Test Suites for Software Product Lines. - Harsh Beohar; Mohammad Reza Mousavi 001 (MBT, 2014)

Book Announcement: Modeling and Analysis of Communicating Systems. - Jan Friso Groote; Mohammad Reza Mousavi 001 (Bull. EATCS, 2014)

Conformance Testing of Cyber-Physical Systems: A Comparative Study. - Morteza Mohaqeqi; Mohammad Reza Mousavi 001; Walid Taha (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014)

Special section on Software Verification and Testing. - Mohammad Reza Mousavi 001; Jun Pang 001 (Sci. Comput. Program., 2014)

Foreword. - Mohammad Reza Mousavi 001; António Ravara (Sci. Comput. Program., 2014)

Preface: Special section on foundations of coordination languages and software architectures (selected papers from FOCLASA'10). - Mohammad Reza Mousavi 001; Gwen Salaün (Sci. Comput. Program., 2014)

Notions of Conformance Testing for Cyber-Physical Systems: Overview and Roadmap (Invited Paper). - Narges Khakpour; Mohammad Reza Mousavi 001 (CONCUR, 2015)

A Pre-congruence Format for XY-simulation. - Harsh Beohar; Mohammad Reza Mousavi 001 (FSEN, 2015)

Delta-Oriented FSM-Based Testing. - Mahsa Varshosaz; Harsh Beohar; Mohammad Reza Mousavi 001 (ICFEM, 2015)

A Tool Prototype for Model-Based Testing of Cyber-Physical Systems. - Arend Aerts; Mohammad Reza Mousavi 001; Michel A. Reniers (ICTAC, 2015)

State Distribution Policy for Distributed Model Checking of Actor Models. - Ehsan Khamespanah; Marjan Sirjani; Mohammad Reza Mousavi 001; Zeynab Sabahi-Kaviani; Mohamadreza Razzazi (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015)

Timed-Gamma and its Coordination Language. - Mohammad Reza Mousavi 001; Twan Basten; Michel A. Reniers; Michel Chaudron (Nord. J. Comput., 2015)

Synchrony and asynchrony in conformance testing. - Neda Noroozi; Ramtin Khosravi; Mohammad Reza Mousavi 001; Tim A. C. Willemse (Softw. Syst. Model., 2015)

Validated Test Models for Software Product Lines: Featured Finite State Machines. - Vanderson H. Fragal; Adenilso Simão; Mohammad Reza Mousavi 001 (FACS, 2016)

Complete IOCO test cases: a case study. - Sofia Larissa da Costa Paiva; Adenilso Simão; Mahsa Varshosaz; Mohammad Reza Mousavi 001 (A-TEST@SIGSOFT FSE, 2016)

Sound Test-Suites for Cyber-Physical Systems. - Morteza Mohaqeqi; Mohammad Reza Mousavi 001 (TASE, 2016)

(De-)Composing Causality in Labeled Transition Systems. - Georgiana Caltais; Stefan Leue; Mohammad Reza Mousavi 001 (CREST@ETAPS, 2016)

Towards an Approximate Conformance Relation for Hybrid I/O Automata. - Morteza Mohaqeqi; Mohammad Reza Mousavi 001 (V2CPS@IFM, 2016)

Input-output conformance testing for software product lines. - Harsh Beohar; Mohammad Reza Mousavi 001 (J. Log. Algebraic Methods Program., 2016)

Product line process theory. - Fatemeh Ghassemi; Mohammad Reza Mousavi 001 (J. Log. Algebraic Methods Program., 2016)

Basic behavioral models for software product lines: Expressiveness and testing pre-orders. - Harsh Beohar; Mahsa Varshosaz; Mohammad Reza Mousavi 001 (Sci. Comput. Program., 2016)

Simulation of hybrid systems from natural-language requirements. - Bruno Oliveira; Gustavo Carvalho; Mohammad Reza Mousavi 001; Augusto Sampaio 001 (CASE, 2017)

Gray-Box Conformance Testing for Symbolic Reactive State Machines. - Masoumeh Taromirad; Mohammad Reza Mousavi 001 (FSEN, 2017)

A Process for Sound Conformance Testing of Cyber-Physical Systems. - Hugo Leonardo da Silva Araujo; Gustavo Carvalho; Augusto Sampaio 001; Mohammad Reza Mousavi 001; Masoumeh Taromirad (ICST Workshops, 2017)

Reducing the Concretization Effort in FSM-Based Testing of Software Product Lines. - Vanderson Hafemann Fragal; Adenilso Simão; André Takeshi Endo; Mohammad Reza Mousavi 001 (ICST Workshops, 2017)

Hardness of Deriving Invertible Sequences from Finite State Machines. - Robert M. Hierons; Mohammad Reza Mousavi 001; Michael Kirkedal Thomsen; Uraz Cengiz Türker (SOFSEM, 2017)

Preface: Special issue on Trends in Concurrency Theory (selected invited contributions from the workshops TRENDS 2014 and 2015). - Ilaria Castellani; Mohammad Reza Mousavi 001 (J. Log. Algebraic Methods Program., 2017)

Reverse Execution in Testing – Improving Security and Reliability (NII Shonan Meeting 2017-9). - Michael Kirkedal Thomsen; Kazutaka Matsuda; Mohammad Reza Mousavi 001 (NII Shonan Meet. Rep., 2017)

Dynamic Control Points and Independent Time Domains for Temporal Logic Falsification. - Arend Aerts; Bryan Tong Minh; Mohammad Reza Mousavi 001; Michel A. Reniers (MT@CPSWeek, 2018)

Model Learning and Model-Based Testing. - Bernhard K. Aichernig; Wojciech Mostowski; Mohammad Reza Mousavi 001; Martin Tappler; Masoumeh Taromirad (Machine Learning for Dynamic Software Analysis, 2018)

Temporal Logic Falsification of Cyber-Physical Systems: An Input-Signal-Space Optimization Approach. - Arend Aerts; Bryan Tong Minh; Mohammad Reza Mousavi 001; Michel A. Reniers (ICST Workshops, 2018)

A classification of product sampling for software product lines. - Mahsa Varshosaz; Mustafa Al-Hajjaji; Thomas Thüm; Tobias Runge; Mohammad Reza Mousavi 001; Ina Schaefer (SPLC, 2018)

Telling Lies in Process Algebra. - Mohammad Reza Mousavi 001; Mahsa Varshosaz (TASE, 2018)

Sound conformance testing for cyber-physical systems: Theory and implementation. - Hugo Leonardo da Silva Araujo; Gustavo Carvalho; Morteza Mohaqeqi; Mohammad Reza Mousavi 001; Augusto Sampaio 001 (Sci. Comput. Program., 2018)

Basic behavioral models for software product lines: Revisited. - Mahsa Varshosaz; Harsh Beohar; Mohammad Reza Mousavi 001 (Sci. Comput. Program., 2018)

Learning to Reuse: Adaptive Model Learning for Evolving Systems. - Carlos Diego Nascimento Damasceno; Mohammad Reza Mousavi 001; Adenilso da Silva Simão (IFM, 2019)

Multi-objective Search for Effective Testing of Cyber-Physical Systems. - Hugo Leonardo da Silva Araujo; Gustavo Carvalho; Mohammad Reza Mousavi 001; Augusto Sampaio 001 (SEFM, 2019)

Comparative Expressiveness of Product Line Calculus of Communicating Systems and 1-Selecting Modal Transition Systems. - Mahsa Varshosaz; Mohammad Reza Mousavi 001 (SOFSEM, 2019)

Learning from difference: an automated approach for learning family models from software product lines. - Carlos Diego Nascimento Damasceno; Mohammad Reza Mousavi 001; Adenilso da Silva Simão (SPLC (A), 2019)

Extending HSI Test Generation Method for Software Product Lines. - Vanderson Hafemann Fragal; Adenilso Simão; Mohammad Reza Mousavi 001; Uraz Cengiz Türker (Comput. J., 2019)

On the search for industry-relevant regression testing research. - Nauman Bin Ali; Emelie Engström; Masoumeh Taromirad; Mohammad Reza Mousavi 001; Nasir Mehmood Minhas; Daniel Helgesson; Sebastian Kunze; Mahsa Varshosaz (Empir. Softw. Eng., 2019)

Special Issue on Trends in Concurrency Theory (selected invited contributions from the workshops TRENDS 2015 and 2016). - Ilaria Castellani; Mohammad Reza Mousavi 001 (J. Log. Algebraic Methods Program., 2019)

Modal transition system encoding of featured transition systems. - Mahsa Varshosaz; Lars Luthmann; Paul Mohr; Malte Lochau; Mohammad Reza Mousavi 001 (J. Log. Algebraic Methods Program., 2019)

Hierarchical featured state machines. - Vanderson Hafemann Fragal; Adenilso da Silva Simão; Mohammad Reza Mousavi 001 (Sci. Comput. Program., 2019)

Conformance-Based Doping Detection for Cyber-Physical Systems. - Rayna Dimitrova; Maciej Gazda; Mohammad Reza Mousavi 001; Sebastian Biewer; Holger Hermanns (FORTE, 2020)

Logical Characterisation of Hybrid Conformance. - Maciej Gazda; Mohammad Reza Mousavi 001 (ICALP, 2020)

Property-based Testing of Quantum Programs in Q#. - Shahin Honarvar; Mohammad Reza Mousavi 001; Rajagopal Nagarajan (ICSE (Workshops), 2020)

Connected Automated Driving: A Model-Based Approach to the Analysis of Basic Awareness Services. - Hugo Leonardo da Silva Araujo; Ties Hoenselaar; Mohammad Reza Mousavi 001; Alexey V. Vinel (PIMRC, 2020)

Causal Reasoning for Safety in Hennessy Milner Logic. - Georgiana Caltais; Mohammad Reza Mousavi 001; Hargurbir Singh (Fundam. Informaticae, 2020)

Efficient state synchronisation in model-based testing through reinforcement learning. - Uraz Cengiz Türker; Robert M. Hierons; Mohammad Reza Mousavi 001; Ivan Yu. Tyukin (ASE, 2021)

Locality-Based Test Selection for Autonomous Agents. - Sina Entekhabi; Wojciech Mostowski; Mohammad Reza Mousavi 001; Thomas Arts (ICTSS, 2021)

Learning by sampling: learning behavioral family models from software product lines. - Carlos Diego Nascimento Damasceno; Mohammad Reza Mousavi 001; Adenilso da Silva Simão (Empir. Softw. Eng., 2021)

Update from the Editorial Team. - Andrea De Lucia; Mohammad Reza Mousavi 001 (Sci. Comput. Program., 2021)

Preface to the special issue on Formal Methods: Foundations and Applications. - Tiago Massoni; Mohammad Reza Mousavi 001 (Sci. Comput. Program., 2021)

DyNetKAT: An Algebra of Dynamic Networks. - Georgiana Caltais; Hossein Hojjat; Mohammad Reza Mousavi 001; Hünkar Can Tunç (FoSSaCS, 2022)

A Multi-Lingual Benchmark for Property-Based Testing of Quantum Programs. - Gabriel Pontolillo; Mohammad Reza Mousavi 001 (Q-SE@ICSE, 2022)

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 001; Ben Robins; Farshid Amirabdollahian (RO-MAN, 2022)

Kaspar Causally Explains. - Hugo Leonardo da Silva Araujo; Patrick Holthaus; Marina Sardà Gou; Gabriella Lakatos; Giulia Galizia; Luke Jai Wood; Ben Robins; Mohammad Reza Mousavi 001; Farshid Amirabdollahian (ICSR (2), 2022)

A benchmark for active learning of variability-intensive systems. - Shaghayegh Tavassoli; Carlos Diego Nascimento Damasceno; Mohammad Reza Mousavi 001; Ramtin Khosravi (SPLC (A), 2022)

Adaptive behavioral model learning for software product lines. - Shaghayegh Tavassoli; Carlos Diego Nascimento Damasceno; Ramtin Khosravi; Mohammad Reza Mousavi 001 (SPLC (A), 2022)

Conformance Relations and Hyperproperties for Doping Detection in Time and Space. - Sebastian Biewer; Rayna Dimitrova; Michael Fries; Maciej Gazda; Thomas Heinze; Holger Hermanns; Mohammad Reza Mousavi 001 (Log. Methods Comput. Sci., 2022)

A policy-aware epistemic framework for social networks. - Zahra Moezkarimi; Fatemeh Ghassemi; Mohammad Reza Mousavi 001 (J. Log. Comput., 2022)

On Testing Ethical Autonomous Decision-Making. - Michael E. Akintunde; Martim Brandão; Gunel Jahangirova; Hector Menendez; Mohammad Reza Mousavi 001; Jie Zhang 050 (Applicable Formal Methods for Safe Industrial Products, 2023)

Compositional Learning for Interleaving Parallel Automata. - Faezeh Labbaf; Jan Friso Groote; Hossein Hojjat; Mohammad Reza Mousavi 001 (FoSSaCS, 2023)

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; Sílvia Moros; Luke Jai Wood; Hugo Leonardo da Silva Araujo; Christine deGraft-Hanson; Mohammad Reza Mousavi 001; Farshid Amirabdollahian (RO-MAN, 2023)

Automata Learning for Dynamic Software Product Lines: A Tutorial. - Mohammad Reza Mousavi 001 (SPLC (A), 2023)

The Way We Were: Structural Operational Semantics Research in Perspective. - Luca Aceto; Pierluigi Crescenzi; Anna Ingólfsdóttir; Mohammad Reza Mousavi 001 (EXPRESS/SOS, 2023)

Preface to the special issue on Open Problems in Concurrency Theory. - Ilaria Castellani; Pedro R. D'Argenio; Mohammad Reza Mousavi 001; Ana Sokolova (J. Log. Algebraic Methods Program., 2023)

Trustworthy Autonomous Systems Through Verifiability. - Mohammad Reza Mousavi 001; Ana Cavalcanti 001; Michael Fisher 001; Louise A. Dennis; Robert M. Hierons; Bilal Y. Kaddouh; Effie Lai-Chong Law; Robert C. Richardson; Jan Oliver Ringert; Ivan Tyukin; Jim Woodcock 001 (Computer, 2023)

Compositional Learning for Interleaving Parallel Automata (CL-Star). - Faezeh Labbaf; Jan Friso Groote; Hossein Hojjat; Mohammad Reza Mousavi 001 (Zenodo, 2023)

Testing, Validation, and Verification of Robotic and Autonomous Systems: A Systematic Review. - Hugo Leonardo da Silva Araujo; Mohammad Reza Mousavi 001; Mahsa Varshosaz (ACM Trans. Softw. Eng. Methodol., 2023)

Model Learning for Improved Trustworthiness in Autonomous Systems (Dagstuhl Seminar 23492). - Ellen Enkel; Nils Jansen 001; Mohammad Reza Mousavi 001; Kristin Yvonne Rozier (Dagstuhl Reports, 2023)

Causal Model Discovery in Cancer Guided by Cellular Pathways. - Rodrigo Henrique Ramos; Adenilso Simão; Mohammad Reza Mousavi 001 (CMSB, 2024)

Delta Debugging for Property-Based Regression Testing of Quantum Programs. - Gabriel Joseph Pontolillo; Mohammad Reza Mousavi 001 (Q-SE@ICSE, 2024)

Towards a Formal Testing Theory for Quantum Processes. - Mohammad Reza Mousavi 001; Kirstin Peters; Anna Schmitt 002 (ISoLA (1), 2024)

Trustworthy ROS Software Architecture for Autonomous Drones Missions: From RoboChart Modelling to ROS Implementation. - Nabil Shaukat; Shival Dubey; Bilal Y. Kaddouh; Andy Blight; Lenka Mudrich; Pedro Ribeiro 002; Hugo Araújo; Rob Richardson; Louise Abigail Dennis; Ana Lucia Caneca Cavalcanti; Mohammad Reza Mousavi 001 (MESA, 2024)

Property-Based Testing and Debugging of Quantum Programs (Keynote). - Mohammad Reza Mousavi 001 (Programming, 2024)

MirrorFair: Fixing Fairness Bugs in Machine Learning Software via Counterfactual Predictions. - Ying Xiao; Jie M. Zhang; Yepang Liu 001; Mohammad Reza Mousavi 001; Sicen Liu; Dingyuan Xue (Proc. ACM Softw. Eng., 2024)

On Specifying for Trustworthiness. - Dhaminda B. Abeywickrama; Amel Bennaceur; Greg Chance; Yiannis Demiris; Anastasia Kordoni; Mark Levine; Luke Moffat; Luc Moreau 001; Mohammad Reza Mousavi 001; Bashar Nuseibeh; Subramanian Ramamoorthy; Jan Oliver Ringert; et al. (Commun. ACM, 2024)

Automated and Efficient Test-Generation for Grid-Based Multiagent Systems: Comparing Random Input Filtering versus Constraint Solving. - Sina Entekhabi; Wojciech Mostowski; Mohammad Reza Mousavi 001 (ACM Trans. Softw. Eng. Methodol., 2024)

Accelerating Finite State Machine-Based Testing Using Reinforcement Learning. - Uraz Cengiz Türker; Robert M. Hierons; Khaled El-Fakih; Mohammad Reza Mousavi 001; Ivan Yu. Tyukin (IEEE Trans. Software Eng., 2024)

Compositional Active Learning of Synchronizing Systems Through Automated Alphabet Refinement. - Léo Henry; Mohammad Reza Mousavi 001; Thomas Neele; Matteo Sammartino (CONCUR, 2025)

Temporal and Spatial Fault Detection for Connected Cyber-Physical Systems. - Hugo Araújo; Mohammad Reza Mousavi 001; Shiva Nejati 001 (FORTE, 2025)

LolaPrompts: Assisting the General Public in Performing Real-Driving Emission Tests. - Melane Navaratnarajah; Ma'ayan Armony; Sebastian Biewer; Holger Hermanns; Mohammad Reza Mousavi 001 (FORTE, 2025)

Foreword to the Sixth International Workshop on Quantum Software Engineering (Q-SE 2025). - Stefan Klikovits; Mohammad Reza Mousavi 001 (Q-SE, 2025)

Complete FSM Testing Using Strong Separability. - Robert M. Hierons; Mohammad Reza Mousavi 001 (CoRR, 2025)

A Taxonomy of Real Faults in Hybrid Quantum-Classical Architectures. - Avner Bensoussan; Gunel Jahangirova; Mohammad Reza Mousavi 001 (CoRR, 2025)

QuCheck: A Property-based Testing Framework for Quantum Programs in Qiskit. - Gabriel Pontolillo; Mohammad Reza Mousavi 001; Marek Grzesiuk (CoRR, 2025)

Comparative Analysis of Carbon Footprint in Manual vs. LLM-Assisted Code Development. - Kuen Sum Cheung; Mayuri Kaul; Gunel Jahangirova; Mohammad Reza Mousavi 001; Eric Zie (CoRR, 2025)

Causality for Cyber-Physical Systems. - Hugo Araújo; Hana Chockler; Mohammad Reza Mousavi 001; Gustavo Carvalho; Augusto Sampaio 001 (CoRR, 2025)

AMQA: An Adversarial Dataset for Benchmarking Bias of LLMs in Medicine and Healthcare. - Ying Xiao; Jie Huang; Ruijuan He; Jing Xiao; Mohammad Reza Mousavi 001; Yepang Liu 001; Kezhi Li; Zhenpeng Chen; Jie M. Zhang (CoRR, 2025)

Role, cost, and complexity of software in the real-world: a case for formal methods. - Giovanni Tito Bernardi; Adrian Francalanza; Marco Peressotti; Mohammad Reza Mousavi 001 (CoRR, 2025)

Synthetic versus real: an analysis of critical scenarios for autonomous vehicle testing. - Qunying Song; Avner Bensoussan; Mohammad Reza Mousavi 001 (Autom. Softw. Eng., 2025)