Formal Analysis of the ACE Specification for Cache Coherent Systems-on-Chip. - Abderahman Kriouile; Wendelin Serwe (FMICS, 2013)

Using a Formal Model to Improve Verification of a Cache-Coherent System-on-Chip. - Abderahman Kriouile; Wendelin Serwe (TACAS, 2015)

Formal Methods for Functional Verification of Cache-Coherent System-on-Chip. (Méthodes Formelles pour la vérification fonctionnelle des systèmes sur puce cache cohérent). - Abderahman Kriouile (2015)

IoT ReDy Architecture for Smart Grid Management. - Kaoutar Hafdi; Abderahman Kriouile; Abdelaziz Kriouile (Comput. Inf. Sci., 2018)

Overview on Internet of Things (IoT) Architectures, Enabling Technologies and Challenges. - Kaoutar Hafdi; Abderahman Kriouile; Abdelaziz Kriouile (J. Comput., 2019)

Formal Modeling and Validation of Micro Smart Grids Based on ReDy Architecture. - Kaoutar Hafdi; Abderahman Kriouile (Cloudtech, 2020)

Leveraging Innovative Technologies and Risk Management Strategies for Smart, Sustainable Warehouses: A Cyber-Physical Systems Case Study in SMEs. - Mariam Moufaddal; Asmaa Benghabrit; Abderahman Kriouile; Oumaima Dali (AICCC, 2024)

Toward Secure and Reliable IoT Systems: A Comprehensive Review of Formal Methods Applications. - Ikram Haddou-Oumouloud; Abderahman Kriouile; Soufiane Hamida; Ahmed Ettalbi (IEEE Access, 2024)

Real-Time Adaptive Target Tracking via Inverse Kinematics Optimization in Stabilized Systems. - Abderahman Kriouile; Soufiane Hamida; Oussama El Gannour; Abdoul Latif Abdou Moussa (IEEE Access, 2025)