On the Probabilistic Verification of Time Constrained SysML State Machines. - Abdelhakim Baouya; Djamal Bennouar; Otmane Aït Mohamed; Samir Ouchani (SoMeT, 2015)

A quantitative verification framework of SysML activity diagrams under time constraints. - Abdelhakim Baouya; Djamal Bennouar; Otmane Aït Mohamed; Samir Ouchani (Expert Syst. Appl., 2015)

Safety analysis of train control system based on model-driven design methodology. - Abdelhakim Baouya; Otmane Aït Mohamed; Djamal Bennouar; Samir Ouchani (Comput. Ind., 2019)

Asset-Driven Approach for Security Risk Assessment in IoT Systems. - Salim Chehida; Abdelhakim Baouya; Diego Fernández Alonso; Paul-Emmanuel Brun; Guillemette Massot; Marius Bozga; Saddek Bensalem (CRiSIS, 2020)

Formal Modeling and Simulation of Collaborative Intelligent Robots. - Abdelhakim Baouya; Salim Chehida; Miquel Cantero; Marta Millet; Saddek Bensalem; Marius Bozga (ESOCC Workshops, 2020)

Fog Computing and Blockchain for Massive IoT Deployment. - Abdelhakim Baouya; Salim Chehida; Saddek Bensalem; Marius Bozga (MECO, 2020)

Exploration of Impactful Countermeasures on IoT Attacks. - Salim Chehida; Abdelhakim Baouya; Marius Bozga; Saddek Bensalem (MECO, 2020)

Applied Statistical Model Checking for a Sensor Behavior Analysis. - Salim Chehida; Abdelhakim Baouya; Saddek Bensalem; Marius Bozga (QUATIC, 2020)

Risk Assessment in IoT Case Study: Collaborative Robots System. - Salim Chehida; Abdelhakim Baouya; Miquel Cantero; Paul-Emmanuel Brun; Guillemette Massot (SAM IoT, 2020)

Model Based Methodology and Framework for Design and Management of Next-Gen IoT Systems. - Xu Tao; Davide Conzon; Enrico Ferrera; Shuai Li; Jürgen Götz; Laurent Maillet-Contoz; Emmanuel Michel; Mario Diaz-Nava; Abdelhakim Baouya; Salim Chehida (SAM IoT, 2020)

Formal Modeling and Verification of Blockchain Consensus Protocol for IoT Systems. - Abdelhakim Baouya; Salim Chehida; Saddek Bensalem; Marius Bozga (SoMeT, 2020)

Component-Based Approach Combining UML and BIP for Rigorous System Design. - Salim Chehida; Abdelhakim Baouya; Saddek Bensalem (FACS, 2021)

Reliability-driven Automotive Software Deployment based on a Parametrizable Probabilistic Model Checking. - Abdelhakim Baouya; Otmane Aït Mohamed; Samir Ouchani; Djamal Bennouar (Expert Syst. Appl., 2021)

Formal Modelling and Security Analysis of Inter-Operable Systems. - Abdelhakim Baouya; Samir Ouchani; Saddek Bensalem (IEA/AIE, 2022)

Generation and verification of learned stochastic automata using k-NN and statistical model checking. - Abdelhakim Baouya; Salim Chehida; Samir Ouchani; Saddek Bensalem; Marius Bozga (Appl. Intell., 2022)

Learning and analysis of sensors behavior in IoT systems using statistical model checking. - Salim Chehida; Abdelhakim Baouya; Saddek Bensalem; Marius Bozga (Softw. Qual. J., 2022)

Toward a context-driven deployment optimization for embedded systems: a product line approach. - Abdelhakim Baouya; Otmane Aït Mohamed; Samir Ouchani (J. Supercomput., 2023)

Model-Based Reliability, Availability, and Maintainability Analysis for Satellite Systems with Collaborative Maneuvers via Stochastic Games. - Abdelhakim Baouya; Brahim Hamid; Otmane Aït Mohamed; Saddek Bensalem (SEAA, 2024)

Rigorous Security Analysis of RabbitMQ Broker with Concurrent Stochastic Games. - Abdelhakim Baouya; Brahim Hamid; Levent Gürgen; Saddek Bensalem (Internet Things, 2024)

Deploying warehouse robots with confidence: the BRAIN-IoT framework's functional assurance. - Abdelhakim Baouya; Salim Chehida; Saddek Bensalem; Levent Gürgen; Richard Nicholson; Miquel Cantero; Mario Diaz-Nava; Enrico Ferrera (J. Supercomput., 2024)

Detection and Mitigation of Clock Deviation in the Verification & Validation of Drone-aided Lifting Operations. - Abdelhakim Baouya; Brahim Hamid; Otmane Aït Mohamed; Saddek Bensalem (Ad Hoc Networks, 2025)

Modeling and analysis of data corruption attacks and energy consumption effects on edge servers using concurrent stochastic games. - Abdelhakim Baouya; Brahim Hamid; Levent Gürgen; Saddek Bensalem (Soft Comput., 2025)