Publications

Journals (Selected articles)

Abdelhakim Baouya, Brahim Hamid, Otmane Ait Mohamed, and Saddek Bensalem. Detection and Mitigation of Clock Deviation in the Verification & Validation of Drone-aided Lifting Operations, Elsevier Ad Hoc Networks, (In press),
Abdelhakim Baouya, Brahim Hamid, Levent Gürgen, Saddek Bensalem, Modeling and Analysis of Data Corruption Attacks and Energy Consumption Effects on Edge Servers using Concurrent Stochastic Games, Springer Soft Computing, (In press),
Abdelhakim Baouya, Brahim Hamid, Levent Gürgen, Saddek Bensalem, Rigorous Security Analysis of RabbitMQ Broker with Concurrent Stochastic Games, Elsevier Internet of Things, Volume 26, 2024, 101161, ISSN 2542-6605,
Abdelhakim Baouya, Salim Chehida, Saddek Bensalem, Levent Gürgen, Richard Nicholson, Miquel Cantero, Mario Diaz-Nava, Enrico Ferrera: Deploying warehouse robots with confidence: the BRAIN-IoT framework’s functional assurance. Springer J. Supercomput. 80(1): 1206-1237 (2024).
Abdelhakim Baouya, Otmane Aït Mohamed, Samir Ouchani, Djamal Bennouar: Reliability-driven Automotive Software Deployment based on a Parametrizable Probabilistic Model Checking. Elsevier Expert Syst. Appl. 174: 114572 (2021)

Abdelhakim Baouya, Brahim Hamid, Otmane Ait Mohamed, and Saddek Bensalem. “Model-Based Reliability, Availability, and Maintainability Analysis for Satellite Systems with Collaborative Maneuvers via Stochastic Games”. In: The 50th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA). 2024.
Abdelhakim Baouya, Samir Ouchani, Saddek Bensalem: Formal Modelling and Security Analysis of Inter-Operable Systems. IEA/AIE 2022: 555-567.
Salim Chehida, Abdelhakim Baouya, Saddek Bensalem: Component-Based Approach Combining UML and BIP for Rigorous System Design. FACS 2021: 27-43