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
Ilhem Khlif, Mohamed Hadj Kacem, Patricia Stolf, Ahmed Hadj Kacem
Software architectures: multi-scale refinement (regular paper)
Dans : International Conference on Software Engineering Research, Management and Applications (SERA 2016), Towson, Maryland, United States, 08/06/16-10/06/16, CPS (Conference Publishing Services), (support électronique), juin 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 (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
BibTeXHouda Khlif, Hatem Hadj Kacem, Saùl E. Pomares Hernandez, Cédric Eichler, Ahmed Hadj Kacem, Alberto Calixto Simon
A Graph Transformation-based Approach for the Validation of Checkpointing Algorithms in Distributed Systems (regular paper)
Dans : IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2014), Parme, Italie, 23/06/14-25/06/14, IEEE : Institute of Electrical and Electronics Engineers, p. 80-85, juin 2014.
Linas 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.
Les SBC Coopératifs, vers une architecture basée sur une modélisation du contrôle
Dans : Actes du 10ème Congrès Reconnaissance des Formes et Intelligence Artificielle (RFIA’96), –, AFCET-AFIA, p. 964-972, janvier 1996.
Système à Base de Connaissances coopératifs: modélisation des connaissances et étude du contrôle
Thèse de doctorat, Université Paul Sabatier, janvier 1995.