Journal Review

2020 :
Interacting with Computers, Oxford Academic, https://academic.oup.com/iwc/
The Computer Journal Editorial Office http://comjnl.oxfordjournals.org/

2019 :

Journal of Software: Evolution and Process, https://onlinelibrary.wiley.com/journal/20477481
Science of Computer Programming, Elsevier, https://www.journals.elsevier.com/science-of-computer-programming

2018:
Science of Computer Programming, Elsevier, https://www.journals.elsevier.com/science-of-computer-programming

2017:
Science of Computer Programming, Elsevier, https://www.journals.elsevier.com/science-of-computer-programming

2016:
Journal of Systems and Software, https://ees.elsevier.com/jss/
Science of Computer Programming, Elsevier, https://www.journals.elsevier.com/science-of-computer-programming

Conference Program Committees

MEDI'2022 International Conference on Model and Data Engineering, Cairo, Egypyt
MEDI'2021 International Conference on Model and Data Engineering, Tallin
ICI2ST 2021, The Second International Conference on Information Systems and Software Technologies (ICI2ST 2021)
ICFEM2020, 22th International Conference on Formal Engineering Methods
MEDI'2020 was postponed to 2021, due ti the Covid19 pandemic
ICFEM'2019 The 21st International Conference on Formal Engineering Methods
MEDI'2019 9th International Conference on Model and Data Engineering, 28-31 October 2019

ICFEM'2018 20th International Conference on Formal Engineering Methods
ICECCS'2018 (subreviewer)
iFM'2018 (subrevewer)
AfricaTeck'2018

CCGRID'2017 (subreviewer)
ICFEM'2017 19th International Conference on Formal Engineering Methods
WODES 2016 (subreviewer) http://wodes2016.diee.unica.it/home1-9-2.html
COMPSAC 2016 (subreviewer) https://www.computer.org/web/compsac2016/index
ICFEM 2016 18th International Conference on Formal Engineering Methods

FAOC 2015 (Special Issue SEFM 2014)
ICECCS 2015 (subreviewer) http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=7384217
CAL 2015 http://conf.laas.fr/CAL2015/

FACS'14 (Formal Aspects of Components and Services)


CSDM'13
(Complex Systems Design & Management)
CAL'13 (
Conférence Francophone sur les Architectures Logicielles)

FACS'12
(Formal Aspects of Component Software)

Grant Review for Institutions (national and international)


French National Research Agency (ANR) : 2011, 2013, 2015, 2017, 2019,
French Agence Nantionale de la Recherche Technologique (ANRT-CIFRE) : 2016
Swiss National Science Foundation (SNSF):  2011
Deutsche Forschungsgemeinschaft (DFG) : 2016
Comité Français d’Evaluation de la Coopération Universitaire et Scientifique avec le Brésil (COFECUB) : 2011