Mohammad Reza Mousavi

According to our database, Mohammad Reza Mousavi authored at least 151 papers between 1998 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Accelerating Finite State Machine-Based Testing Using Reinforcement Learning.

Uraz Cengiz Türker, Robert M. Hierons, Khaled El-Fakih, Mohammad Reza Mousavi, Ivan Yu. Tyukin

IEEE Trans. Software Eng., March, 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

ACM Trans. Softw. Eng. Methodol., January, 2024

On Specifying for Trustworthiness.

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

Commun. ACM, January, 2024

MirrorFair: Fixing Fairness Bugs in Machine Learning Software via Counterfactual Predictions.

Ying Xiao, Jie M. Zhang, Yepang Liu, Mohammad Reza Mousavi, Sicen Liu, Dingyuan Xue

Proc. ACM Softw. Eng., 2024

Property-Based Testing and Debugging of Quantum Programs (Keynote).

Mohammad Reza Mousavi

Proceedings of the Companion Proceedings of the 8th International Conference on the Art, 2024

Towards a Formal Testing Theory for Quantum Processes.

Mohammad Reza Mousavi, Kirstin Peters, Anna Schmitt

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola, 2024

Delta Debugging for Property-Based Regression Testing of Quantum Programs.

Gabriel Joseph Pontolillo, Mohammad Reza Mousavi

Proceedings of the 5th ACM/IEEE International Workshop on Quantum Software Engineering, 2024

Causal Model Discovery in Cancer Guided by Cellular Pathways.

Rodrigo Henrique Ramos, Adenilso Simão, Mohammad Reza Mousavi

Proceedings of the Computational Methods in Systems Biology, 2024

2023

Model Learning for Improved Trustworthiness in Autonomous Systems (Dagstuhl Seminar 23492).

Ellen Enkel, Nils Jansen, Mohammad Reza Mousavi, Kristin Yvonne Rozier

Dagstuhl Reports, December, 2023

Testing, Validation, and Verification of Robotic and Autonomous Systems: A Systematic Review.

Hugo Leonardo da Silva Araujo, Mohammad Reza Mousavi, Mahsa Varshosaz

ACM Trans. Softw. Eng. Methodol., April, 2023

Trustworthy Autonomous Systems Through Verifiability.

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 Ringert, Ivan Tyukin, Jim Woodcock

Computer, February, 2023

Preface to the special issue on Open Problems in Concurrency Theory.

Ilaria Castellani, Pedro R. D'Argenio, Mohammad Reza Mousavi, Ana Sokolova

J. Log. Algebraic Methods Program., 2023

The Way We Were: Structural Operational Semantics Research in Perspective.

Luca Aceto, Pierluigi Crescenzi, Anna Ingólfsdóttir, Mohammad Reza Mousavi

Proceedings of the Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, 2023

Automata Learning for Dynamic Software Product Lines: A Tutorial.

Mohammad Reza Mousavi

Proceedings of the 27th ACM International Systems and Software Product Line Conference, 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, Farshid Amirabdollahian

Proceedings of the 32nd IEEE International Conference on Robot and Human Interactive Communication, 2023

Compositional Learning for Interleaving Parallel Automata.

Faezeh Labbaf, Jan Friso Groote, Hossein Hojjat, Mohammad Reza Mousavi

Proceedings of the Foundations of Software Science and Computation Structures, 2023

On Testing Ethical Autonomous Decision-Making.

Michael E. Akintunde, Martim Brandão, Gunel Jahangirova, Hector Menendez, Mohammad Reza Mousavi, Jie Zhang

Proceedings of the Applicable Formal Methods for Safe Industrial Products, 2023

2022

A policy-aware epistemic framework for social networks.

Zahra Moezkarimi, Fatemeh Ghassemi, Mohammad Reza Mousavi

J. Log. Comput., 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

Log. Methods Comput. Sci., 2022

Adaptive behavioral model learning for software product lines.

Shaghayegh Tavassoli, Carlos Diego Nascimento Damasceno, Ramtin Khosravi, Mohammad Reza Mousavi

