Abdelhakim Baouya, Salim Chehida, Saddek Bensalem, Marius Bozga. Prediction-Based Approach for Automated Spill Gates in an IoT-Based Dam System. (Submitted)
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]
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]
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).
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]
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]
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]
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.
Baouya, Abdelhakim. “Design of Train Control Systems based on The Concept of Software Architecture”, Concordia University, Montréal, Canada, August 2018
Baouya, Abdelhakim. “Design of Embedded Systems Based on The Concept of Software Architecture”, Ph.D. thesis, PP 1-112, April 2016. [Download My Thesis]