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., Bozga, Marius. Formal Modeling and Verification of Blockchain-based IoT system. Coordination 2020 (Submitted)

  • Baouya, Abdelhakim., Chehida, Salim., Bensalem, Saddek., Bozga, Marius. A Cloud-based IoT system : Driving Collaborative Intelligent Robots”. The 8th European Conference on Service-Oriented and Cloud Computing

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

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]