Mohammad Reza Mousavi

ORCID

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 64

Top Venues

Sci. Comput. Program.

J. Log. Algebraic Methods Program.

CoRR

SPLC (A)

Publications

Sina Entekhabi, Wojciech Mostowski, Mohammad Reza Mousavi
Automated and Efficient Test-Generation for Grid-Based Multiagent Systems: Comparing Random Input Filtering versus Constraint Solving. ACM Trans. Softw. Eng. Methodol. 33 (1) (2024)
Gabriel Joseph Pontolillo, Mohammad Reza Mousavi
Delta Debugging for Property-Based Regression Testing of Quantum Programs. Q-SE@ICSE (2024)
Mohammad Reza Mousavi
Property-Based Testing and Debugging of Quantum Programs (Keynote). Programming (2024)
Ying Xiao, Jie M. Zhang, Yepang Liu, Mohammad Reza Mousavi, Sicen Liu, Dingyuan Xue
MirrorFair: Fixing Fairness Bugs in Machine Learning Software via Counterfactual Predictions. Proc. ACM Softw. Eng. 1 (FSE) (2024)
Dhaminda B. Abeywickrama, Amel Bennaceur, Greg Chance, Yiannis Demiris, Anastasia Kordoni, Mark Levine, Luke Moffat, Luc Moreau, Mohammad Reza Mousavi, Bashar Nuseibeh, Subramanian Ramamoorthy, Jan Oliver Ringert, James Wilson, Shane Windsor, Kerstin Eder
On Specifying for Trustworthiness. Commun. ACM 67 (1) (2024)
Uraz Cengiz Türker, Robert M. Hierons, Khaled El-Fakih, Mohammad Reza Mousavi, Ivan Yu. Tyukin
Accelerating Finite State Machine-Based Testing Using Reinforcement Learning. IEEE Trans. Software Eng. 50 (3) (2024)
Mohammad Reza Mousavi, Ana Cavalcanti, Michael Fisher, Louise A. Dennis, Robert M. Hierons, Bilal Y. Kaddouh, Effie Lai-Chong Law, Robert C. Richardson, Jan Oliver Ringer, Ivan Tyukin, Jim Woodcock
Trustworthy Autonomous Systems Through Verifiability. Computer 56 (2) (2023)
Faezeh Labbaf, Jan Friso Groote, Hossein Hojjat, Mohammad Reza Mousavi
Compositional Learning for Interleaving Parallel Automata. FoSSaCS (2023)
Luca Aceto, Pierluigi Crescenzi, Anna Ingólfsdóttir, Mohammad Reza Mousavi
The Way We Were: Structural Operational Semantics Research in Perspective. EXPRESS/SOS (2023)
Ellen Enkel, Nils Jansen, Mohammad Reza Mousavi, Kristin Yvonne Rozier
Model Learning for Improved Trustworthiness in Autonomous Systems (Dagstuhl Seminar 23492). Dagstuhl Reports 13 (12) (2023)
Hugo Leonardo da Silva Araujo, Mohammad Reza Mousavi, Mahsa Varshosaz
Testing, Validation, and Verification of Robotic and Autonomous Systems: A Systematic Review. ACM Trans. Softw. Eng. Methodol. 32 (2) (2023)
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, Farshid Amirabdollahian
Kaspar Explains: The Effect of Causal Explanations on Visual Perspective Taking Skills in Children with Autism Spectrum Disorder. RO-MAN (2023)
Ilaria Castellani, Pedro R. D'Argenio, Mohammad Reza Mousavi, Ana Sokolova
Preface to the special issue on Open Problems in Concurrency Theory. J. Log. Algebraic Methods Program. 130 (2023)
Zahra Moezkarimi, Fatemeh Ghassemi, Mohammad Reza Mousavi
A policy-aware epistemic framework for social networks. J. Log. Comput. 32 (6) (2022)
Shaghayegh Tavassoli, Carlos Diego Nascimento Damasceno, Ramtin Khosravi, Mohammad Reza Mousavi
Adaptive behavioral model learning for software product lines. SPLC (A) (2022)
Shaghayegh Tavassoli, Carlos Diego Nascimento Damasceno, Mohammad Reza Mousavi, Ramtin Khosravi
A Benchmark for Active Learning of Variability-Intensive Systems. CoRR (2022)
Shaghayegh Tavassoli, Carlos Diego Nascimento Damasceno, Mohammad Reza Mousavi, Ramtin Khosravi
A benchmark for active learning of variability-intensive systems. SPLC (A) (2022)
Georgiana Caltais, Hossein Hojjat, Mohammad Reza Mousavi, Hünkar Can Tunç
DyNetKAT: An Algebra of Dynamic Networks. FoSSaCS (2022)
Dhaminda B. Abeywickrama, Amel Bennaceur, Greg Chance, Yiannis Demiris, Anastasia Kordoni, Mark Levine, Luke Moffat, Luc Moreau, Mohammad Reza Mousavi, Bashar Nuseibeh, Subramanian Ramamoorthy, Jan Oliver Ringert, James Wilson, Shane Windsor, Kerstin Eder
On Specifying for Trustworthiness. CoRR (2022)
Sebastian Biewer, Rayna Dimitrova, Michael Fries, Maciej Gazda, Thomas Heinze, Holger Hermanns, Mohammad Reza Mousavi
Conformance Relations and Hyperproperties for Doping Detection in Time and Space. Log. Methods Comput. Sci. 18 (1) (2022)
Shaghayegh Tavassoli, Carlos Diego Nascimento Damasceno, Ramtin Khosravi, Mohammad Reza Mousavi
Adaptive Behavioral Model Learning for Software Product Lines. CoRR (2022)
Andrea De Lucia, Mohammad Reza Mousavi
Update from the Editorial Team. Sci. Comput. Program. 212 (2021)
Uraz Cengiz Türker, Robert M. Hierons, Mohammad Reza Mousavi, Ivan Y. Tyukin
Efficient state synchronisation in model-based testing through reinforcement learning. ASE (2021)
Tiago Massoni, Mohammad Reza Mousavi
Preface to the special issue on Formal Methods: Foundations and Applications. Sci. Comput. Program. 205 (2021)
Carlos Diego Nascimento Damasceno, Mohammad Reza Mousavi, Adenilso da Silva Simão
Learning by sampling: learning behavioral family models from software product lines. Empir. Softw. Eng. 26 (1) (2021)
Sina Entekhabi, Wojciech Mostowski, Mohammad Reza Mousavi, Thomas Arts
Locality-Based Test Selection for Autonomous Agents. ICTSS (2021)
Georgiana Caltais, Hossein Hojjat, Mohammad Reza Mousavi, Hunkar Can Tunc
DyNetKAT: An Algebra of Dynamic Networks. CoRR (2021)
Georgiana Caltais, Mohammad Reza Mousavi, Hargurbir Singh
Causal Reasoning for Safety in Hennessy Milner Logic. Fundam. Informaticae 173 (2-3) (2020)
Rayna Dimitrova, Maciej Gazda, Mohammad Reza Mousavi, Sebastian Biewer, Holger Hermanns
Conformance-Based Doping Detection for Cyber-Physical Systems. FORTE (2020)
Shahin Honarvar, Mohammad Reza Mousavi, Rajagopal Nagarajan
Property-based Testing of Quantum Programs in Q#. ICSE (Workshops) (2020)
Sebastian Biewer, Rayna Dimitrova, Michael Fries, Maciej Gazda, Thomas Heinze, Holger Hermanns, Mohammad Reza Mousavi
Conformance Relations and Hyperproperties for Doping Detection in Time and Space. CoRR (2020)
Maciej Gazda, Mohammad Reza Mousavi
Logical Characterisation of Hybrid Conformance. ICALP (2020)
Hugo L. S. Araujo, Ties Hoenselaar, Mohammad Reza Mousavi, Alexey V. Vinel
Connected Automated Driving: A Model-Based Approach to the Analysis of Basic Awareness Services. PIMRC (2020)
Hugo L. S. Araujo, Gustavo Carvalho, Mohammad Reza Mousavi, Augusto Sampaio
Multi-objective Search for Effective Testing of Cyber-Physical Systems. SEFM (2019)
Carlos Diego Nascimento Damasceno, Mohammad Reza Mousavi, Adenilso da Silva Simão
Learning to Reuse: Adaptive Model Learning for Evolving Systems. IFM (2019)
Ilaria Castellani, Mohammad Reza Mousavi
Special Issue on Trends in Concurrency Theory (selected invited contributions from the workshops TRENDS 2015 and 2016). J. Log. Algebraic Methods Program. 107 (2019)
Mahsa Varshosaz, Lars Luthmann, Paul Mohr, Malte Lochau, Mohammad Reza Mousavi
Modal transition system encoding of featured transition systems. J. Log. Algebraic Methods Program. 106 (2019)
Mahsa Varshosaz, Mohammad Reza Mousavi
Comparative Expressiveness of Product Line Calculus of Communicating Systems and 1-Selecting Modal Transition Systems. SOFSEM (2019)
Vanderson Hafemann Fragal, Adenilso da Silva Simão, Mohammad Reza Mousavi
Hierarchical featured state machines. Sci. Comput. Program. 171 (2019)
Carlos Diego Nascimento Damasceno, Mohammad Reza Mousavi, Adenilso da Silva Simão
Learning from difference: an automated approach for learning family models from software product lines. SPLC (A) (2019)
Vanderson Hafemann Fragal, Adenilso Simão, Mohammad Reza Mousavi, Uraz Cengiz Türker
Extending HSI Test Generation Method for Software Product Lines. Comput. J. 62 (1) (2019)
Nauman Bin Ali, Emelie Engström, Masoumeh Taromirad, Mohammad Reza Mousavi, Nasir Mehmood Minhas, Daniel Helgesson, Sebastian Kunze, Mahsa Varshosaz
On the search for industry-relevant regression testing research. Empir. Softw. Eng. 24 (4) (2019)
Mahsa Varshosaz, Harsh Beohar, Mohammad Reza Mousavi
Basic behavioral models for software product lines: Revisited. Sci. Comput. Program. 168 (2018)
Bernhard K. Aichernig, Wojciech Mostowski, Mohammad Reza Mousavi, Martin Tappler, Masoumeh Taromirad
Model Learning and Model-Based Testing. Machine Learning for Dynamic Software Analysis (2018)
Arend Aerts, Bryan Tong Minh, Mohammad Reza Mousavi, Michel A. Reniers
Temporal Logic Falsification of Cyber-Physical Systems: An Input-Signal-Space Optimization Approach. ICST Workshops (2018)
Mahsa Varshosaz, Mustafa Al-Hajjaji, Thomas Thüm, Tobias Runge, Mohammad Reza Mousavi, Ina Schaefer
A classification of product sampling for software product lines. SPLC (2018)
Hugo L. S. Araujo, Gustavo Carvalho, Morteza Mohaqeqi, Mohammad Reza Mousavi, Augusto Sampaio
Sound conformance testing for cyber-physical systems: Theory and implementation. Sci. Comput. Program. 162 (2018)
Mohammad Reza Mousavi, Mahsa Varshosaz
Telling Lies in Process Algebra. TASE (2018)
Arend Aerts, Bryan Tong Minh, Mohammad Reza Mousavi, Michel A. Reniers
Dynamic Control Points and Independent Time Domains for Temporal Logic Falsification. MT@CPSWeek (2018)
Ilaria Castellani, Mohammad Reza Mousavi
Preface: Special issue on Trends in Concurrency Theory (selected invited contributions from the workshops TRENDS 2014 and 2015). J. Log. Algebraic Methods Program. 87 (2017)
Masoumeh Taromirad, Mohammad Reza Mousavi
Gray-Box Conformance Testing for Symbolic Reactive State Machines. FSEN (2017)
Bruno Oliveira, Gustavo Carvalho, Mohammad Reza Mousavi, Augusto Sampaio
Simulation of hybrid systems from natural-language requirements. CASE (2017)
Vanderson Hafemann Fragal, Adenilso Simão, André Takeshi Endo, Mohammad Reza Mousavi
Reducing the Concretization Effort in FSM-Based Testing of Software Product Lines. ICST Workshops (2017)
Michael Kirkedal Thomsen, Kazutaka Matsuda, Mohammad Reza Mousavi
Reverse Execution in Testing – Improving Security and Reliability (NII Shonan Meeting 2017-9). NII Shonan Meet. Rep. 2017 (2017)
Hugo L. S. Araujo, Gustavo Carvalho, Augusto Sampaio, Mohammad Reza Mousavi, Masoumeh Taromirad
A Process for Sound Conformance Testing of Cyber-Physical Systems. ICST Workshops (2017)
Robert M. Hierons, Mohammad Reza Mousavi, Michael Kirkedal Thomsen, Uraz Cengiz Türker
Hardness of Deriving Invertible Sequences from Finite State Machines. SOFSEM (2017)
Vanderson H. Fragal, Adenilso Simão, Mohammad Reza Mousavi
Validated Test Models for Software Product Lines: Featured Finite State Machines. FACS (2016)
Sofia Larissa da Costa Paiva, Adenilso Simão, Mahsa Varshosaz, Mohammad Reza Mousavi
Complete IOCO test cases: a case study. A-TEST@SIGSOFT FSE (2016)
Harsh Beohar, Mohammad Reza Mousavi
Input-output conformance testing for software product lines. J. Log. Algebraic Methods Program. 85 (6) (2016)
Georgiana Caltais, Stefan Leue, Mohammad Reza Mousavi
(De-)Composing Causality in Labeled Transition Systems. CREST@ETAPS (2016)
Morteza Mohaqeqi, Mohammad Reza Mousavi
Towards an Approximate Conformance Relation for Hybrid I/O Automata. V2CPS@IFM (2016)
Fatemeh Ghassemi, Mohammad Reza Mousavi
Product line process theory. J. Log. Algebraic Methods Program. 85 (1) (2016)
Harsh Beohar, Mahsa Varshosaz, Mohammad Reza Mousavi
Basic behavioral models for software product lines: Expressiveness and testing pre-orders. Sci. Comput. Program. 123 (2016)
Morteza Mohaqeqi, Mohammad Reza Mousavi
Sound Test-Suites for Cyber-Physical Systems. TASE (2016)
Harsh Beohar, Mohammad Reza Mousavi
A Pre-congruence Format for XY-simulation. FSEN (2015)
Mohammad Reza Mousavi, Twan Basten, Michel A. Reniers, Michel Chaudron
Timed-Gamma and its Coordination Language. Nord. J. Comput. 15 (2) (2015)
Mahsa Varshosaz, Harsh Beohar, Mohammad Reza Mousavi
Delta-Oriented FSM-Based Testing. ICFEM (2015)
Ehsan Khamespanah, Marjan Sirjani, Mohammad Reza Mousavi, Zeynab Sabahi-Kaviani, Mohamadreza Razzazi
State Distribution Policy for Distributed Model Checking of Actor Models. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 72 (2015)
Arend Aerts, Mohammad Reza Mousavi, Michel A. Reniers
A Tool Prototype for Model-Based Testing of Cyber-Physical Systems. ICTAC (2015)
Narges Khakpour, Mohammad Reza Mousavi
Notions of Conformance Testing for Cyber-Physical Systems: Overview and Roadmap (Invited Paper). CONCUR (2015)
Neda Noroozi, Ramtin Khosravi, Mohammad Reza Mousavi, Tim A. C. Willemse
Synchrony and asynchrony in conformance testing. Softw. Syst. Model. 14 (1) (2015)
Jan Friso Groote, Mohammad Reza Mousavi
Book Announcement: Modeling and Analysis of Communicating Systems. Bull. EATCS 114 (2014)
Mohammad Reza Mousavi, António Ravara
Foreword. Sci. Comput. Program. 89 (2014)
Mohammad Reza Mousavi, Jun Pang
Special section on Software Verification and Testing. Sci. Comput. Program. 95 (2014)
Harsh Beohar, Mohammad Reza Mousavi
Spinal Test Suites for Software Product Lines. MBT (2014)
Morteza Mohaqeqi, Mohammad Reza Mousavi, Walid Taha
Conformance Testing of Cyber-Physical Systems: A Comparative Study. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 70 (2014)
Mohammad Reza Mousavi, Gwen Salaün
Preface: Special section on foundations of coordination languages and software architectures (selected papers from FOCLASA'10). Sci. Comput. Program. 80 (2014)
Harsh Beohar, Mohammad Reza Mousavi
Input-output conformance testing based on featured transition systems. SAC (2014)
Sarmen Keshishzadeh, Arjan J. Mooij, Mohammad Reza Mousavi
Early Fault Detection in DSLs Using SMT Solving and Automated Debugging. SEFM (2013)
Neda Noroozi, Mohammad Reza Mousavi, Tim A. C. Willemse
On the Complexity of Input Output Conformance Testing. FACS (2013)
Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers
Exploiting Algebraic Laws to Improve Mechanized Axiomatizations. CALCO (2013)
Martin Churchill, Peter D. Mosses, Mohammad Reza Mousavi
Modular Semantics for Transition System Specifications with Negative Premises. CONCUR (2013)
Mohammad Reza Mousavi, Jun Pang
Special issue: software verification and testing. Innov. Syst. Softw. Eng. 9 (2) (2013)
Neda Noroozi, Mohammad Reza Mousavi, Tim A. C. Willemse
Decomposability in Input Output Conformance Testing MBT (2013)
Daniel Gebler, Eugen-Ioan Goriac, Mohammad Reza Mousavi
Algebraic Meta-Theory of Processes with Data. EXPRESS/SOS (2013)
Muhammad Atif, Mohammad Reza Mousavi, Ammar Osaiweran
Formal verification of Unreliable Failure Detectors in Partially Synchronous Systems. SAC (2012)
Vivek Vishal, Mehmet Kovacioglu, Rachid Kherazi, Mohammad Reza Mousavi
Integrating Model-Based and Constraint-Based Testing Using SpecExplorer. ISSRE Workshops (2012)
Narges Khakpour, Saeed Jalili, Carolyn L. Talcott, Marjan Sirjani, Mohammad Reza Mousavi
Formal modeling of evolving self-adaptive systems. Sci. Comput. Program. 78 (1) (2012)
Matthias Woehrle, Rena Bakhshi, Mohammad Reza Mousavi
Mechanized Extraction of Topology Anti-patterns in Wireless Networks. IFM (2012)
Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers
Rule formats for distributivity. Theor. Comput. Sci. 458 (2012)
Matteo Cimini, Mohammad Reza Mousavi, Michel A. Reniers, Murdoch James Gabbay
Nominal SOS. MFPS (2012)
Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers
Rule formats for determinism and idempotence. Sci. Comput. Program. 77 (7-8) (2012)
Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers
Rule Formats for Distributivity. LATA (2011)
Hamid Reza Asaadi, Ramtin Khosravi, Mohammad Reza Mousavi, Neda Noroozi
Towards Model-Based Testing of Electronic Funds Transfer Systems. FSEN (2011)
Matthias Raffelsieper, Mohammad Reza Mousavi, Hans Zantema
Long-run order-independence of vector-based transition systems. IET Comput. Digit. Tech. 5 (6) (2011)
Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani
Formal Analysis of SystemC Designs in Process Algebra. Fundam. Informaticae 107 (1) (2011)
Francien Dechesne, Mohammad Reza Mousavi
Interpreted Systems Semantics for Process Algebra with Identity Annotations. TbiLLC (2011)
Neda Noroozi, Ramtin Khosravi, Mohammad Reza Mousavi, Tim A. C. Willemse
Synchronizing Asynchronous Conformance Testing. SEFM (2011)
Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers
SOS rule formats for zero and unit elements. Theor. Comput. Sci. 412 (28) (2011)
Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi
Decompositional Reasoning about the History of Parallel Processes. FSEN (2011)

Mohammad Reza Mousavi.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mohammad Reza Mousavi