Get started
Author

Abderahman Kriouile

Toward Secure and Reliable IoT Systems: A Comprehensive Review of Formal Methods Applications
2024 · Ikram Haddou-Oumouloud, Abderahman Kriouile, et al. · IEEE Access · 16
Formal Analysis of the ACE Specification for Cache Coherent Systems-on-Chip
2013 · Abderahman Kriouile, Wendelin Serwe · Lecture notes in computer science · 9
Using a Formal Model to Improve Verification of a Cache-Coherent System-on-Chip
2015 · Abderahman Kriouile, Wendelin Serwe · Lecture notes in computer science · 8
Innovative approach to perform optimized and highly efficient operation & maintenance activities for 100MW-scale CSP plants
2019 · Mohammed Lamghari, Abderahman Kriouile, et al. · AIP conference proceedings · 3
Formal Modeling and Validation of ReDy Architecture Intended for IoT Applications
2017 · Kaoutar Hafdi, Abdelaziz Kriouile, et al. · International Journal of Innovative Research in Computer Science & Technology · 3
PDF
Real-Time Adaptive Target Tracking via Inverse Kinematics Optimization in Stabilized Systems
2025 · Abderahman Kriouile, Soufiane Hamida, et al. · IEEE Access · 2
Leveraging Innovative Technologies and Risk Management Strategies for Smart, Sustainable Warehouses: A Cyber-Physical Systems Case Study in SMEs
2024 · Mariam Moufaddal, Asmaa Benghabrit, et al. · Artificial Intelligence and Cloud Computing Conference (AICCC) · 2
PDF
Formal Modeling and Validation of Micro Smart Grids Based on ReDy Architecture
2020 · Kaoutar Hafdi, Abderahman Kriouile · International Conference on Cloud Computing Technologies and Applications (CloudTech) · 2
IoT ReDy Architecture for Smart Grid Management
2018 · Kaoutar Hafdi, Abderahman Kriouile, et al. · Computer and Information Science · 2
PDF
Formal Methods for Functional Verification of Cache-Coherent System-on-Chip
2015 · Abderahman Kriouile · 2
Simulation and optimization of inverse kinematics algorithms for real-time target tracking in inertial stabilization platforms
2026 · Abderahman Kriouile, Soufiane Hamida, et al. · Bulletin of Electrical Engineering and Informatics
PDF
Modeling and enhancing inverse kinematics algorithms for real-time target tracking in inertial stabilization systems
2025 · Abderahman Kriouile, Soufiane Hamida, et al. · International Journal of Power Electronics and Drive Systems/International Journal of Electrical and Computer Engineering
PDF
Méthodes Formelles pour la vérification fonctionnelle des systèmes sur puce cache cohérent
2015 · Abderahman Kriouile
PDF
Analyse formelle du protocole ACE : cohérence de caches des systèmes sur puce
2013 · Kriouile, Abderahman, Serwe, Wendelin · HAL
New Results - Real-Life Applications and Case Studies
2013 · Abderahman Kriouile, Radu Mateescu, et al.
Bilateral Contracts and Grants with Industry - Bilateral Grants with Industry
2013 · Hubert Garavel, Abderahman Kriouile, et al.
Formal Analysis of the ACE Specification for Cache Coherent Systems-on-Chip
2013 · Abderahman Kriouile, Wendelin Serwe, et al.
Works count: 17
Citation count: 49
H-index: 3
I10-index: 1
Year
Topic
Type