Proceedings of the SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12, 2022

A benchmark for active learning of variability-intensive systems.

Shaghayegh Tavassoli, Carlos Diego Nascimento Damasceno, Mohammad Reza Mousavi, Ramtin Khosravi

Proceedings of the SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12, 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, Farshid Amirabdollahian

Proceedings of the Social Robotics - 14th International Conference, 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, Ben Robins, Farshid Amirabdollahian

Proceedings of the 31st IEEE International Conference on Robot and Human Interactive Communication, 2022

A Multi-Lingual Benchmark for Property-Based Testing of Quantum Programs.

Gabriel Pontolillo, Mohammad Reza Mousavi

Proceedings of the 3rd IEEE/ACM International Workshop on Quantum Software Engineering, 2022

DyNetKAT: An Algebra of Dynamic Networks.

Georgiana Caltais, Hossein Hojjat, Mohammad Reza Mousavi, Hünkar Can Tunç

Proceedings of the Foundations of Software Science and Computation Structures, 2022

2021

Preface to the special issue on Formal Methods: Foundations and Applications.

Tiago Massoni, Mohammad Reza Mousavi

Sci. Comput. Program., 2021

Update from the Editorial Team.

Andrea De Lucia, Mohammad Reza Mousavi

Sci. Comput. Program., 2021

Learning by sampling: learning behavioral family models from software product lines.

Carlos Diego Nascimento Damasceno, Mohammad Reza Mousavi, Adenilso da Silva Simão

Empir. Softw. Eng., 2021

Locality-Based Test Selection for Autonomous Agents.

Sina Entekhabi, Wojciech Mostowski, Mohammad Reza Mousavi, Thomas Arts

Proceedings of the Testing Software and Systems, 2021

Efficient state synchronisation in model-based testing through reinforcement learning.

Uraz Cengiz Türker, Robert M. Hierons, Mohammad Reza Mousavi, Ivan Yu. Tyukin

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

2020

Causal Reasoning for Safety in Hennessy Milner Logic.

Georgiana Caltais, Mohammad Reza Mousavi, Hargurbir Singh

Fundam. Informaticae, 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, Alexey V. Vinel

Proceedings of the 31st IEEE Annual International Symposium on Personal, 2020

Property-based Testing of Quantum Programs in Q#.

Shahin Honarvar, Mohammad Reza Mousavi, Rajagopal Nagarajan

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Workshops, Seoul, Republic of Korea, 27 June, 2020

Logical Characterisation of Hybrid Conformance.

Maciej Gazda, Mohammad Reza Mousavi

Proceedings of the 47th International Colloquium on Automata, Languages, and Programming, 2020

Conformance-Based Doping Detection for Cyber-Physical Systems.

Rayna Dimitrova, Maciej Gazda, Mohammad Reza Mousavi, Sebastian Biewer, Holger Hermanns

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2020

2019

Hierarchical featured state machines.

Vanderson Hafemann Fragal, Adenilso da Silva Simão, Mohammad Reza Mousavi

Sci. Comput. Program., 2019

Modal transition system encoding of featured transition systems.

Mahsa Varshosaz, Lars Luthmann, Paul Mohr, Malte Lochau, Mohammad Reza Mousavi

J. Log. Algebraic Methods Program., 2019

Special Issue on Trends in Concurrency Theory (selected invited contributions from the workshops TRENDS 2015 and 2016).

Ilaria Castellani, Mohammad Reza Mousavi

J. Log. Algebraic Methods Program., 2019

On the search for industry-relevant regression testing research.

Nauman Bin Ali, Emelie Engström, Masoumeh Taromirad, Mohammad Reza Mousavi, Nasir Mehmood Minhas, Daniel Helgesson, Sebastian Kunze, Mahsa Varshosaz

Empir. Softw. Eng., 2019

Extending HSI Test Generation Method for Software Product Lines.

Vanderson Hafemann Fragal, Adenilso Simão, Mohammad Reza Mousavi, Uraz Cengiz Türker

