BAOUYA ABDELHAKIM

PostDoc Researcher - FETLAS (ex. RSD)
  • University Grenoble-Alpes, France
  • VERIMAG Lab. Office 218
  • Bâtiment IMAG, 700 Avenue Centrale
  • 38400 Saint-Martin-d’Hères




Career Summary

Dr. Abdelhakim Baouya is a Ph.D. in Computer engineering supervised by Otmane Ait Mohamed from CONCORDIA University, CANADA, and Djamal Bennouar with the financial support of Algerian Ministry of Higher Education and Scientific Research since May 2016. Dr. BAOUYA also holds a Master of research in software engineering from the University of BLIDA in Algeria. Currently, Dr. Baouya is a researcher at Verimag laboratory, University of Grenoble Alpes. He is working on Software Architecture specification (UML/MARTE, SysML, AADL, Autofocus AF3), Formal verification, Code generation and deployment for IoT. He is interested in developing formal methods, techniques, and tools for the System-level Design of Embedded and Cyber-Physical Systems. Some of his interests are Model-based Design, Dependability Analysis, Stochastic Component-based Design, Statistical/Probabilistic Model-checking. He is serving as a reviewer and PC member of SSCC 2020, CPS-IoT 2020, IEA/AIE2021, SIAS 2021. Dr. Baouya is an expert in Eclipse Plugin & Sirius development.

European projects :

Brain-IoT (2018-2021):

Technical Manager: Model-To-Text transformation (Xtend for BIP to JAVA) [sources] • Model-To-Model transformation (QvT for Sensinact to BIP) [sources] • OSGi enRoute ( Bundles development for intelligent robots ).

Foceta (2021-2023) :

Requirements engineering (VOLERE for setting GitLab) • Architectural representation in BIP and code generation to communicate with a model of neural networks developed with deeplearning4J. [sources]

Consulting • Huawei Technologies Research Center (Grenoble, France) :

I am in charge of providing a graphical representation of the BIP language based on the BIP mata-model and using a wide range of Eclipse tools such as Sirius graphical editor and Acceleo model-To-text transformation. The objective is to provide an Eclipse software product with all the functionalities related to the modeling and analysis of BIP models.