About me

I am an Associate Professor in the Department of Computer Science at the University of Toulouse - Jean Jaurès. My research focuses on applying formal methods for verification and validation of cyber-physical systems. In particular, I'm interested in modeling the reliability, availability, and maintainability (RAM) of these systems while considering Security aspects. I am currently working on integrating human capabilities into CPS modeling with formal proof.

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, Impact factor: 4.4.(In press). 2025.

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 Journal Soft Computing, Impact factor: 3.1.(In press). 2025.

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. August 2024.

Abdelhakim Baouya, Brahim Hamid, Levent Gürgen, Saddek Bensalem. Rigorous Security Analysis of RabbitMQ Broker with Concurrent Stochastic Games. Elsevier Journal Internet of Things, Impact factor: 6.0. (Scimago Journal Rank = Q1), July 2024.