Comput. J., 2019

Learning from difference: an automated approach for learning family models from software product lines.

Carlos Diego Nascimento Damasceno, Mohammad Reza Mousavi, Adenilso da Silva Simão

Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

Comparative Expressiveness of Product Line Calculus of Communicating Systems and 1-Selecting Modal Transition Systems.

Mahsa Varshosaz, Mohammad Reza Mousavi

Proceedings of the SOFSEM 2019: Theory and Practice of Computer Science, 2019

Multi-objective Search for Effective Testing of Cyber-Physical Systems.

Hugo Leonardo da Silva Araujo, Gustavo Carvalho, Mohammad Reza Mousavi, Augusto Sampaio

Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

Learning to Reuse: Adaptive Model Learning for Evolving Systems.

Carlos Diego Nascimento Damasceno, Mohammad Reza Mousavi, Adenilso da Silva Simão

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

2018

Basic behavioral models for software product lines: Revisited.

Mahsa Varshosaz, Harsh Beohar, Mohammad Reza Mousavi

Sci. Comput. Program., 2018

Sound conformance testing for cyber-physical systems: Theory and implementation.

Hugo Leonardo da Silva Araujo, Gustavo Carvalho, Morteza Mohaqeqi, Mohammad Reza Mousavi, Augusto Sampaio

Sci. Comput. Program., 2018

Telling Lies in Process Algebra.

Mohammad Reza Mousavi, Mahsa Varshosaz

Proceedings of the 2018 International Symposium on Theoretical Aspects of Software Engineering, 2018

A classification of product sampling for software product lines.

Mahsa Varshosaz, Mustafa Al-Hajjaji, Thomas Thüm, Tobias Runge, Mohammad Reza Mousavi, Ina Schaefer

Proceedings of the Proceeedings of the 22nd International Systems and Software Product Line Conference, 2018

Temporal Logic Falsification of Cyber-Physical Systems: An Input-Signal-Space Optimization Approach.

Arend Aerts, Bryan Tong Minh, Mohammad Reza Mousavi, Michel A. Reniers

Proceedings of the 2018 IEEE International Conference on Software Testing, 2018

Model Learning and Model-Based Testing.

Bernhard K. Aichernig, Wojciech Mostowski, Mohammad Reza Mousavi, Martin Tappler, Masoumeh Taromirad

Proceedings of the Machine Learning for Dynamic Software Analysis: Potentials and Limits, 2018

Dynamic Control Points and Independent Time Domains for Temporal Logic Falsification.

Arend Aerts, Bryan Tong Minh, Mohammad Reza Mousavi, Michel A. Reniers

Proceedings of the 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, 2018

2017

Reverse Execution in Testing – Improving Security and Reliability (NII Shonan Meeting 2017-9).

Michael Kirkedal Thomsen, Kazutaka Matsuda, Mohammad Reza Mousavi

NII Shonan Meet. Rep., 2017

Preface: Special issue on Trends in Concurrency Theory (selected invited contributions from the workshops TRENDS 2014 and 2015).

Ilaria Castellani, Mohammad Reza Mousavi

J. Log. Algebraic Methods Program., 2017

Hardness of Deriving Invertible Sequences from Finite State Machines.

Robert M. Hierons, Mohammad Reza Mousavi, Michael Kirkedal Thomsen, Uraz Cengiz Türker

Proceedings of the SOFSEM 2017: Theory and Practice of Computer Science, 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

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

A Process for Sound Conformance Testing of Cyber-Physical Systems.

Hugo Leonardo da Silva Araujo, Gustavo Carvalho, Augusto Sampaio, Mohammad Reza Mousavi, Masoumeh Taromirad

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Gray-Box Conformance Testing for Symbolic Reactive State Machines.

Masoumeh Taromirad, Mohammad Reza Mousavi

Proceedings of the Fundamentals of Software Engineering - 7th International Conference, 2017

Simulation of hybrid systems from natural-language requirements.

