Zeineb Graja

A stepwise refinement-based development of self-organising multi-agent systems: application to the foraging ants

Marie-Pierre Gleizes, Ahmed Hadj Kacem, Frédéric Migeon, 2016 .

A Pattern based Modelling for Self-organizing Multi-agent Systems with Event-B

Marie-Pierre Gleizes, Linas Laibinis, Ahmed Hadj Kacem, 2014, ICAART.

A Stepwise Refinement Based Development of Self-Organizing Multi-Agent Systems: Application to the Foraging Ants

Marie-Pierre Gleizes, Ahmed Hadj Kacem, Frédéric Migeon, 2014, EMAS@AAMAS.

ForMAAD: towards a model driven approach for agent based application design

Ahmed Hadj Kacem, Amira Regayeg, Zeineb Graja, 2010 .

A stepwise refinement-based development of self-organising multi-agent systems: application to the foraging ants

Marie-Pierre Gleizes, Ahmed Hadj Kacem, Frédéric Migeon, 2016, Int. J. Agent Oriented Softw. Eng..

Vérification formelle des systèmes multi-agents auto-adaptatifs. (Formal verification of self-adaptive multi-agent systems)

Zeineb Graja, Zeineb Graja, 2015 .

Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B

Elena Troubitsyna, Linas Laibinis, Ahmed Hadj Kacem, 2014, SEFM.

$\mathcal{F}_{or}\mathcal{MAAD}$ : Towards a Model Driven Approach for Agent Based Application Design

Ahmed Hadj Kacem, Amira Regayeg, Zeineb Graja, 2010, AOSE.

Vers une modélisation formelle basée sur le raffinement des systèmes multi-agents auto-organisateurs

Marie-Pierre Gleizes, Ahmed Hadj Kacem, Frédéric Migeon, 2016, Rev. d'Intelligence Artif..