default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMohammad Reza Mousavi 0001
Person information
- affiliation: King's College London, UK
- affiliation (former): University of Leicester, UK
Other persons with the same name
- Mohammad Reza Mousavi 0002
![[0000-0003-2521-2651]](https://dblp.org/img/orcid-mark.12x12.png "0000-0003-2521-2651")
— Aalen University of Applied Sciences, Germany (and 1 more) - Mohammad Reza Mousavi 0003 — K. N. Toosi University of Technology, Faculty of Mechanical Engineering, Tehran, Iran
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j47]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): 98-109 (2024)- [j46]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): 2121-2143 (2024) - [j45]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): 12:1-12:32 (2024) - [j44]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): 574-597 (2024) - [c103]Rodrigo Henrique Ramos, Adenilso Simão, Mohammad Reza Mousavi:
Causal Model Discovery in Cancer Guided by Cellular Pathways. CMSB 2024: 174-195 - [c102]Gabriel Joseph Pontolillo, Mohammad Reza Mousavi:
Delta Debugging for Property-Based Regression Testing of Quantum Programs. Q-SE@ICSE 2024: 1-8 - [c101]Mohammad Reza Mousavi, Kirstin Peters, Anna Schmitt:
Towards a Formal Testing Theory for Quantum Processes. ISoLA (1) 2024: 111-131 - [c100]Mohammad Reza Mousavi:
Property-Based Testing and Debugging of Quantum Programs (Keynote). Programming 2024 - [e13]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:
Proceedings of the 28th ACM International Systems and Software Product Line Conference - Volume A, SPLC 2024, Dommeldange, Luxembourg, September 2-6, 2024. ACM 2024, ISBN 979-8-4007-0593-9 [contents] - [e12]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:
Proceedings of the 28th ACM International Systems and Software Product Line Conference - Volume B, SPLC 2024, Dommeldange, Luxembourg, September 2-6, 2024. ACM 2024, ISBN 979-8-4007-0593-9 [contents] - 2023
- [j43]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:
Trustworthy Autonomous Systems Through Verifiability. Computer 56(2): 40-47 (2023) - [j42]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: 100823 (2023) - [j41]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): 51:1-51:61 (2023) - [c99]Michael E. Akintunde, Martim Brandão, Gunel Jahangirova, Hector Menendez, Mohammad Reza Mousavi, Jie Zhang:
On Testing Ethical Autonomous Decision-Making. Applicable Formal Methods for Safe Industrial Products 2023: 3-15 - [c98]Faezeh Labbaf, Jan Friso Groote, Hossein Hojjat, Mohammad Reza Mousavi:
Compositional Learning for Interleaving Parallel Automata. FoSSaCS 2023: 413-435 - [c97]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: 1407-1412 - [c96]Mohammad Reza Mousavi:
Automata Learning for Dynamic Software Product Lines: A Tutorial. SPLC (A) 2023: 271-272 - [c95]Luca Aceto, Pierluigi Crescenzi, Anna Ingólfsdóttir, Mohammad Reza Mousavi:
The Way We Were: Structural Operational Semantics Research in Perspective. EXPRESS/SOS 2023: 26-40 - [d1]Faezeh Labbaf, Jan Friso Groote, Hossein Hojjat, Mohammad Reza Mousavi:
Compositional Learning for Interleaving Parallel Automata (CL-Star). Zenodo, 2023
- [i7]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): 24-47 (2023) - 2022
- [j40]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) - [j39]Zahra Moezkarimi, Fatemeh Ghassemi, Mohammad Reza Mousavi:
A policy-aware epistemic framework for social networks. J. Log. Comput. 32(6): 1234-1271 (2022) - [c94]Georgiana Caltais, Hossein Hojjat, Mohammad Reza Mousavi, Hünkar Can Tunç:
DyNetKAT: An Algebra of Dynamic Networks. FoSSaCS 2022: 184-204 - [c93]Gabriel Pontolillo, Mohammad Reza Mousavi:
A Multi-Lingual Benchmark for Property-Based Testing of Quantum Programs. Q-SE@ICSE 2022: 1-7 - [c92]Marina Sardà Gou, Gabriella Lakatos, Patrick Holthaus, Luke Jai Wood, Mohammad Reza Mousavi, Ben Robins, Farshid Amirabdollahian:
Towards understanding causality - a retrospective study of using explanations in interactions between a humanoid robot and autistic children. RO-MAN 2022: 323-328 - [c91]Hugo Leonardo da Silva Araujo, Patrick Holthaus, Marina Sardà Gou, Gabriella Lakatos, Giulia Galizia, Luke Jai Wood, Ben Robins, Mohammad Reza Mousavi, Farshid Amirabdollahian:
Kaspar Causally Explains. ICSR (2) 2022: 85-99 - [c90]Shaghayegh Tavassoli, Carlos Diego Nascimento Damasceno, Ramtin Khosravi, Mohammad Reza Mousavi:
Adaptive behavioral model learning for software product lines. SPLC (A) 2022: 142-153 - [c89]Shaghayegh Tavassoli, Carlos Diego Nascimento Damasceno, Mohammad Reza Mousavi, Ramtin Khosravi:
A benchmark for active learning of variability-intensive systems. SPLC (A) 2022: 245-249 - [e11]Mohammad Reza Mousavi, Anna Philippou:
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. Lecture Notes in Computer Science 13273, Springer 2022, ISBN 978-3-031-08678-6 [contents] - [i6]Shaghayegh Tavassoli, Carlos Diego Nascimento Damasceno, Mohammad Reza Mousavi, Ramtin Khosravi:
A Benchmark for Active Learning of Variability-Intensive Systems. CoRR abs/2203.05215 (2022) - [i5]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 abs/2206.11421 (2022) - [i4]Shaghayegh Tavassoli, Carlos Diego Nascimento Damasceno, Ramtin Khosravi, Mohammad Reza Mousavi:
Adaptive Behavioral Model Learning for Software Product Lines. CoRR abs/2207.04823 (2022) - 2021
- [j38]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): 4 (2021) - [j37]Tiago Massoni, Mohammad Reza Mousavi:
Preface to the special issue on Formal Methods: Foundations and Applications. Sci. Comput. Program. 205: 102619 (2021) - [j36]Andrea De Lucia, Mohammad Reza Mousavi:
Update from the Editorial Team. Sci. Comput. Program. 212: 102692 (2021) - [c88]Uraz Cengiz Türker, Robert M. Hierons, Mohammad Reza Mousavi, Ivan Yu. Tyukin:
Efficient state synchronisation in model-based testing through reinforcement learning. ASE 2021: 368-380 - [c87]Sina Entekhabi, Wojciech Mostowski, Mohammad Reza Mousavi, Thomas Arts:
Locality-Based Test Selection for Autonomous Agents. ICTSS 2021: 73-89 - [e10]Mohammad Reza Mousavi, Pierre-Yves Schobbens:
SPLC '21: 25th ACM International Systems and Software Product Line Conference, Leicester, United Kingdom, September 6-11, 2021, Volume A. ACM 2021, ISBN 978-1-4503-8469-8 [contents] - [e9]Mohammad Reza Mousavi, Pierre-Yves Schobbens:
SPLC '21: 25th ACM International Systems and Software Product Line Conference, Leicester, United Kindom, September 6-11, 2021, Volume B. ACM 2021, ISBN 978-1-4503-8470-4 [contents] - [i3]Georgiana Caltais, Hossein Hojjat, Mohammad Reza Mousavi, Hünkar Can Tunç:
DyNetKAT: An Algebra of Dynamic Networks. CoRR abs/2102.10035 (2021) - 2020
- [j35]Georgiana Caltais, Mohammad Reza Mousavi, Hargurbir Singh:
Causal Reasoning for Safety in Hennessy Milner Logic. Fundam. Informaticae 173(2-3): 217-251 (2020) - [c86]Rayna Dimitrova, Maciej Gazda, Mohammad Reza Mousavi, Sebastian Biewer, Holger Hermanns:
Conformance-Based Doping Detection for Cyber-Physical Systems. FORTE 2020: 59-77 - [c85]Maciej Gazda, Mohammad Reza Mousavi:
Logical Characterisation of Hybrid Conformance. ICALP 2020: 130:1-130:18 - [c84]Shahin Honarvar, Mohammad Reza Mousavi, Rajagopal Nagarajan:
Property-based Testing of Quantum Programs in Q#. ICSE (Workshops) 2020: 430-435 - [c83]Hugo Leonardo da Silva 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: 1-7 - [i2]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 abs/2012.03910 (2020)
2010 – 2019
- 2019
- [j34]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): 109-129 (2019) - [j33]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): 2020-2055 (2019) - [j32]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: 175-176 (2019) - [j31]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: 1-28 (2019) - [j30]Vanderson Hafemann Fragal, Adenilso da Silva Simão, Mohammad Reza Mousavi:
Hierarchical featured state machines. Sci. Comput. Program. 171: 67-88 (2019) - [c82]Carlos Diego Nascimento Damasceno, Mohammad Reza Mousavi, Adenilso da Silva Simão:
Learning to Reuse: Adaptive Model Learning for Evolving Systems. IFM 2019: 138-156 - [c81]Hugo Leonardo da Silva Araujo, Gustavo Carvalho, Mohammad Reza Mousavi, Augusto Sampaio:
Multi-objective Search for Effective Testing of Cyber-Physical Systems. SEFM 2019: 183-202 - [c80]Mahsa Varshosaz, Mohammad Reza Mousavi:
Comparative Expressiveness of Product Line Calculus of Communicating Systems and 1-Selecting Modal Transition Systems. SOFSEM 2019: 490-503 - [c79]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: 10:1-10:12 - 2018
- [j29]Hugo Leonardo da Silva Araujo, Gustavo Carvalho, Morteza Mohaqeqi, Mohammad Reza Mousavi, Augusto Sampaio:
Sound conformance testing for cyber-physical systems: Theory and implementation. Sci. Comput. Program. 162: 35-54 (2018) - [j28]Mahsa Varshosaz, Harsh Beohar, Mohammad Reza Mousavi:
Basic behavioral models for software product lines: Revisited. Sci. Comput. Program. 168: 171-185 (2018) - [c78]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: 7 - [c77]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: 74-100 - [c76]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: 214-223 - [c75]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: 1-13 - [c74]Mohammad Reza Mousavi, Mahsa Varshosaz:
Telling Lies in Process Algebra. TASE 2018: 116-123 - [e8]Tiago Massoni, Mohammad Reza Mousavi:
Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings. Lecture Notes in Computer Science 11254, Springer 2018, ISBN 978-3-030-03043-8 [contents] - 2017
- [j27]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: 93 (2017) - [c73]Bruno Oliveira, Gustavo Carvalho, Mohammad Reza Mousavi, Augusto Sampaio:
Simulation of hybrid systems from natural-language requirements. CASE 2017: 1320-1325 - [c72]Masoumeh Taromirad, Mohammad Reza Mousavi:
Gray-Box Conformance Testing for Symbolic Reactive State Machines. FSEN 2017: 228-243 - [c71]Hugo Leonardo da Silva Araujo, Gustavo Carvalho, Augusto Sampaio, Mohammad Reza Mousavi, Masoumeh Taromirad:
A Process for Sound Conformance Testing of Cyber-Physical Systems. ICST Workshops 2017: 46-50 - [c70]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: 329-336 - [c69]Robert M. Hierons, Mohammad Reza Mousavi, Michael Kirkedal Thomsen, Uraz Cengiz Türker:
Hardness of Deriving Invertible Sequences from Finite State Machines. SOFSEM 2017: 147-160 - [e7]Christian Berger, Mohammad Reza Mousavi, Rafael Wisniewski:
Cyber Physical Systems. Design, Modeling, and Evaluation - 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers. Lecture Notes in Computer Science 10107, Springer 2017, ISBN 978-3-319-51737-7 [contents] - [e6]Mohammad Reza Mousavi, Jirí Sgall:
Topics in Theoretical Computer Science - Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings. Lecture Notes in Computer Science 10608, Springer 2017, ISBN 978-3-319-68952-4 [contents] - [i1]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) - 2016
- [j26]Fatemeh Ghassemi, Mohammad Reza Mousavi:
Product line process theory. J. Log. Algebraic Methods Program. 85(1): 200-226 (2016) - [j25]Harsh Beohar, Mohammad Reza Mousavi:
Input-output conformance testing for software product lines. J. Log. Algebraic Methods Program. 85(6): 1131-1153 (2016) - [j24]Harsh Beohar, Mahsa Varshosaz, Mohammad Reza Mousavi:
Basic behavioral models for software product lines: Expressiveness and testing pre-orders. Sci. Comput. Program. 123: 42-60 (2016) - [c68]Vanderson H. Fragal, Adenilso Simão, Mohammad Reza Mousavi:
Validated Test Models for Software Product Lines: Featured Finite State Machines. FACS 2016: 210-227 - [c67]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: 38-44 - [c66]Morteza Mohaqeqi, Mohammad Reza Mousavi:
Sound Test-Suites for Cyber-Physical Systems. TASE 2016: 42-48 - [c65]Georgiana Caltais, Stefan Leue, Mohammad Reza Mousavi:
(De-)Composing Causality in Labeled Transition Systems. CREST@ETAPS 2016: 10-24 - [c64]Morteza Mohaqeqi, Mohammad Reza Mousavi:
Towards an Approximate Conformance Relation for Hybrid I/O Automata. V2CPS@IFM 2016: 53-64 - [e5]Mohammad Taghi Hajiaghayi, Mohammad Reza Mousavi:
Topics in Theoretical Computer Science - The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers. Lecture Notes in Computer Science 9541, Springer 2016, ISBN 978-3-319-28677-8 [contents] - 2015
- [j23]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) - [j22]Mohammad Reza Mousavi, Twan Basten, Michel A. Reniers, Michel Chaudron:
Timed-Gamma and its Coordination Language. Nord. J. Comput. 15(2): 75-111 (2015) - [j21]Neda Noroozi, Ramtin Khosravi, Mohammad Reza Mousavi, Tim A. C. Willemse:
Synchrony and asynchrony in conformance testing. Softw. Syst. Model. 14(1): 149-172 (2015) - [c63]Narges Khakpour, Mohammad Reza Mousavi:
Notions of Conformance Testing for Cyber-Physical Systems: Overview and Roadmap (Invited Paper). CONCUR 2015: 18-40 - [c62]Harsh Beohar, Mohammad Reza Mousavi:
A Pre-congruence Format for XY-simulation. FSEN 2015: 215-229 - [c61]Mahsa Varshosaz, Harsh Beohar, Mohammad Reza Mousavi:
Delta-Oriented FSM-Based Testing. ICFEM 2015: 366-381 - [c60]Arend Aerts, Mohammad Reza Mousavi, Michel A. Reniers:
A Tool Prototype for Model-Based Testing of Cyber-Physical Systems. ICTAC 2015: 563-572 - [e4]Christian Berger, Mohammad Reza Mousavi:
Cyber Physical Systems. Design, Modeling, and Evaluation - 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings. Lecture Notes in Computer Science 9361, Springer 2015, ISBN 978-3-319-25140-0 [contents] - 2014
- [b1]Jan Friso Groote, Mohammad Reza Mousavi:
Modeling and Analysis of Communicating Systems. MIT Press 2014, ISBN 9780262027717 - [j20]Jan Friso Groote, Mohammad Reza Mousavi:
Book Announcement: Modeling and Analysis of Communicating Systems. Bull. EATCS 114 (2014) - [j19]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) - [j18]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: 1-2 (2014) - [j17]Mohammad Reza Mousavi, António Ravara:
Foreword. Sci. Comput. Program. 89: 1 (2014) - [j16]Mohammad Reza Mousavi, Jun Pang:
Special section on Software Verification and Testing. Sci. Comput. Program. 95: 273-274 (2014) - [c59]Harsh Beohar, Mohammad Reza Mousavi:
Input-output conformance testing based on featured transition systems. SAC 2014: 1272-1278 - [c58]Harsh Beohar, Mohammad Reza Mousavi:
Spinal Test Suites for Software Product Lines. MBT 2014: 44-55 - 2013
- [j15]Mohammad Reza Mousavi, Jun Pang:
Special issue: software verification and testing. Innov. Syst. Softw. Eng. 9(2): 57-58 (2013) - [c57]Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers:
Exploiting Algebraic Laws to Improve Mechanized Axiomatizations. CALCO 2013: 36-50 - [c56]Martin Churchill, Peter D. Mosses, Mohammad Reza Mousavi:
Modular Semantics for Transition System Specifications with Negative Premises. CONCUR 2013: 46-60 - [c55]Neda Noroozi, Mohammad Reza Mousavi, Tim A. C. Willemse:
On the Complexity of Input Output Conformance Testing. FACS 2013: 291-309 - [c54]Sarmen Keshishzadeh, Arjan J. Mooij, Mohammad Reza Mousavi:
Early Fault Detection in DSLs Using SMT Solving and Automated Debugging. SEFM 2013: 182-196 - [c53]Neda Noroozi, Mohammad Reza Mousavi, Tim A. C. Willemse:
Decomposability in Input Output Conformance Testing. MBT 2013: 51-66 - [c52]Daniel Gebler, Eugen-Ioan Goriac, Mohammad Reza Mousavi:
Algebraic Meta-Theory of Processes with Data. EXPRESS/SOS 2013: 63-77 - 2012
- [j14]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): 889-907 (2012) - [j13]Narges Khakpour, Saeed Jalili, Carolyn L. Talcott, Marjan Sirjani, Mohammad Reza Mousavi:
Formal modeling of evolving self-adaptive systems. Sci. Comput. Program. 78(1): 3-26 (2012) - [j12]Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers:
Rule formats for distributivity. Theor. Comput. Sci. 458: 1-28 (2012) - [c51]Matthias Woehrle, Rena Bakhshi, Mohammad Reza Mousavi:
Mechanized Extraction of Topology Anti-patterns in Wireless Networks. IFM 2012: 158-173 - [c50]Vivek Vishal, Mehmet Kovacioglu, Rachid Kherazi, Mohammad Reza Mousavi:
Integrating Model-Based and Constraint-Based Testing Using SpecExplorer. ISSRE Workshops 2012: 219-224 - [c49]Muhammad Atif, Mohammad Reza Mousavi, Ammar Osaiweran:
Formal verification of Unreliable Failure Detectors in Partially Synchronous Systems. SAC 2012: 478-485 - [c48]Matteo Cimini, Mohammad Reza Mousavi, Michel A. Reniers, Murdoch James Gabbay:
Nominal SOS. MFPS 2012: 103-116 - [r1]Mohammad Reza Mousavi:
Esterel and the Semantics of Causality. Handbook of Finite State Based Models and Applications 2012: 191-206 - 2011
- [j11]Matthias Raffelsieper, Mohammad Reza Mousavi, J. Sleuters:
Process Algebra as a Common Framework for Hardware/Software Coverification. IEEE Embed. Syst. Lett. 3(1): 9-12 (2011) - [j10]Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani:
Formal Analysis of SystemC Designs in Process Algebra. Fundam. Informaticae 107(1): 19-42 (2011) - [j9]Matthias Raffelsieper, Mohammad Reza Mousavi, Hans Zantema:
Long-run order-independence of vector-based transition systems. IET Comput. Digit. Tech. 5(6): 468-478 (2011) - [j8]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): 3045-3071 (2011) - [c47]Matthias Raffelsieper, Mohammad Reza Mousavi:
Symbolic Power Analysis of Cell Libraries. FMICS 2011: 134-148 - [c46]