Ahmed Taki Eddine Dib

According to our database, Ahmed Taki Eddine Dib authored at least 9 papers between 2014 and 2022.

Collaborative distances:

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

2022

A multi-layered bigraphical modelling approach for context-aware systems.

Ahmed Taki Eddine Dib, Ramdane Maamri

J. King Saud Univ. Comput. Inf. Sci., 2022

2021

Bigraphical Modelling and Design of Multi-Agent Systems.

Ahmed Taki Eddine Dib, Ramdane Maamri

Proceedings of the ICCAI '21: 2021 7th International Conference on Computing and Artificial Intelligence, Tianjin China, April 23, 2021

2018

A multi-agent security framework for cloud data storage.

Oussama Arki, Abdelhafid Zitouni, Ahmed Taki Eddine Dib

Multiagent Grid Syst., 2018

2017

Une approche formelle basée BRS pour la spécification et la vérification des architectures des systèmes Multi-Agents.

Ahmed Taki Eddine Dib

PhD thesis, 2017

A multi-agent based approach for modelling context-aware systems.

Ali Sahnoun, Ahmed Taki Eddine Dib, Ramdane Maamri

Multiagent Grid Syst., 2017

2016

Specification and verification of reconfigurable multi-agent system architectures.

Ahmed Taki Eddine Dib, Kamel Barkaoui, Zaïdi Sahnoun

Multiagent Grid Syst., 2016

Modeling the Dynamic Context of Ambient Systems: A Case Study of Le Havre Seaport Risk Management.

Ali Sahnoun, Ramdane Maamri, Ahmed Taki Eddine Dib

Proceedings of SAI Intelligent Systems Conference (IntelliSys) 2016, 2016

2015

Model checking of Multi Agent System architectures using BigMC.

Ahmed Taki Eddine Dib, Zaïdi Sahnoun

Proceedings of the 2015 Federated Conference on Computer Science and Information Systems, 2015

2014

Towards a Formal Model for Cloud Computing Elasticity.

Hamza Sahli, Chafia Bouanaka, Ahmed Taki Eddine Dib

Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014