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.