Bruno Oliveira, Gustavo Carvalho, Mohammad Reza Mousavi, Augusto Sampaio

Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

2016

Basic behavioral models for software product lines: Expressiveness and testing pre-orders.

Harsh Beohar, Mahsa Varshosaz, Mohammad Reza Mousavi

Sci. Comput. Program., 2016

Product line process theory.

Fatemeh Ghassemi, Mohammad Reza Mousavi

J. Log. Algebraic Methods Program., 2016

Input-output conformance testing for software product lines.

Harsh Beohar, Mohammad Reza Mousavi

J. Log. Algebraic Methods Program., 2016

Towards an Approximate Conformance Relation for Hybrid I/O Automata.

Morteza Mohaqeqi, Mohammad Reza Mousavi

Proceedings of the The First Workshop on Verification and Validation of Cyber-Physical Systems, 2016

(De-)Composing Causality in Labeled Transition Systems.

Georgiana Caltais, Stefan Leue, Mohammad Reza Mousavi

Proceedings of the Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, 2016

Sound Test-Suites for Cyber-Physical Systems.

Morteza Mohaqeqi, Mohammad Reza Mousavi

Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016

Complete IOCO test cases: a case study.

Sofia Larissa da Costa Paiva, Adenilso Simão, Mahsa Varshosaz, Mohammad Reza Mousavi

Proceedings of the 7th International Workshop on Automating Test Case Design, 2016

Validated Test Models for Software Product Lines: Featured Finite State Machines.

Vanderson H. Fragal, Adenilso Simão, Mohammad Reza Mousavi

Proceedings of the Formal Aspects of Component Software - 13th International Conference, 2016

2015

Synchrony and asynchrony in conformance testing.

Neda Noroozi, Ramtin Khosravi, Mohammad Reza Mousavi, Tim A. C. Willemse

Softw. Syst. Model., 2015

Timed-Gamma and its Coordination Language.

Mohammad Reza Mousavi, Twan Basten, Michel A. Reniers, Michel Chaudron

Nord. J. Comput., 2015

State Distribution Policy for Distributed Model Checking of Actor Models.

Ehsan Khamespanah, Marjan Sirjani, Mohammad Reza Mousavi, Zeynab Sabahi-Kaviani, Mohamadreza Razzazi

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015

A Tool Prototype for Model-Based Testing of Cyber-Physical Systems.

Arend Aerts, Mohammad Reza Mousavi, Michel A. Reniers

Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015

Delta-Oriented FSM-Based Testing.

Mahsa Varshosaz, Harsh Beohar, Mohammad Reza Mousavi

Proceedings of the Formal Methods and Software Engineering, 2015

A Pre-congruence Format for XY-simulation.

Harsh Beohar, Mohammad Reza Mousavi

Proceedings of the Fundamentals of Software Engineering - 6th International Conference, 2015

Notions of Conformance Testing for Cyber-Physical Systems: Overview and Roadmap (Invited Paper).

Narges Khakpour, Mohammad Reza Mousavi

Proceedings of the 26th International Conference on Concurrency Theory, 2015

2014

