M. Mousavi
发表
M. Reniers,
A. Aerts,
M. Mousavi,
2016
.
O. M. Santos,
H. Hansen,
J. Ketema,
2011
.
Mohammad Reza Mousavi,
Georgiana Caltais,
Stefan Leue,
2016
.
Luca Aceto,
Anna Ingólfsdóttir,
Mohammad Reza Mousavi,
2012
.
Mohammad Reza Mousavi,
Michel A. Reniers,
M. Reniers,
2004
.
M. Reniers,
M. Mousavi,
2018
.
M. Mousavi,
Georgiana Caltais,
2018
.
M. Mousavi,
S. Leue,
Georgiana Caltais,
2016
.
M. Sirjani,
A. Movaghar,
M. Mousavi,
2001
.
Wojciech Mostowski,
T. Arts,
M. Mousavi,
2021,
ICTSS.
J. Stegenga,
T. Lewens,
M. Mousavi,
2021
.
R. Khosravi,
M. Mousavi,
Shaghayegh Tavassoli,
2022,
2207.04823.
R. Khosravi,
M. Mousavi,
Shaghayegh Tavassoli,
2022,
ArXiv.
M. Mousavi,
Maria-Bianca Cindroi,
2018
.
R. Khosravi,
M. Mousavi,
Shaghayegh Tavassoli,
2022,
SPLC.
Hugo L. S. Araujo,
M. Mousavi,
M. Varshosaz,
2022,
ACM Transactions on Software Engineering and Methodology.
Mohammad Reza Mousavi,
Ilaria Castellani,
I. Castellani,
2019,
J. Log. Algebraic Methods Program..
J. F. Groote,
M. Reniers,
M. Mousavi,
2004
.
E. Vink,
L. Aceto,
S. Andova,
2011,
PACO.
Mahsa Varshosaz,
Malte Lochau,
Mohammad Reza Mousavi,
2017
.
Jan Oliver Ringert,
Dhaminda B. Abeywickrama,
S. Ramamoorthy,
2022,
ArXiv.
A. Simão,
M. Mousavi,
C. Damasceno,
2021,
Empirical Software Engineering.
M. Hajiaghayi,
M. Mousavi,
2015,
Lecture Notes in Computer Science.
Jan Friso Groote,
Mohammad Reza Mousavi,
Michel A. Reniers,
2007
.
António Ravara,
Mohammad Reza Mousavi,
M. Mousavi,
2009,
Sci. Comput. Program..
Mohammad Reza Mousavi,
Christian Berger,
M. Mousavi,
2015,
Lecture Notes in Computer Science.
Mohammad Reza Mousavi,
M. Mousavi,
2010,
SOS.
Michael Fisher,
Louise Dennis,
J. Woodcock,
2023,
Computer.
Sander Stuijk,
Amir Hossein Ghamarian,
Twan Basten,
2006,
2006 Formal Methods in Computer Aided Design.
Twan Basten,
Mohammad Reza Mousavi,
Michel R. V. Chaudron,
2015,
Nord. J. Comput..
Luca Aceto,
Anna Ingólfsdóttir,
Mohammad Reza Mousavi,
2011,
Theor. Comput. Sci..
Luca Aceto,
Anna Ingólfsdóttir,
Mohammad Reza Mousavi,
2011,
LATA.
Jos C. M. Baeten,
Mohammad Reza Mousavi,
Michel A. Reniers,
2005,
Processes, Terms and Cycles.
Jan Friso Groote,
Mohammad Reza Mousavi,
Michel A. Reniers,
2007,
Theor. Comput. Sci..
Mahsa Varshosaz,
Mohammad Reza Mousavi,
Harsh Beohar,
2016,
Sci. Comput. Program..
Luca Aceto,
Anna Ingólfsdóttir,
Wan Fokkink,
2010,
Acta Informatica.
Mohammad Reza Mousavi,
Harsh Beohar,
M. Mousavi,
2015,
FSEN.
Luca Aceto,
Anna Ingólfsdóttir,
Mohammad Reza Mousavi,
2007,
CALCO.
Mohammad Reza Mousavi,
Georgiana Caltais,
Stefan Leue,
2016,
CREST@ETAPS.
Arnar Birgisson,
Luca Aceto,
Anna Ingólfsdóttir,
2011,
FSEN.
Jan Friso Groote,
Mohammad Reza Mousavi,
Michel A. Reniers,
2006,
SOS@ICALP.
Jan Friso Groote,
Mohammad Reza Mousavi,
Michel A. Reniers,
2005
.
Mohammad Reza Mousavi,
M. Mousavi,
2005
.
Sandeep K. Shukla,
Douglas C. Schmidt,
Twan Basten,
2002,
Seventh IEEE International High-Level Design Validation and Test Workshop, 2002..
Rajesh Gupta,
Twan Basten,
Mohammad Reza Mousavi,
2002
.
Mohammad Mahdi Jaghoori,
Ali Movaghar-Rahimabadi,
Mohammad Reza Mousavi,
2010,
Acta Informatica.
Rajagopal Nagarajan,
Mohammad Reza Mousavi,
Shahin Honarvar,
2020,
ICSE.
Francien Dechesne,
Mohammad Reza Mousavi,
F. Dechesne,
2011,
TbiLLC.
Emil Sekerinski,
Mohammad Reza Mousavi,
E. Sekerinski,
2009
.
Jun Pang,
Mohammad Reza Mousavi,
M. Mousavi,
2012
.
M. Mousavi,
F. Ghassemi,
Zahra Moezkarimi,
2022,
J. Log. Comput..
Bernhard K. Aichernig,
Mohammad Reza Mousavi,
Martin Tappler,
2018,
Machine Learning for Dynamic Software Analysis.
Farhad Arbab,
Mohammad Reza Mousavi,
Marjan Sirjani,
2006,
FOCLASA.
Hans Zantema,
Mohammad Reza Mousavi,
Matthias Raffelsieper,
2011,
IET Comput. Digit. Tech..
Hans Zantema,
Mohammad Reza Mousavi,
Matthias Raffelsieper,
2010,
2010 10th International Conference on Application of Concurrency to System Design.
Simona Orzan,
Francien Dechesne,
Mohammad Reza Mousavi,
2007,
LPAR.
Mohammad Reza Mousavi,
Hr Mahrooghi,
M. Mousavi,
2011
.
Jan Friso Groote,
Mohammad Reza Mousavi,
J. F. Groote,
2014
.
Mohammad Reza Mousavi,
Masoumeh Taromirad,
M. Mousavi,
2017,
FSEN.
Hugo L. S. Araujo,
M. Mousavi,
M. Varshosaz,
2022,
ACM Trans. Softw. Eng. Methodol..
Mohammad Reza Mousavi,
Carlos Diego Nascimento Damasceno,
Adenilso da Silva Simao,
2021,
Empirical Software Engineering.
Mohammad Reza Mousavi,
Matthias Woehrle,
Rena Bakhshi,
2012,
IFM.
Mohammad Reza Mousavi,
Tim A. C. Willemse,
Neda Noroozi,
2013,
FACS.
Arnar Birgisson,
Luca Aceto,
Anna Ingólfsdóttir,
2009,
Sci. Comput. Program..
Jun Pang,
Mohammad Reza Mousavi,
M. Mousavi,
2014,
Science of Computer Programming.
Jan Oliver Ringert,
Mohammad Reza Mousavi,
Rayna Dimitrova,
2019,
2019 IEEE International Conferences on Ubiquitous Computing & Communications (IUCC) and Data Science and Computational Intelligence (DSCI) and Smart Computing, Networking and Services (SmartCNS).
M. Mousavi,
Gabriel Pontolillo,
2022,
2022 IEEE/ACM 3rd International Workshop on Quantum Software Engineering (Q-SE).
Jan Friso Groote,
Mohammad Reza Mousavi,
J. F. Groote,
2011
.
Jan Oliver Ringert,
Dhaminda B. Abeywickrama,
S. Ramamoorthy,
2022,
2206.11421.
Jan Oliver Ringert,
Dhaminda B. Abeywickrama,
S. Ramamoorthy,
2022,
ArXiv.
Huncar Can Tunc,
Hossein Hojjat,
M. Mousavi,
2021,
FoSSaCS.
Mohammad Reza Mousavi,
Maciej Gazda,
Maciej Gazda,
2020,
ICALP.
Jan Friso Groote,
Mohammad Reza Mousavi,
J. F. Groote,
2014,
Bull. EATCS.
Luca Aceto,
Anna Ingólfsdóttir,
Mohammad Reza Mousavi,
2013,
CALCO.
Bas Luttik,
Osmar Marchi dos Santos,
Jaco van de Pol,
2010,
FMCO.
Luca Aceto,
Anna Ingólfsdóttir,
Mohammad Reza Mousavi,
2010,
MFPS.
Luca Aceto,
Anna Ingólfsdóttir,
Mohammad Reza Mousavi,
2009,
SOFSEM.
Mohammad Reza Mousavi,
Marjan Sirjani,
Hossein Hojjat,
2008,
SAC '08.
N Neda Noroozi,
M. Mousavi,
N. Noroozi,
2014
.
Mohammad Reza Mousavi,
Aah Ammar Osaiweran,
Marcel Boosten,
2010
.
Mohammad Reza Mousavi,
Michel A. Reniers,
D. Hassan,
2010,
PLAS '10.
Mohammad Reza Mousavi,
Daniel Gebler,
Eugen-Ioan Goriac,
2013,
EXPRESS/SOS.
Hans Zantema,
Mohammad Reza Mousavi,
Matthias Raffelsieper,
2009,
FMICS.
Mohammad Reza Mousavi,
Narges Khakpour,
M. Mousavi,
2015,
CONCUR.
Mohammad Reza Mousavi,
Thomas Arts,
T. Arts,
2015,
2015 First International Workshop on Automotive Software Architecture (WASA).
Mohammad Reza Mousavi,
M. Mousavi,
2006,
APC 25.
Saeed Jalili,
Carolyn L. Talcott,
Mohammad Reza Mousavi,
2012,
Sci. Comput. Program..
Farhad Arbab,
Mohammad Reza Mousavi,
Marjan Sirjani,
2004
.
Robert M. Hierons,
Mohammad Reza Mousavi,
Uraz Cengiz Türker,
2021,
2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Mohammad Reza Mousavi,
Marjan Sirjani,
Hossein Hojjat,
2011,
Fundam. Informaticae.
Mohammad Reza Mousavi,
Marjan Sirjani,
Hossein Hojjat,
2008
.
Mohammad Reza Mousavi,
Michel A. Reniers,
Arend Aerts,
2018,
2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).
Sjoerd Cranen,
Mohammad Reza Mousavi,
Michel A. Reniers,
2008,
CONCUR.
Sander Stuijk,
Amir Hossein Ghamarian,
Twan Basten,
2006,
Sixth International Conference on Application of Concurrency to System Design (ACSD'06).
Mohammad Reza Mousavi,
Adenilso da Silva Simão,
Vanderson Hafemann Fragal,
2019,
Sci. Comput. Program..
Mohammad Reza Mousavi,
Uraz Cengiz Türker,
Adenilso da Silva Simão,
2018,
Comput. J..
Fatemeh Ghassemi,
Mohammad Reza Mousavi,
M. Mousavi,
2016,
J. Log. Algebraic Methods Program..
Sandeep K. Shukla,
Twan Basten,
Mohammad Reza Mousavi,
2004,
Proceedings Design, Automation and Test in Europe Conference and Exhibition.
Mohammad Reza Mousavi,
Adenilso da Silva Simão,
Carlos Diego Nascimento Damasceno,
2019,
IFM.
Mohammad Reza Mousavi,
Adenilso da Silva Simão,
Carlos Diego Nascimento Damasceno,
2019,
SPLC.
Robert M. Hierons,
Mohammad Reza Mousavi,
Uraz Cengiz Türker,
2017,
SOFSEM.
Mohammad Reza Mousavi,
Arend Aerts,
Michel A. Reniers,
2017
.
Muhammad Atif,
Mohammad Reza Mousavi,
Ammar Osaiweran,
2012,
SAC '12.
Mohammad Reza Mousavi,
Holger Hermanns,
Rayna Dimitrova,
2020,
FORTE.