Zeineb Graja

According to our database, Zeineb Graja authored at least 7 papers between 2010 and 2016.

Collaborative distances:

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

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

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

2015

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

Zeineb Graja

PhD thesis, 2015

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

Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

A Pattern based Modelling for Self-organizing Multi-agent Systems with <i>Event-B</i>.

Zeineb Graja, Frédéric Migeon, Christine Maurel, Marie-Pierre Gleizes, Linas Laibinis, Amira Regayeg, Ahmed Hadj Kacem

Proceedings of the ICAART 2014, 2014

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

Proceedings of the Engineering Multi-Agent Systems - Second International Workshop, 2014

2010

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

Zeineb Graja, Amira Regayeg, Ahmed Hadj Kacem

Proceedings of the Agent-Oriented Software Engineering XI - 11th International Workshop, 2010