Towards a Formal Model for Cloud Computing Elasticity. - Hamza Sahli; Chafia Bouanaka; Ahmed Taki Eddine Dib (WETICE, 2014)

Model checking of Multi Agent System architectures using BigMC. - Ahmed Taki Eddine Dib; Zaïdi Sahnoun (FedCSIS, 2015)

Modeling the Dynamic Context of Ambient Systems: A Case Study of Le Havre Seaport Risk Management. - Ali Sahnoun; Ramdane Maamri; Ahmed Taki Eddine Dib (IntelliSys (1), 2016)

Specification and verification of reconfigurable multi-agent system architectures. - Ahmed Taki Eddine Dib; Kamel Barkaoui; Zaïdi Sahnoun (Multiagent Grid Syst., 2016)

A multi-agent based approach for modelling context-aware systems. - Ali Sahnoun; Ahmed Taki Eddine Dib; Ramdane Maamri (Multiagent Grid Syst., 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 (2017)

A multi-agent security framework for cloud data storage. - Oussama Arki; Abdelhafid Zitouni; Ahmed Taki Eddine Dib (Multiagent Grid Syst., 2018)

Bigraphical Modelling and Design of Multi-Agent Systems. - Ahmed Taki Eddine Dib; Ramdane Maamri (ICCAI, 2021)

A multi-layered bigraphical modelling approach for context-aware systems. - Ahmed Taki Eddine Dib; Ramdane Maamri (J. King Saud Univ. Comput. Inf. Sci., 2022)