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 Formal verification, Code generation, Plugins development 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 (UML, SysML, AADL, Autofocus AF3), Dependability Analysis, Stochastic Component-based Design, Statistical/Probabilistic Model-checking. Dr. Baouya is an expert in Eclipse Plugin development.
News:
Abdelhakim Baouya, Otmane Ait Mohamed, Samir Ouchani, Djamal Bennouar, "Reliability-driven Automotive Software Deployment based on a Parametrizable Probabilistic Model Checking", 2021, Expert Systems With Applications, IF=5.452. (Accepted)
Qualification aux fonctions de maître de conférence, ID: 20227343390
Délivré en janv. 2020 Expire déc. 2024.
Autorité de délivrance: Ministère de l'enseignement supérieur et de la recherche (France)
Qualification as a lecturer, ID: 20227343390
Issued Jan. 2020 Expires Dec. 2024.
Issuing authority: Ministry of Higher Education and Research (France)