Preface: Special section on foundations of coordination languages and software architectures (selected papers from FOCLASA'10).

Mohammad Reza Mousavi, Gwen Salaün

Sci. Comput. Program., 2014

Foreword.

Mohammad Reza Mousavi, António Ravara

Sci. Comput. Program., 2014

Special section on Software Verification and Testing.

Mohammad Reza Mousavi, Jun Pang

Sci. Comput. Program., 2014

Conformance Testing of Cyber-Physical Systems: A Comparative Study.

Morteza Mohaqeqi, Mohammad Reza Mousavi, Walid Taha

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014

Book Announcement: Modeling and Analysis of Communicating Systems.

Jan Friso Groote, Mohammad Reza Mousavi

Bull. EATCS, 2014

Spinal Test Suites for Software Product Lines.

Harsh Beohar, Mohammad Reza Mousavi

Proceedings of the Proceedings Ninth Workshop on Model-Based Testing, 2014

Input-output conformance testing based on featured transition systems.

Harsh Beohar, Mohammad Reza Mousavi

Proceedings of the Symposium on Applied Computing, 2014

Modeling and Analysis of Communicating Systems.

Jan Friso Groote, Mohammad Reza Mousavi

MIT Press, ISBN: 9780262321020, 2014

2013

Special issue: software verification and testing.

Mohammad Reza Mousavi, Jun Pang

Innov. Syst. Softw. Eng., 2013

Decomposability in Input Output Conformance Testing

Neda Noroozi, Mohammad Reza Mousavi, Tim A. C. Willemse

Proceedings of the Proceedings Eighth Workshop on Model-Based Testing, 2013

Algebraic Meta-Theory of Processes with Data.

Daniel Gebler, Eugen-Ioan Goriac, Mohammad Reza Mousavi

Proceedings of the Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics, 2013

Early Fault Detection in DSLs Using SMT Solving and Automated Debugging.

Sarmen Keshishzadeh, Arjan J. Mooij, Mohammad Reza Mousavi

Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013

On the Complexity of Input Output Conformance Testing.

Neda Noroozi, Mohammad Reza Mousavi, Tim A. C. Willemse

Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013

Modular Semantics for Transition System Specifications with Negative Premises.

Martin Churchill, Peter D. Mosses, Mohammad Reza Mousavi

Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

Exploiting Algebraic Laws to Improve Mechanized Axiomatizations.

Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers

Proceedings of the Algebra and Coalgebra in Computer Science, 2013

2012

Esterel and the Semantics of Causality.

Mohammad Reza Mousavi

Proceedings of the Handbook of Finite State Based Models and Applications., 2012

Rule formats for distributivity.

Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers

Theor. Comput. Sci., 2012

Formal modeling of evolving self-adaptive systems.

Narges Khakpour, Saeed Jalili, Carolyn L. Talcott, Marjan Sirjani, Mohammad Reza Mousavi

Sci. Comput. Program., 2012

Rule formats for determinism and idempotence.

Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers

Sci. Comput. Program., 2012

Nominal SOS.

Matteo Cimini, Mohammad Reza Mousavi, Michel A. Reniers, Murdoch James Gabbay

Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, 2012

Formal verification of Unreliable Failure Detectors in Partially Synchronous Systems.

Muhammad Atif, Mohammad Reza Mousavi, Ammar Osaiweran

Proceedings of the ACM Symposium on Applied Computing, 2012

Integrating Model-Based and Constraint-Based Testing Using SpecExplorer.

Vivek Vishal, Mehmet Kovacioglu, Rachid Kherazi, Mohammad Reza Mousavi

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering Workshops, 2012

Mechanized Extraction of Topology Anti-patterns in Wireless Networks.

Matthias Woehrle, Rena Bakhshi, Mohammad Reza Mousavi

Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

2011

SOS rule formats for zero and unit elements.

Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers

Theor. Comput. Sci., 2011

Long-run order-independence of vector-based transition systems.

Matthias Raffelsieper, Mohammad Reza Mousavi, Hans Zantema

IET Comput. Digit. Tech., 2011

Formal Analysis of SystemC Designs in Process Algebra.

Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani

Fundam. Informaticae, 2011

Process Algebra as a Common Framework for Hardware/Software Coverification.

Matthias Raffelsieper, Mohammad Reza Mousavi, J. Sleuters

IEEE Embed. Syst. Lett., 2011

Interpreted Systems Semantics for Process Algebra with Identity Annotations.

Francien Dechesne, Mohammad Reza Mousavi

Proceedings of the Logic, Language, and Computation, 2011

Synchronizing Asynchronous Conformance Testing.

Neda Noroozi, Ramtin Khosravi, Mohammad Reza Mousavi, Tim A. C. Willemse

Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

Towards Model-Based Testing of Electronic Funds Transfer Systems.

Hamid Reza Asaadi, Ramtin Khosravi, Mohammad Reza Mousavi, Neda Noroozi

Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

Decompositional Reasoning about the History of Parallel Processes.

Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi

Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

Symbolic Power Analysis of Cell Libraries.

Matthias Raffelsieper, Mohammad Reza Mousavi

Proceedings of the Formal Methods for Industrial Critical Systems, 2011

2010

Towards model checking executable UML specifications in mCRL2.

Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Mohammad Reza Mousavi, Jaco van de Pol

Innov. Syst. Softw. Eng., 2010

On Rule Formats for Zero and Unit Elements.

Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers

Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, 2010

Robustness of Equations Under Operational Extensions

Peter D. Mosses, Mohammad Reza Mousavi, Michel A. Reniers

Proceedings of the Proceedings 17th International Workshop on Expressiveness in Concurrency, 2010

Symmetry and partial order reduction techniques in model checking Rebeca.

Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi, Ehsan Khamespanah, Ali Movaghar

Acta Informatica, 2010

Lifting non-finite axiomatizability results to extensions of process algebras.

Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Mohammad Reza Mousavi

Acta Informatica, 2010

A Rule Format for Unit Elements.

Luca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers

Proceedings of the SOFSEM 2010: Theory and Practice of Computer Science, 2010

Formal specification and analysis of accelerated heartbeat protocols.

Muhammad Atif, Mohammad Reza Mousavi

Proceedings of the SummerSim '10, 2010

Restricted delegation and revocation in language-based security: (position paper).

D. Hassan, Mohammad Reza Mousavi, Michel A. Reniers

Proceedings of the 2010 Workshop on Programming Languages and Analysis for Security, 2010

Automated Verification of Executable UML Models.

Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Mohammad Reza Mousavi, Jaco van de Pol, Osmar Marchi dos Santos

Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

Checking and deriving module paths in Verilog cell library descriptions.

Matthias Raffelsieper, Mohammad Reza Mousavi, Chris W. H. Strolenberg

Proceedings of the Design, Automation and Test in Europe, 2010

Order-Independence of Vector-Based Transition Systems.

Matthias Raffelsieper, Mohammad Reza Mousavi, Hans Zantema

Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010

2009

Semantics and expressiveness of ordered SOS.

Mohammad Reza Mousavi, Iain Phillips, Michel A. Reniers, Irek Ulidowski

Inf. Comput., 2009

PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems.

Narges Khakpour, Saeed Jalili, Carolyn L. Talcott, Marjan Sirjani, Mohammad Reza Mousavi

Proceedings of the 6th International Workshop on Formal Aspects of Component Software, 2009

Causality in the Semantics of Esterel: Revisited

Mohammad Reza Mousavi

Proceedings of the Proceedings Sixth Workshop on Structural Operational Semantics, 2009

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

Proceedings of the Formal Methods for Industrial Critical Systems, 2009

Model Checking Verilog Descriptions of Cell Libraries.

Matthias Raffelsieper, Jan-Willem Roorda, Mohammad Reza Mousavi

Proceedings of the Ninth International Conference on Application of Concurrency to System Design, 2009

2008

A framework for performance evaluation and functional verification in stochastic process algebras.

Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

A Rule Format for Associativity.

Sjoerd Cranen, Mohammad Reza Mousavi, Michel A. Reniers

Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

Process algebraic verification of SystemC codes.

Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani

Proceedings of the 8th International Conference on Application of Concurrency to System Design (ACSD 2008), 2008

2007

SOS formats and meta-theory: 20 years after.

Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote

Theor. Comput. Sci., 2007

A Congruence Rule Format with Universal Quantification.

Mohammad Reza Mousavi, Michel A. Reniers

Proceedings of the Fourth Workshop on Structural Operational Semantics, 2007

Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap.

Francien Dechesne, Mohammad Reza Mousavi, Simona Orzan

Proceedings of the Logic for Programming, 2007

Impossibility Results for the Equational Theory of Timed CCS.

Luca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi

Proceedings of the Algebra and Coalgebra in Computer Science, 2007

Sarir: A Rebeca to mCRL2 Translator.

Hossein Hojjat, Marjan Sirjani, Mohammad Reza Mousavi, Jan Friso Groote

Proceedings of the Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007

2006

On Well-Foundedness and Expressiveness of Promoted Tyft: Being Promoted Makes a Difference.

Mohammad Reza Mousavi, Michel A. Reniers

Proceedings of the Third Workshop on Structural Operational Semantics, 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

Proceedings of the 13th Working Conference on Reverse Engineering (WCRE 2006), 2006

The Meaning of Ordered SOS.

Mohammad Reza Mousavi, Iain C. C. Phillips, Michel A. Reniers, Irek Ulidowski

Proceedings of the FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 2006

Liveness and Boundedness of Synchronous Data Flow Graphs.

Amir Hossein Ghamarian, Marc Geilen, Twan Basten, Bart D. Theelen, Mohammad Reza Mousavi, Sander Stuijk

Proceedings of the Formal Methods in Computer-Aided Design, 6th International Conference, 2006

Throughput Analysis of Synchronous Data Flow Graphs.

Amir Hossein Ghamarian, Marc Geilen, Sander Stuijk, Twan Basten, Bart D. Theelen, Mohammad Reza Mousavi, A. J. M. Moonen, Marco Bekooij

Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006

2005

A syntactic commutativity format for SOS.

Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote

Inf. Process. Lett., 2005

Notions of bisimulation and congruence formats for SOS with data.

Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote

Inf. Comput., 2005

Formal Semantics and Analysis of Component Connectors in Reo.

Mohammad Reza Mousavi, Marjan Sirjani, Farhad Arbab

Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2005

Prototyping SOS Meta-theory in Maude.

Mohammad Reza Mousavi, Michel A. Reniers

Proceedings of the Second Workshop on Structural Operational Semantics, 2005

Towards SOS Meta-Theory for Language-Based Security.

Mohammad Reza Mousavi

Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005

A Hierarchy of SOS Rule Formats.

Jan Friso Groote, Mohammad Reza Mousavi, Michel A. Reniers

Proceedings of the Second Workshop on Structural Operational Semantics, 2005

Efficient Symmetry Reduction for an Actor-Based Model.

Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi, Ali Movaghar

Proceedings of the Distributed Computing and Internet Technology, 2005

Orthogonal Extensions in Structural Operational Semantics.

Mohammad Reza Mousavi, Michel A. Reniers

Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005

Congruence for Structural Congruences.

Mohammad Reza Mousavi, Michel A. Reniers

Proceedings of the Foundations of Software Science and Computational Structures, 2005

SOS for Higher Order Processes.

Mohammad Reza Mousavi, Murdoch Gabbay, Michel A. Reniers

Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

Timing the Untimed: Terminating Successfully While Being Conservative.

Jos C. M. Baeten, Mohammad Reza Mousavi, Michel A. Reniers

Proceedings of the Processes, 2005

2004

Congruence for SOS with Data.

Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote

Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 2004

Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks.

Mohammad Reza Mousavi, Paul Le Guernic, Jean-Pierre Talpin, Sandeep K. Shukla, Twan Basten

Proceedings of the 2004 Design, 2004

2003

PARS: A Process Algebra with Resources and Schedulers.

Mohammad Reza Mousavi, Michel A. Reniers, Twan Basten, Michel R. V. Chaudron

Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003

Separation of Concerns in the Formal Design of Real-Time Shared Data-Space Systems.

Mohammad Reza Mousavi, Michel A. Reniers, Twan Basten, Michel R. V. Chaudron

Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003

2002

Using Aspect-GAMMA in the design of embedded systems.

Mohammad Reza Mousavi, Giovanni Russello, Michel R. V. Chaudron, Michel A. Reniers, Twan Basten, Angelo Corsaro, Sandeep K. Shukla, Rajesh K. Gupta, Douglas C. Schmidt

Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop 2002, 2002

1998

Synthesizing Software Architecture Descriptions from Message Sequence Chart Specifications.

Stefan Leue, Lars Mehrmann, Mohammad Reza Mousavi

Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998