BAOUYA ABDELHAKIM

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

Journal Papers

2020

  • Abdelhakim Baouya, Salim Chehida, Saddek Bensalem, Marius Bozga. Prediction-Based Approach for Automated Spill Gates in an IoT-Based Dam System. (Submitted)

2019

  • Abdelhakim Baouya, Otmane Ait Mohamed. Towards a Context-driven Deployment Optimization for Embedded Systems: A Product Line Approach. (Submitted)

  • Abdelhakim Baouya, Otmane Ait Mohamed, Djamal Bennouar, Samir Ouchani. Safety analysis of train control system based on model-driven design methodology. Computers in Industry, Volume 105, 2019, Pages 1-16, ISSN 0166-3615[DOI]

2015

  • Abdelhakim Baouya, Otmane Ait Mohamed, Djamal Bennouar, Samir Ouchani. A quantitative verification framework of SysML activity diagrams under time constraints. Expert Systems with Applications, Volume 42, Issue 21, 2015, Pages 7493-7510, ISSN 0957-4174[DOI]

Conferences Papers

2020

  • Baouya, Abdelhakim., Chehida, Salim., Bensalem, Saddek and Bozga, Marius. "Formal Modeling and Verification of Blockchain Consensus Protocol for IoT Systems". 19th International Conference on Intelligent Software Methodologies, Tools, and Techniques, Kitakyushu, JAPAN (SOMET'2020) (Accepted in a High Ranked Conference).

  • Chehida, Salim., Baouya, Abdelhakim., Bensalem, Saddek and Bozga, Marius. "Applied Statistical Model Checking for a Sensor Behavior Analysis". The 13th International Conference on the Quality of Information and Communications Technology, Portugal (QUATIC'2020) Acceptance Rate =32% (Accepted in a High Ranked Conference).

  • Baouya, Abdelhakim., Chehida, Salim., Bensalem, Saddek and Bozga, Marius. "Fog Computing and Blockchain Technology for Massive IoT Deployment”. 8th International Conference on Cyber-Physical Systems and Internet-of-Things (CPS&IoT'2020).

  • Chehida, Salim., Baouya, Abdelhakim., Bensalem, Saddek and Bozga Marius. "Exploration of Impactful Countermeasures on IoT Attacks". The 9th Mediterranean Conference on Embedded Computing (MECO'2020).

  • Baouya, Abdelhakim., Chehida, Salim., Bensalem, Saddek., Bozga, Marius, Cantero, Miquel and Millet, Marta . "Fog Computing for Industrial IoT Systems: Driving Collaborative Intelligent Robots". The 8th European Conference on Service-Oriented and Cloud Computing (ESOCC 2020).

2016

  • Baouya, Abdelhakim., Bennouar, Djamal., Ait Mohamed, Otmane., & Ouchani, Samir. “A Formal Approach for Maintainability and Availability Assessment using Probabilistic Model Checking”. The 4th International Symposium on Modelling and Implementation of Complex Systems (Vol. 01, Chapter. 21), 2016. Acceptance Rate:15%[DOI]

2015

  • Baouya, Abdelhakim., Bennouar, Djamal., Ait Mohamed, Otmane., & Ouchani, Samir. “On the Probabilistic Verification of Time Constrained SysML State Machines”, SoMeT 2015. Intelligent Software Methodologies, Tools and Techniques Vol. 532, pp. 425-441, Chapter. 33 Springer International Publishing[DOI]

  • Baouya, Abdelhakim., Bennouar, Djamal., Ait Mohamed, Otmane., & Ouchani, Samir. “A Probabilistic and Timed Verification Approach of SysML State Machine Diagram”, ISPS 2015. 12th International Symposium on Programming and Systems, IEEE, (pp. 1-9)[DOI]

Invited Talks

2020

  • Abdelhakim Baouya and Salim Chehida. “Design and verification of collaborative robots system”, Univ.Grenoble-Alpes, FR. 2nd Summer School on Cyber Physical Systems and Internet of Things 2020. Budva, Montenegro, 08-12, June, 2020 [LINK]

2019

  • Baouya, Abdelhakim. “Mapping BIP model to Java and OSGi Integration - BrainIoT Project”, STMicroelectronics, France, PARIS, June 2019

  • Baouya, Abdelhakim. “Modeling and Simulation of Robots Orchestration based on BIP Model - BrainIoT Project”, POLITECNICO DI TORINO, Turin, ITALY, January 2019.

2018

  • Baouya, Abdelhakim. “Design of Train Control Systems based on The Concept of Software Architecture”, Concordia University, Montréal, Canada, August 2018

Thesis

2016

  • Baouya, Abdelhakim. “Design of Embedded Systems Based on The Concept of Software Architecture”, Ph.D. thesis, PP 1-112, April 2016. [Download My Thesis]