Publications de
Zeineb Graja, Frédéric Migeon, Christine Maurel, Marie-Pierre Gleizes, Ahmed Hadj Kacem
Vers une modélisation formelle basée sur le raffinement des systèmes multi-agents auto-organisateurs
Dans : Revue d’Intelligence Artificielle (RIA), Lavoisier, Numéro spécial DES MODÈLES THÉORIQUES AUX APPLICATIONS MULTI¿AGENTS, Vol. 30, N. 1-2, p. 159-183, 2016.
Zeineb Graja, Frédéric Migeon, Christine Maurel, Marie-Pierre Gleizes, Ahmed Hadj Kacem
A Stepwise Refinement based Development of Self-Organizing Multi-Agent Systems: Application to the Foraging Ants
Dans : International Journal of Agent-Oriented Software Engineering, Inderscience Publishers, Vol. 5 N. 2/3, p. 134-166, 2016.
Accès : http://www.irit.fr/publis/SMAC/versionAuteurIJAOSE2016.pdf – https://oatao.univ-toulouse.fr/18785/
BibTeX
Zeineb Graja, Frédéric Migeon, Christine Maurel, Marie-Pierre Gleizes, Ahmed Hadj Kacem
A Stepwise Refinement Based Development of Self-Organizing Multi-Agent Systems: Application to the Foraging Ants (regular paper)
Dans : The international workshop on Engineering Multi-Agent Systems (EMAS 2014), Paris- France, 05/05/14-06/05/14, Vol. 8758, Fabiano Dalpiaz, Jürgen Dix, M. Birna van Riemsd (Eds.), Springer, Lecture Notes in Computer Science, (en ligne), 2014.
Accès : http://link.springer.com/chapter/10.1007/978-3-319-14484-9_3
BibTeXLinas Laibinis, Elena Troubitsyna, Zeineb Graja, Frédéric Migeon, Ahmed Hadj Kacem
Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B (regular paper)
Dans : International Conference on Software Engineering and Formal Methods, Grenoble- France, 01/09/14-05/09/14, Vol. 8702, Dimitra Giannakopou, Gwen Salaün (Eds.), Springer, Lecture Notes in Computer Science, p. 363-377, 2014.
Zeineb Graja, Frédéric Migeon, Christine Maurel, Marie-Pierre Gleizes, Ahmed Hadj Kacem
Vers une modélisation formelle basée sur le raffinement des systèmes multi-agents auto-organisateurs (regular paper)
Dans : Journées Francophones sur les Systèmes Multi-Agents (JFSMA 2014), Loriol-sur-Drôme, 08/10/14-10/10/14, Cépaduès Editions, p. 139-148, 2014.
Zeineb Graja, Frédéric Migeon, Christine Maurel, Marie-Pierre Gleizes, Linas Laibinis, Amira Regayeg, Ahmed Hadj Kacem
A Pattern based Modelling for Self-Organizing Multi-Agent Systems with Event-B (short paper)
Dans : International Conference on Agents and Artificial Intelligence (ICAART 2014), Angers – France, 06/03/14-08/03/14, INSTICC – Institute for Systems and Technologies of Information, Control and Communication, p. 229-236, 2014.
Zeineb Graja, Frédéric Migeon, Christine Maurel, Marie-Pierre Gleizes, Amira Regayeg, Ahmed Hadj Kacem
A Stepwise Re nement based Development of Self-Organizing Multi-Agent Systems: Application on the Foraging Ants
Dans : European Workshop on Multi-Agent Systems EUMAS, Toulouse – France, 12/12/13-13/12/13.
Vérification formelle des systèmes multi-agents auto-adaptatifs
Thèse de doctorat, Université de Toulouse, septembre 2015.