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

2021

  • Abdelhakim Baouya, Otmane Ait Mohamed, Samir Ouchani, Djamal Bennouar. “Reliability-driven Automotive Software Deployment based on a Parametrizable Probabilistic Model Checking”, Expert Systems with Applications (2021) IF=5.452. Acceptance Rate =12% (High Ranked Journal).[DOI]

  • Abdelhakim Baouya., Chehida Salim, Samir Ouchani, Bensalem Saddek, Marius Bozga. “Generation and Verification of Learned Stochastic Automata using k-NN and Statistical Model Checking”. (Submitted)

2020

  • Abdelhakim Baouya., Chehida Salim, Bensalem Saddek. A Blockchain-based Architecture Leveraging Smart Gateway for Massive IoT Deployment”. (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. IF=4.7. Acceptance Rate =12% (High Ranked Journal).[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. IF=3.0. Acceptance Rate =12% (High Ranked Journal).[DOI]

Conferences Papers

2020

  • Chehida, Salim., Baouya, Abdelhakim., Fernández, Diego., Paul, Brun., Massot, Guillemette., Bozga, Marius and Bensalem, Saddek. “Asset-driven Approach for Security Risk Assessment in IoT Systems". The 15th International Conference on Risks and Security of Internet and Systems, (CRISIS'2020) 3-6 November, Paris, France.

  • Baouya, Abdelhakim., Chehida, Salim., Bensalem, Saddek and Bozga, Marius. “Formal Modeling and Verification of Blockchain Consensus Protocol for IoT Systems". The 19th International Conference on Intelligent Software Methodologies, Tools, and Techniques, Kitakyushu, JAPAN (SOMET'2020) 22-24 September (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).

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]

Workshops

2020

  • Xu, Tao., Davide, Conzon., Enrico, Ferrera., Shuai, Li., Juergen, Goetz., Laurent, Maillet-Contoz., Emmanuel Michel., Mario Diaz Nava., Baouya, Abdelhakim., Chehida, Salim., Miquel, Cantero., Paul, Brun, Guillemette, Massot., Bozga, Marius., Bensalem, Saddek. “Model Based Methodology and Framework for Design and Management of Next-Gen IoT Systems,” Eclipse SAM IoT 2020 Conference on Security, Artificial Intelligence, and Modeling for the Next Generation Internet of Things [selected as the best conference paper].

  • Chehida, Salim., Baouya, Abdelhakim., Miquel, Cantero., Paul, Brun, Guillemette, Massot., Bozga, Marius., Bensalem, Saddek. “Risk Assessment in IoT Case Study: Collaborative Robots System,” Eclipse SAM IoT 2020 Conference on Security, Artificial Intelligence, and Modeling for the Next Generation Internet of Things.

  • Baouya, Abdelhakim., Chehida, Salim., Bensalem, Saddek., Bozga, Marius, Cantero, Miquel and Millet, Marta . “Formal Modeling and Simulation of Collaborative Intelligent Robots”. The 8th European Conference on Service-Oriented and Cloud Computing (Edgeways 2020). 28 September 2020, Crete, Greece.

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]