Mohammad Reza Mousavi

196 papers A* 5A 2B 28C 10Misc 6Journal 68Unranked 62
YearRankTypeTitle / Venue / Authors
2026 B conf
Causal Liability in Autonomous Systems.
FASE
Kaveh Aryan, Hana Chockler, Mohammad Reza Mousavi
2026 B conf
Complete FSM Testing Using Strong Separability.
FoSSaCS
Robert M. Hierons, Mohammad Reza Mousavi
2026 J jnl
Kaspar Explains: An Educational Platform using Causal Explanations to Support Children with Autism with Visual Perspective Taking.
Int. J. Soc. Robotics
Patrick Holthaus, Gabriella Lakatos, Marina Sardà Gou, Sílvia Moros, Luke Jai Wood, Ben Robins, Hugo Leonardo da Silva Araujo, Christine deGraft-Hanson, Mohammad Reza Mousavi, Farshid Amirabdollahian
2026 J jnl
Software Testing in the Quantum World.
Computer
Rui Abreu, Shaukat Ali, Paolo Arcaini, José Campos, Michael Felderer, Claude Gravel, Fuyuki Ishikawa, Stefan Klikovits, Andriy V. Miranskyy, Anila Mjeda, Mohammad Reza Mousavi, Masaomi Yamaguchi, Lei Zhang, Jianjun Zhao
2026 J jnl
Software Testing in the Quantum World.
CoRR
Rui Abreu, Shaukat Ali, Paolo Arcaini, José Campos, Michael Felderer, Claude Gravel, Fuyuki Ishikawa, Stefan Klikovits, Andriy Miranskyy, Anila Mjeda, Mohammad Reza Mousavi, Masaomi Yamaguchi, Lei Zhang, Jianjun Zhao
2025 J jnl
A Taxonomy of Real Faults in Hybrid Quantum-Classical Architectures.
CoRR
Avner Bensoussan, Gunel Jahangirova, Mohammad Reza Mousavi
2025 J jnl
AMQA: An Adversarial Dataset for Benchmarking Bias of LLMs in Medicine and Healthcare.
CoRR
Ying Xiao, Jie Huang, Ruijuan He, Jing Xiao, Mohammad Reza Mousavi, Yepang Liu, Kezhi Li, Zhenpeng Chen, Jie M. Zhang
2025 J jnl
Causality for Cyber-Physical Systems.
CoRR
Hugo Araújo, Hana Chockler, Mohammad Reza Mousavi, Gustavo Carvalho, Augusto Sampaio
2025 — conf
Comparative Analysis of Carbon Footprint in Manual vs. LLM-Assisted Code Development.
ResponibleSE@SIGSOFT FSE
Kuen Sum Cheung, Mayuri Kaul, Gunel Jahangirova, Mohammad Reza Mousavi, Eric Zie
2025 J jnl
Comparative Analysis of Carbon Footprint in Manual vs. LLM-Assisted Code Development.
CoRR
Kuen Sum Cheung, Mayuri Kaul, Gunel Jahangirova, Mohammad Reza Mousavi, Eric Zie
2025 J jnl
Complete FSM Testing Using Strong Separability.
CoRR
Robert M. Hierons, Mohammad Reza Mousavi
2025 B conf
Compositional Active Learning of Synchronizing Systems Through Automated Alphabet Refinement.
CONCUR
Léo Henry, Mohammad Reza Mousavi, Thomas Neele, Matteo Sammartino
2025 J jnl
Efficient State Identification for Finite State Machine-Based Testing.
IEEE Trans. Software Eng.
Uraz Cengiz Türker, Robert M. Hierons, Mohammad Reza Mousavi, Khaled El-Fakih
2025 — conf
Foreword to the Sixth International Workshop on Quantum Software Engineering (Q-SE 2025).
Q-SE
Stefan Klikovits, Mohammad Reza Mousavi
2025 C conf
LolaPrompts: Assisting the General Public in Performing Real-Driving Emission Tests.
FORTE
Melane Navaratnarajah, Ma'ayan Armony, Sebastian Biewer, Holger Hermanns, Mohammad Reza Mousavi
2025 J jnl
QuCheck: A Property-based Testing Framework for Quantum Programs in Qiskit.
CoRR
Gabriel Pontolillo, Mohammad Reza Mousavi, Marek Grzesiuk
2025 — ed.
Rebeca for Actor Analysis in Action - Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday
Rebeca for Actor Analysis in Action
Edward A. Lee, Mohammad Reza Mousavi, Carolyn L. Talcott
2025 J jnl
Role, cost, and complexity of software in the real-world: a case for formal methods.
CoRR
Giovanni Tito Bernardi, Adrian Francalanza, Marco Peressotti, Mohammad Reza Mousavi
2025 J jnl
Sixth International Workshop on Quantum Software Engineering (Q-SE 2025).
ACM SIGSOFT Softw. Eng. Notes
Stefan Klikovits, Mohammad Reza Mousavi
2025 J jnl
Synthetic versus real: an analysis of critical scenarios for autonomous vehicle testing.
Autom. Softw. Eng.
Qunying Song, Avner Bensoussan, Mohammad Reza Mousavi
2025 C conf
Temporal and Spatial Fault Detection for Connected Cyber-Physical Systems.
FORTE
Hugo Araújo, Mohammad Reza Mousavi, Shiva Nejati
2025 — conf
The Future of Generative AI in Software Engineering: A Vision From Industry and Academia in the European Genius Project.
AIware
Robin Gröpler, Steffen Klepke, Jack Johns, Andreas Dreschinski, Klaus Schmid, Benedikt Dornauer, Eray Tüzün, Joost Noppen, Mohammad Reza Mousavi, Yongjian Tang, Johannes Viehmann, Selin Sirin Aslangül, Beum Seuk Lee, Adam Ziolkowski, Eric Zie
2025 J jnl
The Future of Generative AI in Software Engineering: A Vision from Industry and Academia in the European GENIUS Project.
CoRR
Robin Gröpler, Steffen Klepke, Jack Johns, Andreas Dreschinski, Klaus Schmid, Benedikt Dornauer, Eray Tüzün, Joost Noppen, Mohammad Reza Mousavi, Yongjian Tang, Johannes Viehmann, Selin Sirin Aslangül, Beum Seuk Lee, Adam Ziolkowski, Eric Zie
2024 J jnl
Accelerating Finite State Machine-Based Testing Using Reinforcement Learning.
IEEE Trans. Software Eng.
Uraz Cengiz Türker, Robert M. Hierons, Khaled El-Fakih, Mohammad Reza Mousavi, Ivan Yu. Tyukin
2024 J jnl
Automated and Efficient Test-Generation for Grid-Based Multiagent Systems: Comparing Random Input Filtering versus Constraint Solving.
ACM Trans. Softw. Eng. Methodol.
Sina Entekhabi, Wojciech Mostowski, Mohammad Reza Mousavi
2024 — conf
Causal Model Discovery in Cancer Guided by Cellular Pathways.
CMSB
Rodrigo Henrique Ramos, Adenilso Simão, Mohammad Reza Mousavi
2024 — conf
Delta Debugging for Property-Based Regression Testing of Quantum Programs.
Q-SE@ICSE
Gabriel Joseph Pontolillo, Mohammad Reza Mousavi
2024 J jnl
MirrorFair: Fixing Fairness Bugs in Machine Learning Software via Counterfactual Predictions.
Proc. ACM Softw. Eng.
Ying Xiao, Jie M. Zhang, Yepang Liu, Mohammad Reza Mousavi, Sicen Liu, Dingyuan Xue
2024 J jnl
On Specifying for Trustworthiness.
Commun. ACM
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
2024 — ed.
Proceedings of the 28th ACM International Systems and Software Product Line Conference - Volume A, SPLC 2024, Dommeldange, Luxembourg, September 2-6, 2024
SPLC (A)
Maxime Cordy, Daniel Strüber, Mónica Pinto, Iris Groher, Deepak Dhungana, Jacob Krüger, Juliana Alves Pereira, Mathieu Acher, Thomas Thüm, Maurice H. ter Beek, Jessie Galasso-Carbonnel, Paolo Arcaini, Mohammad Reza Mousavi, Xhevahire Tërnava, José A. Galindo, Tao Yue, Lidia Fuentes, José Miguel Horcas
2024 — ed.
Proceedings of the 28th ACM International Systems and Software Product Line Conference - Volume B, SPLC 2024, Dommeldange, Luxembourg, September 2-6, 2024
SPLC (B)
Maxime Cordy, Daniel Strüber, Mónica Pinto, Iris Groher, Deepak Dhungana, Jacob Krüger, Juliana Alves Pereira, Mathieu Acher, Thomas Thüm, Maurice H. ter Beek, Jessie Galasso-Carbonnel, Paolo Arcaini, Mohammad Reza Mousavi, Xhevahire Tërnava, José A. Galindo, Tao Yue, Lidia Fuentes, José Miguel Horcas
2024 — conf
Property-Based Testing and Debugging of Quantum Programs (Keynote).
Programming
Mohammad Reza Mousavi
2024 — conf
Towards a Formal Testing Theory for Quantum Processes.
ISoLA (1)
Mohammad Reza Mousavi, Kirstin Peters, Anna Schmitt
2024 — conf
Trustworthy ROS Software Architecture for Autonomous Drones Missions: From RoboChart Modelling to ROS Implementation.
MESA
Nabil Shaukat, Shival Dubey, Bilal Y. Kaddouh, Andy Blight, Lenka Mudrich, Pedro Ribeiro, Hugo Araújo, Rob Richardson, Louise Abigail Dennis, Ana Lucia Caneca Cavalcanti, Mohammad Reza Mousavi
2023 — conf
Automata Learning for Dynamic Software Product Lines: A Tutorial.
SPLC (A)
Mohammad Reza Mousavi
2023 B conf
Compositional Learning for Interleaving Parallel Automata.
FoSSaCS
Faezeh Labbaf, Jan Friso Groote, Hossein Hojjat, Mohammad Reza Mousavi
2023 B conf
Kaspar Explains: The Effect of Causal Explanations on Visual Perspective Taking Skills in Children with Autism Spectrum Disorder.
RO-MAN
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
2023 J jnl
Model Learning for Improved Trustworthiness in Autonomous Systems (Dagstuhl Seminar 23492).
Dagstuhl Reports
Ellen Enkel, Nils Jansen, Mohammad Reza Mousavi, Kristin Yvonne Rozier
2023 — conf
On Testing Ethical Autonomous Decision-Making.
Applicable Formal Methods for Safe Industrial Products
Michael E. Akintunde, Martim Brandão, Gunel Jahangirova, Hector Menendez, Mohammad Reza Mousavi, Jie Zhang
2023 J jnl
Preface to the special issue on Open Problems in Concurrency Theory.
J. Log. Algebraic Methods Program.
Ilaria Castellani, Pedro R. D'Argenio, Mohammad Reza Mousavi, Ana Sokolova
2023 J jnl
Testing, Validation, and Verification of Robotic and Autonomous Systems: A Systematic Review.
ACM Trans. Softw. Eng. Methodol.
Hugo Leonardo da Silva Araujo, Mohammad Reza Mousavi, Mahsa Varshosaz
2023 — conf
The Way We Were: Structural Operational Semantics Research in Perspective.
EXPRESS/SOS
Luca Aceto, Pierluigi Crescenzi, Anna Ingólfsdóttir, Mohammad Reza Mousavi
2023 J jnl
Trustworthy Autonomous Systems Through Verifiability.
Computer
Mohammad Reza Mousavi, Ana Cavalcanti, Michael Fisher, Louise A. Dennis, Robert M. Hierons, Bilal Y. Kaddouh, Effie Lai-Chong Law, Rob Richardson, Jan Oliver Ringert, Ivan Tyukin, Jim Woodcock
2022 J jnl
A Benchmark for Active Learning of Variability-Intensive Systems.
CoRR
Shaghayegh Tavassoli, Carlos Diego Nascimento Damasceno, Mohammad Reza Mousavi, Ramtin Khosravi
2022 — conf
A Multi-Lingual Benchmark for Property-Based Testing of Quantum Programs.
Q-SE@ICSE
Gabriel Pontolillo, Mohammad Reza Mousavi
2022 — conf
A benchmark for active learning of variability-intensive systems.
SPLC (A)
Shaghayegh Tavassoli, Carlos Diego Nascimento Damasceno, Mohammad Reza Mousavi, Ramtin Khosravi
2022 J jnl
A policy-aware epistemic framework for social networks.
J. Log. Comput.
Zahra Moezkarimi, Fatemeh Ghassemi, Mohammad Reza Mousavi
2022 J jnl
Adaptive Behavioral Model Learning for Software Product Lines.
CoRR
Shaghayegh Tavassoli, Carlos Diego Nascimento Damasceno, Ramtin Khosravi, Mohammad Reza Mousavi
2022 — conf
Adaptive behavioral model learning for software product lines.
SPLC (A)
Shaghayegh Tavassoli, Carlos Diego Nascimento Damasceno, Ramtin Khosravi, Mohammad Reza Mousavi
2022 J jnl
Conformance Relations and Hyperproperties for Doping Detection in Time and Space.
Log. Methods Comput. Sci.
Sebastian Biewer, Rayna Dimitrova, Michael Fries, Maciej Gazda, Thomas Heinze, Holger Hermanns, Mohammad Reza Mousavi
2022 B conf
DyNetKAT: An Algebra of Dynamic Networks.
FoSSaCS
Georgiana Caltais, Hossein Hojjat, Mohammad Reza Mousavi, Hünkar Can Tunç
2022 C ed.
Formal Techniques for Distributed Objects, Components, and Systems - 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings
FORTE
Mohammad Reza Mousavi, Anna Philippou
2022 — conf
Kaspar Causally Explains.
ICSR (2)
Hugo Leonardo da Silva Araujo, Patrick Holthaus, Marina Sardà Gou, Gabriella Lakatos, Giulia Galizia, Luke Jai Wood, Ben Robins, Mohammad Reza Mousavi, Farshid Amirabdollahian
2022 J jnl
On Specifying for Trustworthiness.
CoRR
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
2022 B conf
Towards understanding causality - a retrospective study of using explanations in interactions between a humanoid robot and autistic children.
RO-MAN
Marina Sardà Gou, Gabriella Lakatos, Patrick Holthaus, Luke Jai Wood, Mohammad Reza Mousavi, Ben Robins, Farshid Amirabdollahian
2021 J jnl
DyNetKAT: An Algebra of Dynamic Networks.
CoRR
Georgiana Caltais, Hossein Hojjat, Mohammad Reza Mousavi, Hünkar Can Tunç
2021 A* conf
Efficient state synchronisation in model-based testing through reinforcement learning.
ASE
Uraz Cengiz Türker, Robert M. Hierons, Mohammad Reza Mousavi, Ivan Yu. Tyukin
2021 J jnl
Learning by sampling: learning behavioral family models from software product lines.
Empir. Softw. Eng.
Carlos Diego Nascimento Damasceno, Mohammad Reza Mousavi, Adenilso da Silva Simão
2021 C conf
Locality-Based Test Selection for Autonomous Agents.
ICTSS
Sina Entekhabi, Wojciech Mostowski, Mohammad Reza Mousavi, Thomas Arts
2021 J jnl
Preface to the special issue on Formal Methods: Foundations and Applications.
Sci. Comput. Program.
Tiago Massoni, Mohammad Reza Mousavi
2021 — ed.
SPLC '21: 25th ACM International Systems and Software Product Line Conference, Leicester, United Kindom, September 6-11, 2021, Volume B
SPLC (B)
Mohammad Reza Mousavi, Pierre-Yves Schobbens
2021 — ed.
SPLC '21: 25th ACM International Systems and Software Product Line Conference, Leicester, United Kingdom, September 6-11, 2021, Volume A
SPLC (A)
Mohammad Reza Mousavi, Pierre-Yves Schobbens
2021 J jnl
Update from the Editorial Team.
Sci. Comput. Program.
Andrea De Lucia, Mohammad Reza Mousavi
2020 J jnl
Causal Reasoning for Safety in Hennessy Milner Logic.
Fundam. Informaticae
Georgiana Caltais, Mohammad Reza Mousavi, Hargurbir Singh
2020 J jnl
Conformance Relations and Hyperproperties for Doping Detection in Time and Space.
CoRR
Sebastian Biewer, Rayna Dimitrova, Michael Fries, Maciej Gazda, Thomas Heinze, Holger Hermanns, Mohammad Reza Mousavi
2020 C conf
Conformance-Based Doping Detection for Cyber-Physical Systems.
FORTE
Rayna Dimitrova, Maciej Gazda, Mohammad Reza Mousavi, Sebastian Biewer, Holger Hermanns
2020 B conf
Connected Automated Driving: A Model-Based Approach to the Analysis of Basic Awareness Services.
PIMRC
Hugo Leonardo da Silva Araujo, Ties Hoenselaar, Mohammad Reza Mousavi, Alexey V. Vinel
2020 A* conf
Logical Characterisation of Hybrid Conformance.
ICALP
Maciej Gazda, Mohammad Reza Mousavi
2020 — conf
Property-based Testing of Quantum Programs in Q#.
ICSE (Workshops)
Shahin Honarvar, Mohammad Reza Mousavi, Rajagopal Nagarajan
2019 B conf
Comparative Expressiveness of Product Line Calculus of Communicating Systems and 1-Selecting Modal Transition Systems.
SOFSEM
Mahsa Varshosaz, Mohammad Reza Mousavi
2019 J jnl
Extending HSI Test Generation Method for Software Product Lines.
Comput. J.
Vanderson Hafemann Fragal, Adenilso Simão, Mohammad Reza Mousavi, Uraz Cengiz Türker
2019 J jnl
Hierarchical featured state machines.
Sci. Comput. Program.
Vanderson Hafemann Fragal, Adenilso da Silva Simão, Mohammad Reza Mousavi
2019 — conf
Learning from difference: an automated approach for learning family models from software product lines.
SPLC (A)
Carlos Diego Nascimento Damasceno, Mohammad Reza Mousavi, Adenilso da Silva Simão
2019 B conf
Learning to Reuse: Adaptive Model Learning for Evolving Systems.
IFM
Carlos Diego Nascimento Damasceno, Mohammad Reza Mousavi, Adenilso da Silva Simão
2019 J jnl
Modal transition system encoding of featured transition systems.
J. Log. Algebraic Methods Program.
Mahsa Varshosaz, Lars Luthmann, Paul Mohr, Malte Lochau, Mohammad Reza Mousavi
2019 B conf
Multi-objective Search for Effective Testing of Cyber-Physical Systems.
SEFM
Hugo Leonardo da Silva Araujo, Gustavo Carvalho, Mohammad Reza Mousavi, Augusto Sampaio
2019 J jnl
On the search for industry-relevant regression testing research.
Empir. Softw. Eng.
Nauman Bin Ali, Emelie Engström, Masoumeh Taromirad, Mohammad Reza Mousavi, Nasir Mehmood Minhas, Daniel Helgesson, Sebastian Kunze, Mahsa Varshosaz
2019 J jnl
Special Issue on Trends in Concurrency Theory (selected invited contributions from the workshops TRENDS 2015 and 2016).
J. Log. Algebraic Methods Program.
Ilaria Castellani, Mohammad Reza Mousavi
2018 B conf
A classification of product sampling for software product lines.
SPLC
Mahsa Varshosaz, Mustafa Al-Hajjaji, Thomas Thüm, Tobias Runge, Mohammad Reza Mousavi, Ina Schaefer
2018 J jnl
Basic behavioral models for software product lines: Revisited.
Sci. Comput. Program.
Mahsa Varshosaz, Harsh Beohar, Mohammad Reza Mousavi
2018 — conf
Dynamic Control Points and Independent Time Domains for Temporal Logic Falsification.
MT@CPSWeek
Arend Aerts, Bryan Tong Minh, Mohammad Reza Mousavi, Michel A. Reniers
2018 — ed.
Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings
SBMF
Tiago Massoni, Mohammad Reza Mousavi
2018 — conf
Model Learning and Model-Based Testing.
Machine Learning for Dynamic Software Analysis
Bernhard K. Aichernig, Wojciech Mostowski, Mohammad Reza Mousavi, Martin Tappler, Masoumeh Taromirad
2018 J jnl
Sound conformance testing for cyber-physical systems: Theory and implementation.
Sci. Comput. Program.
Hugo Leonardo da Silva Araujo, Gustavo Carvalho, Morteza Mohaqeqi, Mohammad Reza Mousavi, Augusto Sampaio
2018 Misc conf
Telling Lies in Process Algebra.
TASE
Mohammad Reza Mousavi, Mahsa Varshosaz
2018 — conf
Temporal Logic Falsification of Cyber-Physical Systems: An Input-Signal-Space Optimization Approach.
ICST Workshops
Arend Aerts, Bryan Tong Minh, Mohammad Reza Mousavi, Michel A. Reniers
2017 — conf
A Process for Sound Conformance Testing of Cyber-Physical Systems.
ICST Workshops
Hugo Leonardo da Silva Araujo, Gustavo Carvalho, Augusto Sampaio, Mohammad Reza Mousavi, Masoumeh Taromirad
2017 — ed.
Cyber Physical Systems. Design, Modeling, and Evaluation - 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers
CyPhy
Christian Berger, Mohammad Reza Mousavi, Rafael Wisniewski
2017 — conf
Gray-Box Conformance Testing for Symbolic Reactive State Machines.
FSEN
Masoumeh Taromirad, Mohammad Reza Mousavi
2017 B conf
Hardness of Deriving Invertible Sequences from Finite State Machines.
SOFSEM
Robert M. Hierons, Mohammad Reza Mousavi, Michael Kirkedal Thomsen, Uraz Cengiz Türker
2017 J jnl
Preface: Special issue on Trends in Concurrency Theory (selected invited contributions from the workshops TRENDS 2014 and 2015).
J. Log. Algebraic Methods Program.
Ilaria Castellani, Mohammad Reza Mousavi
2017 — conf
Reducing the Concretization Effort in FSM-Based Testing of Software Product Lines.
ICST Workshops
Vanderson Hafemann Fragal, Adenilso Simão, André Takeshi Endo, Mohammad Reza Mousavi
2017 J jnl
Reverse Execution in Testing – Improving Security and Reliability (NII Shonan Meeting 2017-9).
NII Shonan Meet. Rep.
Michael Kirkedal Thomsen, Kazutaka Matsuda, Mohammad Reza Mousavi
2017 — conf
Simulation of hybrid systems from natural-language requirements.
CASE
Bruno Oliveira, Gustavo Carvalho, Mohammad Reza Mousavi, Augusto Sampaio
2017 — ed.
Topics in Theoretical Computer Science - Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings
TTCS
Mohammad Reza Mousavi, Jirí Sgall
2016 — conf
(De-)Composing Causality in Labeled Transition Systems.
CREST
Georgiana Caltais, Stefan Leue, Mohammad Reza Mousavi
2016 J jnl
Basic behavioral models for software product lines: Expressiveness and testing pre-orders.
Sci. Comput. Program.
Harsh Beohar, Mahsa Varshosaz, Mohammad Reza Mousavi
2016 — conf
Complete IOCO test cases: a case study.
A-TEST@SIGSOFT FSE
Sofia Larissa da Costa Paiva, Adenilso Simão, Mahsa Varshosaz, Mohammad Reza Mousavi
2016 J jnl
Input-output conformance testing for software product lines.
J. Log. Algebraic Methods Program.
Harsh Beohar, Mohammad Reza Mousavi
2016 J jnl
Product line process theory.
J. Log. Algebraic Methods Program.
Fatemeh Ghassemi, Mohammad Reza Mousavi
2016 Misc conf
Sound Test-Suites for Cyber-Physical Systems.
TASE
Morteza Mohaqeqi, Mohammad Reza Mousavi
2016 — ed.
Topics in Theoretical Computer Science - The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers
TTCS
Mohammad Taghi Hajiaghayi, Mohammad Reza Mousavi
2016 — conf
Towards an Approximate Conformance Relation for Hybrid I/O Automata.
V2CPS@IFM
Morteza Mohaqeqi, Mohammad Reza Mousavi
2016 — conf
Validated Test Models for Software Product Lines: Featured Finite State Machines.
FACS
Vanderson H. Fragal, Adenilso Simão, Mohammad Reza Mousavi
2015 — conf
A Pre-congruence Format for XY-simulation.
FSEN
Harsh Beohar, Mohammad Reza Mousavi
2015 C conf
A Tool Prototype for Model-Based Testing of Cyber-Physical Systems.
ICTAC
Arend Aerts, Mohammad Reza Mousavi, Michel A. Reniers
2015 — ed.
Cyber Physical Systems. Design, Modeling, and Evaluation - 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings
CyPhy
Christian Berger, Mohammad Reza Mousavi
2015 C conf
Delta-Oriented FSM-Based Testing.
ICFEM
Mahsa Varshosaz, Harsh Beohar, Mohammad Reza Mousavi
2015 B conf
Notions of Conformance Testing for Cyber-Physical Systems: Overview and Roadmap (Invited Paper).
CONCUR
Narges Khakpour, Mohammad Reza Mousavi
2015 J jnl
State Distribution Policy for Distributed Model Checking of Actor Models.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Ehsan Khamespanah, Marjan Sirjani, Mohammad Reza Mousavi, Zeynab Sabahi-Kaviani, Mohamadreza Razzazi
2015 J jnl
Synchrony and asynchrony in conformance testing.
Softw. Syst. Model.
Neda Noroozi, Ramtin Khosravi, Mohammad Reza Mousavi, Tim A. C. Willemse
2015 J jnl
Timed-Gamma and its Coordination Language.
Nord. J. Comput.
Mohammad Reza Mousavi, Twan Basten, Michel A. Reniers, Michel Chaudron
2014 J jnl
Book Announcement: Modeling and Analysis of Communicating Systems.
Bull. EATCS
Jan Friso Groote, Mohammad Reza Mousavi
2014 J jnl
Conformance Testing of Cyber-Physical Systems: A Comparative Study.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Morteza Mohaqeqi, Mohammad Reza Mousavi, Walid Taha
2014 J jnl
Foreword.
Sci. Comput. Program.
Mohammad Reza Mousavi, António Ravara
2014 Misc conf
Input-output conformance testing based on featured transition systems.
SAC
Harsh Beohar, Mohammad Reza Mousavi
2014 — book
Modeling and Analysis of Communicating Systems.
Jan Friso Groote, Mohammad Reza Mousavi
2014 J jnl
Preface: Special section on foundations of coordination languages and software architectures (selected papers from FOCLASA'10).
Sci. Comput. Program.
Mohammad Reza Mousavi, Gwen Salaün
2014 J jnl
Special section on Software Verification and Testing.
Sci. Comput. Program.
Mohammad Reza Mousavi, Jun Pang
2014 — conf
Spinal Test Suites for Software Product Lines.
MBT
Harsh Beohar, Mohammad Reza Mousavi
2013 — conf
Algebraic Meta-Theory of Processes with Data.
EXPRESS/SOS
Daniel Gebler, Eugen-Ioan Goriac, Mohammad Reza Mousavi
2013 — conf
Decomposability in Input Output Conformance Testing
MBT
Neda Noroozi, Mohammad Reza Mousavi, Tim A. C. Willemse
2013 B conf
Early Fault Detection in DSLs Using SMT Solving and Automated Debugging.
SEFM
Sarmen Keshishzadeh, Arjan J. Mooij, Mohammad Reza Mousavi
2013 B conf
Exploiting Algebraic Laws to Improve Mechanized Axiomatizations.
CALCO
Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers
2013 B conf
Modular Semantics for Transition System Specifications with Negative Premises.
CONCUR
Martin Churchill, Peter D. Mosses, Mohammad Reza Mousavi
2013 — conf
On the Complexity of Input Output Conformance Testing.
FACS
Neda Noroozi, Mohammad Reza Mousavi, Tim A. C. Willemse
2013 J jnl
Special issue: software verification and testing.
Innov. Syst. Softw. Eng.
Mohammad Reza Mousavi, Jun Pang
2012 — ch.
Esterel and the Semantics of Causality.
Handbook of Finite State Based Models and Applications
Mohammad Reza Mousavi
2012 J jnl
Formal modeling of evolving self-adaptive systems.
Sci. Comput. Program.
Narges Khakpour, Saeed Jalili, Carolyn L. Talcott, Marjan Sirjani, Mohammad Reza Mousavi
2012 Misc conf
Formal verification of Unreliable Failure Detectors in Partially Synchronous Systems.
SAC
Muhammad Atif, Mohammad Reza Mousavi, Ammar Osaiweran
2012 — conf
Integrating Model-Based and Constraint-Based Testing Using SpecExplorer.
ISSRE Workshops
Vivek Vishal, Mehmet Kovacioglu, Rachid Kherazi, Mohammad Reza Mousavi
2012 B conf
Mechanized Extraction of Topology Anti-patterns in Wireless Networks.
IFM
Matthias Woehrle, Rena Bakhshi, Mohammad Reza Mousavi
2012 B conf
Nominal SOS.
MFPS
Matteo Cimini, Mohammad Reza Mousavi, Michel A. Reniers, Murdoch James Gabbay
2012 J jnl
Rule formats for determinism and idempotence.
Sci. Comput. Program.
Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers
2012 J jnl
Rule formats for distributivity.
Theor. Comput. Sci.
Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers
2011 — conf
Decompositional Reasoning about the History of Parallel Processes.
FSEN
Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi
2011 J jnl
Formal Analysis of SystemC Designs in Process Algebra.
Fundam. Informaticae
Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani
2011 — conf
Interpreted Systems Semantics for Process Algebra with Identity Annotations.
TbiLLC
Francien Dechesne, Mohammad Reza Mousavi
2011 J jnl
Long-run order-independence of vector-based transition systems.
IET Comput. Digit. Tech.
Matthias Raffelsieper, Mohammad Reza Mousavi, Hans Zantema
2011 — ed.
Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2011, Aachen, Germany, 10th September, 2011.
FOCLASA
Mohammad Reza Mousavi, António Ravara
2011 — ed.
Proceedings First International Workshop on Process Algebra and Coordination, PACO 2011, Reykjavik, Iceland, 9th June 2011.
PACO
Luca Aceto, Mohammad Reza Mousavi
2011 J jnl
Process Algebra as a Common Framework for Hardware/Software Coverification.
IEEE Embed. Syst. Lett.
Matthias Raffelsieper, Mohammad Reza Mousavi, J. Sleuters
2011 C conf
Rule Formats for Distributivity.
LATA
Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers
2011 J jnl
SOS rule formats for zero and unit elements.
Theor. Comput. Sci.
Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers
2011 C conf
Symbolic Power Analysis of Cell Libraries.
FMICS
Matthias Raffelsieper, Mohammad Reza Mousavi
2011 B conf
Synchronizing Asynchronous Conformance Testing.
SEFM
Neda Noroozi, Ramtin Khosravi, Mohammad Reza Mousavi, Tim A. C. Willemse
2011 — conf
Towards Model-Based Testing of Electronic Funds Transfer Systems.
FSEN
Hamid Reza Asaadi, Ramtin Khosravi, Mohammad Reza Mousavi, Neda Noroozi
2010 B conf
A Rule Format for Unit Elements.
SOFSEM
Luca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers
2010 — conf
Automated Verification of Executable UML Models.
FMCO
Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Mohammad Reza Mousavi, Jaco van de Pol, Osmar Marchi dos Santos
2010 A conf
Checking and deriving module paths in Verilog cell library descriptions.
DATE
Matthias Raffelsieper, Mohammad Reza Mousavi, Chris W. H. Strolenberg
2010 — conf
Formal specification and analysis of accelerated heartbeat protocols.
SummerSim
Muhammad Atif, Mohammad Reza Mousavi
2010 J jnl
Lifting non-finite axiomatizability results to extensions of process algebras.
Acta Informatica
Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Mohammad Reza Mousavi
2010 B conf
On Rule Formats for Zero and Unit Elements.
MFPS
Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers
2010 — conf
Order-Independence of Vector-Based Transition Systems.
ACSD
Matthias Raffelsieper, Mohammad Reza Mousavi, Hans Zantema
2010 — ed.
Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2010, Paris, France, 4th September 2010.
FOCLASA
Mohammad Reza Mousavi, Gwen Salaün
2010 — conf
Restricted delegation and revocation in language-based security: (position paper).
PLAS
D. Hassan, Mohammad Reza Mousavi, Michel A. Reniers
2010 — conf
Robustness of Equations Under Operational Extensions
EXPRESS
Peter D. Mosses, Mohammad Reza Mousavi, Michel A. Reniers
2010 J jnl
Symmetry and partial order reduction techniques in model checking Rebeca.
Acta Informatica
Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi, Ehsan Khamespanah, Ali Movaghar
2010 J jnl
Towards model checking executable UML specifications in mCRL2.
Innov. Syst. Softw. Eng.
Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Mohammad Reza Mousavi, Jaco van de Pol
2009 — conf
Causality in the Semantics of Esterel: Revisited
SOS
Mohammad Reza Mousavi
2009 C conf
Formal Analysis of Non-determinism in Verilog Cell Library Simulation Models.
FMICS
Matthias Raffelsieper, Mohammad Reza Mousavi, Jan-Willem Roorda, Chris W. H. Strolenberg, Hans Zantema
2009 — conf
Model Checking Verilog Descriptions of Cell Libraries.
ACSD
Matthias Raffelsieper, Jan-Willem Roorda, Mohammad Reza Mousavi
2009 — conf
PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems.
FACS@FMWeek
Narges Khakpour, Saeed Jalili, Carolyn L. Talcott, Marjan Sirjani, Mohammad Reza Mousavi
2009 — conf
Rule Formats for Determinism and Idempotence.
FSEN
Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers
2009 J jnl
Semantics and expressiveness of ordered SOS.
Inf. Comput.
Mohammad Reza Mousavi, Iain Phillips, Michel A. Reniers, Irek Ulidowski
2008 B conf
A Rule Format for Associativity.
CONCUR
Sjoerd Cranen, Mohammad Reza Mousavi, Michel A. Reniers
2008 Misc conf
A framework for performance evaluation and functional verification in stochastic process algebras.
SAC
Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani
2008 — conf
Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras.
IFIP TCS
Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Mohammad Reza Mousavi
2008 — conf
Process algebraic verification of SystemC codes.
ACSD
Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani
2007 — conf
A Congruence Rule Format with Universal Quantification.
SOS@LICS/ICALP
Mohammad Reza Mousavi, Michel A. Reniers
2007 B conf
Impossibility Results for the Equational Theory of Timed CCS.
CALCO
Luca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi
2007 B conf
Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap.
LPAR
Francien Dechesne, Mohammad Reza Mousavi, Simona Orzan
2007 J jnl
SOS formats and meta-theory: 20 years after.
Theor. Comput. Sci.
Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote
2007 — conf
Sarir: A Rebeca to mCRL2 Translator.
ACSD
Hossein Hojjat, Marjan Sirjani, Mohammad Reza Mousavi, Jan Friso Groote
2006 — conf
CPP2XMI: Reverse Engineering of UML Class, Sequence, and Activity Diagrams from C++ Source Code.
WCRE
E. Korshunova, Marija Petkovic, M. G. J. van den Brand, Mohammad Reza Mousavi
2006 B conf
Liveness and Boundedness of Synchronous Data Flow Graphs.
FMCAD
Amir Hossein Ghamarian, Marc Geilen, Twan Basten, Bart D. Theelen, Mohammad Reza Mousavi, Sander Stuijk
2006 — conf
On Well-Foundedness and Expressiveness of Promoted Tyft: Being Promoted Makes a Difference.
SOS@CONCUR
Mohammad Reza Mousavi, Michel A. Reniers
2006 — conf
The Meaning of Ordered SOS.
FSTTCS
Mohammad Reza Mousavi, Iain Phillips, Michel A. Reniers, Irek Ulidowski
2006 — conf
Throughput Analysis of Synchronous Data Flow Graphs.
ACSD
Amir Hossein Ghamarian, Marc Geilen, Sander Stuijk, Twan Basten, Bart D. Theelen, Mohammad Reza Mousavi, A. J. M. Moonen, Marco Bekooij
2005 — conf
A Hierarchy of SOS Rule Formats.
SOS@ICALP
Jan Friso Groote, Mohammad Reza Mousavi, Michel A. Reniers
2005 J jnl
A syntactic commutativity format for SOS.
Inf. Process. Lett.
Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote
2005 B conf
Congruence for Structural Congruences.
FoSSaCS
Mohammad Reza Mousavi, Michel A. Reniers
2005 Misc conf
Efficient Symmetry Reduction for an Actor-Based Model.
ICDCIT
Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi, Ali Movaghar
2005 — conf
Formal Semantics and Analysis of Component Connectors in Reo.
FOCLASA
Mohammad Reza Mousavi, Marjan Sirjani, Farhad Arbab
2005 J jnl
Notions of bisimulation and congruence formats for SOS with data.
Inf. Comput.
Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote
2005 A* conf
Orthogonal Extensions in Structural Operational Semantics.
ICALP
Mohammad Reza Mousavi, Michel A. Reniers
2005 — conf
Prototyping SOS Meta-theory in Maude.
SOS@ICALP
Mohammad Reza Mousavi, Michel A. Reniers
2005 B conf
SOS for Higher Order Processes.
CONCUR
Mohammad Reza Mousavi, Murdoch Gabbay, Michel A. Reniers
2005 — conf
Timing the Untimed: Terminating Successfully While Being Conservative.
Processes, Terms and Cycles
Jos C. M. Baeten, Mohammad Reza Mousavi, Michel A. Reniers
2005 — conf
Towards SOS Meta-Theory for Language-Based Security.
APC 25
Mohammad Reza Mousavi
2004 A* conf
Congruence for SOS with Data.
LICS
Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote
2004 A conf
Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks.
DATE
Mohammad Reza Mousavi, Paul Le Guernic, Jean-Pierre Talpin, Sandeep K. Shukla, Twan Basten
2003 — conf
PARS: A Process Algebra with Resources and Schedulers.
FORMATS
Mohammad Reza Mousavi, Michel A. Reniers, Twan Basten, Michel R. V. Chaudron
2003 — conf
Separation of Concerns in the Formal Design of Real-Time Shared Data-Space Systems.
ACSD
Mohammad Reza Mousavi, Michel A. Reniers, Twan Basten, Michel R. V. Chaudron
2002 — conf
Using Aspect-GAMMA in the design of embedded systems.
HLDVT
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
1998 A* conf
Synthesizing Software Architecture Descriptions from Message Sequence Chart Specifications.
ASE
Stefan Leue, Lars Mehrmann, Mohammad Reza Mousavi