Mohammad Reza Mousavi
Orcid: 0000000248696794Affiliations:
 King's College London, UK
 University of Leicester, UK (former)
According to our database^{1},
Mohammad Reza Mousavi
authored at least 144 papers
between 1998 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:

on zbmath.org

on orcid.org

on dnb.info

on ceres.hh.se
On csauthors.net:
Bibliography
2024
IEEE Trans. Software Eng., March, 2024
Automated and Efficient TestGeneration for GridBased Multiagent Systems: Comparing Random Input Filtering versus Constraint Solving.
ACM Trans. Softw. Eng. Methodol., January, 2024
Commun. ACM, January, 2024
2023
Testing, Validation, and Verification of Robotic and Autonomous Systems: A Systematic Review.
ACM Trans. Softw. Eng. Methodol., April, 2023
Computer, February, 2023
J. Log. Algebraic Methods Program., 2023
Proceedings of the Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, 2023
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.
Proceedings of the 32nd IEEE International Conference on Robot and Human Interactive Communication, 2023
Proceedings of the Foundations of Software Science and Computation Structures, 2023
2022
J. Log. Comput., 2022
Log. Methods Comput. Sci., 2022
Proceedings of the SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12, 2022
Proceedings of the SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12, 2022
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.
Proceedings of the 31st IEEE International Conference on Robot and Human Interactive Communication, 2022
Proceedings of the 3rd IEEE/ACM International Workshop on Quantum Software Engineering, 2022
Proceedings of the Foundations of Software Science and Computation Structures, 2022
2021
Sci. Comput. Program., 2021
Sci. Comput. Program., 2021
Learning by sampling: learning behavioral family models from software product lines.
Empir. Softw. Eng., 2021
Proceedings of the Testing Software and Systems, 2021
Efficient state synchronisation in modelbased testing through reinforcement learning.
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021
2020
Fundam. Informaticae, 2020
Connected Automated Driving: A ModelBased Approach to the Analysis of Basic Awareness Services.
Proceedings of the 31st IEEE Annual International Symposium on Personal, 2020
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Workshops, Seoul, Republic of Korea, 27 June, 2020
Proceedings of the 47th International Colloquium on Automata, Languages, and Programming, 2020
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2020
2019
Sci. Comput. Program., 2019
J. Log. Algebraic Methods Program., 2019
Special Issue on Trends in Concurrency Theory (selected invited contributions from the workshops TRENDS 2015 and 2016).
J. Log. Algebraic Methods Program., 2019
Empir. Softw. Eng., 2019
Comput. J., 2019
Learning from difference: an automated approach for learning family models from software product lines.
Proceedings of the 23rd International Systems and Software Product Line Conference, 2019
Comparative Expressiveness of Product Line Calculus of Communicating Systems and 1Selecting Modal Transition Systems.
Proceedings of the SOFSEM 2019: Theory and Practice of Computer Science, 2019
Proceedings of the Software Engineering and Formal Methods  17th International Conference, 2019
Proceedings of the Integrated Formal Methods  15th International Conference, 2019
2018
Sci. Comput. Program., 2018
Sci. Comput. Program., 2018
Proceedings of the 2018 International Symposium on Theoretical Aspects of Software Engineering, 2018
Proceedings of the Proceeedings of the 22nd International Systems and Software Product Line Conference, 2018
Temporal Logic Falsification of CyberPhysical Systems: An InputSignalSpace Optimization Approach.
Proceedings of the 2018 IEEE International Conference on Software Testing, 2018
Proceedings of the Machine Learning for Dynamic Software Analysis: Potentials and Limits, 2018
Dynamic Control Points and Independent Time Domains for Temporal Logic Falsification.
Proceedings of the 3rd Workshop on Monitoring and Testing of CyberPhysical Systems, 2018
2017
Reverse Execution in Testing – Improving Security and Reliability (NII Shonan Meeting 20179).
NII Shonan Meet. Rep., 2017
Preface: Special issue on Trends in Concurrency Theory (selected invited contributions from the workshops TRENDS 2014 and 2015).
J. Log. Algebraic Methods Program., 2017
Proceedings of the SOFSEM 2017: Theory and Practice of Computer Science, 2017
Reducing the Concretization Effort in FSMBased Testing of Software Product Lines.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017
Proceedings of the Fundamentals of Software Engineering  7th International Conference, 2017
Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017
2016
Basic behavioral models for software product lines: Expressiveness and testing preorders.
Sci. Comput. Program., 2016
J. Log. Algebraic Methods Program., 2016
J. Log. Algebraic Methods Program., 2016
Proceedings of the The First Workshop on Verification and Validation of CyberPhysical Systems, 2016
Proceedings of the Proceedings First Workshop on Causal Reasoning for Embedded and safetycritical Systems Technologies, 2016
Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016
Proceedings of the 7th International Workshop on Automating Test Case Design, 2016
Proceedings of the Formal Aspects of Component Software  13th International Conference, 2016
2015
Softw. Syst. Model., 2015
TimedGamma and its Coordination Language.
Nord. J. Comput., 2015
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015
Proceedings of the Theoretical Aspects of Computing  ICTAC 2015, 2015
Proceedings of the Formal Methods and Software Engineering, 2015
Proceedings of the Fundamentals of Software Engineering  6th International Conference, 2015
Notions of Conformance Testing for CyberPhysical Systems: Overview and Roadmap (Invited Paper).
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).
Sci. Comput. Program., 2014
Sci. Comput. Program., 2014
Sci. Comput. Program., 2014
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014
Bull. EATCS, 2014
Proceedings of the Proceedings Ninth Workshop on ModelBased Testing, 2014
Proceedings of the Symposium on Applied Computing, 2014
MIT Press, ISBN: 9780262321020, 2014
2013
Innov. Syst. Softw. Eng., 2013
Proceedings of the Proceedings Eighth Workshop on ModelBased Testing, 2013
Proceedings of the Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics, 2013
Proceedings of the Software Engineering and Formal Methods  11th International Conference, 2013
Proceedings of the Formal Aspects of Component Software  10th International Symposium, 2013
Proceedings of the CONCUR 2013  Concurrency Theory  24th International Conference, 2013
Proceedings of the Algebra and Coalgebra in Computer Science, 2013
2012
Proceedings of the Handbook of Finite State Based Models and Applications., 2012
Theor. Comput. Sci., 2012
Sci. Comput. Program., 2012
Sci. Comput. Program., 2012
Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, 2012
Formal verification of Unreliable Failure Detectors in Partially Synchronous Systems.
Proceedings of the ACM Symposium on Applied Computing, 2012
Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering Workshops, 2012
Proceedings of the Integrated Formal Methods  9th International Conference, 2012
2011
Theor. Comput. Sci., 2011
IET Comput. Digit. Tech., 2011
Fundam. Informaticae, 2011
IEEE Embed. Syst. Lett., 2011
Proceedings of the Logic, Language, and Computation, 2011
Proceedings of the Software Engineering and Formal Methods  9th International Conference, 2011
Proceedings of the Fundamentals of Software Engineering  4th IPM International Conference, 2011
Proceedings of the Fundamentals of Software Engineering  4th IPM International Conference, 2011
Proceedings of the Formal Methods for Industrial Critical Systems, 2011
2010
Innov. Syst. Softw. Eng., 2010
Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, 2010
Proceedings of the Proceedings 17th International Workshop on Expressiveness in Concurrency, 2010
Acta Informatica, 2010
Acta Informatica, 2010
Proceedings of the SOFSEM 2010: Theory and Practice of Computer Science, 2010
Proceedings of the SummerSim '10, 2010
Restricted delegation and revocation in languagebased security: (position paper).
Proceedings of the 2010 Workshop on Programming Languages and Analysis for Security, 2010
Proceedings of the Formal Methods for Components and Objects  9th International Symposium, 2010
Proceedings of the Design, Automation and Test in Europe, 2010
Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010
2009
Inf. Comput., 2009
Proceedings of the 6th International Workshop on Formal Aspects of Component Software, 2009
Proceedings of the Proceedings Sixth Workshop on Structural Operational Semantics, 2009
Proceedings of the Formal Methods for Industrial Critical Systems, 2009
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.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008
Proceedings of the CONCUR 2008  Concurrency Theory, 19th International Conference, 2008
Proceedings of the 8th International Conference on Application of Concurrency to System Design (ACSD 2008), 2008
2007
Theor. Comput. Sci., 2007
Proceedings of the Fourth Workshop on Structural Operational Semantics, 2007
Proceedings of the Logic for Programming, 2007
Proceedings of the Algebra and Coalgebra in Computer Science, 2007
Proceedings of the Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007
2006
On WellFoundedness and Expressiveness of Promoted Tyft: Being Promoted Makes a Difference.
Proceedings of the Third Workshop on Structural Operational Semantics, 2006
CPP2XMI: Reverse Engineering of UML Class, Sequence, and Activity Diagrams from C++ Source Code.
Proceedings of the 13th Working Conference on Reverse Engineering (WCRE 2006), 2006
Proceedings of the FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 2006
Proceedings of the Formal Methods in ComputerAided Design, 6th International Conference, 2006
Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006
2005
Inf. Process. Lett., 2005
Inf. Comput., 2005
Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2005
Proceedings of the Second Workshop on Structural Operational Semantics, 2005
Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005
Proceedings of the Second Workshop on Structural Operational Semantics, 2005
Proceedings of the Distributed Computing and Internet Technology, 2005
Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005
Proceedings of the Foundations of Software Science and Computational Structures, 2005
Proceedings of the CONCUR 2005  Concurrency Theory, 16th International Conference, 2005
Proceedings of the Processes, 2005
2004
Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 2004
Proceedings of the 2004 Design, 2004
2003
Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003
Separation of Concerns in the Formal Design of RealTime Shared DataSpace Systems.
Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003
2002
Proceedings of the Seventh IEEE International HighLevel Design Validation and Test Workshop 2002, 2002
1998
Synthesizing Software Architecture Descriptions from Message Sequence Chart Specifications.
Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998