Abderahman Kriouile

According to our database, Abderahman Kriouile authored at least 6 papers between 2013 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2020

Formal Modeling and Validation of Micro Smart Grids Based on ReDy Architecture.

Kaoutar Hafdi, Abderahman Kriouile

Proceedings of the 5th International Conference on Cloud Computing and Artificial Intelligence: Technologies and Applications, 2020

2019

Overview on Internet of Things (IoT) Architectures, Enabling Technologies and Challenges.

Kaoutar Hafdi, Abderahman Kriouile, Abdelaziz Kriouile

J. Comput., 2019

2018

IoT ReDy Architecture for Smart Grid Management.

Kaoutar Hafdi, Abderahman Kriouile, Abdelaziz Kriouile

Comput. Inf. Sci., 2018

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

PhD thesis, 2015

Using a Formal Model to Improve Verification of a Cache-Coherent System-on-Chip.

Abderahman Kriouile, Wendelin Serwe

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

2013

Formal Analysis of the ACE Specification for Cache Coherent Systems-on-Chip.

Abderahman Kriouile, Wendelin Serwe

Proceedings of the Formal Methods for Industrial Critical Systems, 2013