$ mathcal{F}_{or} mathcal{MAAD}$ : Towards a Model Driven Approach for Agent Based Application Design. - Zeineb Graja; Amira Regayeg; Ahmed Hadj Kacem (AOSE, 2010)

A Stepwise Refinement Based Development of Self-Organizing Multi-Agent Systems: Application to the Foraging Ants. - Zeineb Graja; Frédéric Migeon; Christine Maurel; Marie-Pierre Gleizes; Ahmed Hadj Kacem (EMAS@AAMAS, 2014)

A Pattern based Modelling for Self-organizing Multi-agent Systems with Event-B. - Zeineb Graja; Frédéric Migeon; Christine Maurel; Marie-Pierre Gleizes; Linas Laibinis; Amira Regayeg; Ahmed Hadj Kacem (ICAART (2), 2014)

Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B. - Linas Laibinis; Elena Troubitsyna; Zeineb Graja; Frédéric Migeon; Ahmed Hadj Kacem (SEFM, 2014)

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

A stepwise refinement-based development of self-organising multi-agent systems: application to the foraging ants. - Zeineb Graja; Frédéric Migeon; Christine Maurel; Marie-Pierre Gleizes; Ahmed Hadj Kacem (Int. J. Agent Oriented Softw. Eng., 2016)

Vers une modélisation formelle basée sur le raffinement des systèmes multi-agents auto-organisateurs. - Zeineb Graja; Frédéric Migeon; Christine Maurel; Marie-Pierre Gleizes; Ahmed Hadj Kacem (Rev. d'Intelligence Artif., 2016)