Publications de
Christophe Sibertin-Blanc, Nabil Hameurlain
Ambiguity and Structural Properties of Basic Sequence Diagrams.
Dans : Innovations in Systems and Software Engineering, Springer, Numéro spécial papers from UML&Formal Methods, Kitakyushu (Japan), 27-28/10/2008, Vol. 4 N. 3, p. 275-284, septembre 2008.
Fernando Wanderley, Nicolas Belloir, Jean-Michel Bruel, Nabil Hameurlain, Joao Araujo
Des buts à la modélisation système : une approche de modélisation des exigences centrée utilisateur (regular paper)
Dans : INFormatique des Organisations et Systemes d’Information et de Decision (INFORSID 2014), Lyon, 19/05/14-23/05/14, Hermès – Revuesonline, p. 113-128, mai 2014.
Leila Amgoud, Nabil Hameurlain
An argumentation-based framework for designing dialogue strategies
Dans : European Conference on Artificial Intelligence (ECAI 2006), Riva del Garda, Italy, 28/08/06-01/09/06, Gerhard Brewka, Silvia Coradeschi, Anna Perini, Paolo Traverso (Eds.), IOS Press, p. 713-714, août 2006.
Leila Amgoud, Nabil Hameurlain
An argumentation-based approach for dialogue move selection
Dans : International Workshop on Argumentation in Multi-Agent Systems (ArgMAS 2006), Hakodate, Japan, 08/05/06-12/05/06, Springer-Verlag, LNAI, p. 1-17, 2006.
Leila Amgoud, Nabil Hameurlain
A formal model for designing dialogue strategies
Dans : International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, 08/05/06-12/05/06, Gerhard Weiss, Peter Stone (Eds.), ACM Press, p. 414-416, mai 2006.
Christophe Sibertin-Blanc, Nabil Hameurlain
Participation Components for Holding Roles in MultiAgents Systems Protocols
Dans : ESAW’04,Engineering Societies in the Agents World, Toulouse (France), 20/10/04-22/10/04, LNAI 3451, p. 60-73, octobre 2004.
Nabil Hameurlain, Christophe Sibertin-Blanc
Formal Specification of role Components in Open Multi-agent Systems
Dans : Third International Workshop on Software Engineering for Large-Scale Multi-Agent Systems, SELMAS’04, Edinburgh, 23/05/04-24/05/04, LNCS vol 3390, p. 180-197, mai 2004.
Accès : http://www.univ-tlse1.fr/irit/soc/articles/Esaw’04.ppt
BibTeXChihab Hanachi, Nabil Hameurlain, Christophe Sibertin-Blanc
Mobile Agents Behaviors: from Declarative Specification to Implementation
Dans : Cooperative Information Agent III, CIA’99, Klusch, M.; Shehory, O.M.; Weiß, G., (Eds.), Uppsala, Sweeden, 31/07/99-02/08/99, Springer, Lectures Notes in Artificial Intelligence 1652, juillet 1999.
Nabil Hameurlain, Chihab Hanachi, Christophe Sibertin-Blanc
The Petri Net Approach to Build and Execute Missioned Mobile Agents
Dans : Application of Petri Nets to Intelligent System Developement, Workshop within the 20th Int. Conf. on Application and Theory of Petri Nets (ICATPN’99), Williamsburg, (VA, USA), 21/06/99-25/06/99, ., juin 1999.
Nabil Hameurlain, Christophe Sibertin-Blanc
Behavioural Types in CoOperative Objects
Dans : 2nd international Workshop on Semantics of Objects as Processes, SOAP ’99 within the 13th European Conference on Object-Oriented Programming, ECOOP’99, Lisbon, Portugal, 14/06/99-18/06/99, BRICS Notes Series, juin 1999.
Nabil Hameurlain, Chihab Hanachi
Cooperation between Manufacturing sites supported by a net of Information Agents
Dans : 2nd IMACS-IEEE International Multiconference, Computational Engineering in Systems Applications (CESA’98), Nabeul-Hammamet, Tunisia, 01/04/98-04/04/98, ., avril 1998.
Nabil Hameurlain, Christophe Sibertin-Blanc
On the Reduction of the Reachability Graph for high Level Nets
Dans : Proceedings of the Twelfth International Symposium on Computer and Information System, ISCIS XII, Antalya, Turkey, 27/10/97, -, octobre 1997.
Behavioral Inheritance in Petri Nets
Dans : Colloquium on Formal Methods. Within APSEC’97 Conference, Macau, -, décembre 1997.
Nabil Hameurlain, Christophe Sibertin-Blanc
Finite Symbolic Reachability Graphs for High Level Petri Nets
Dans : IEEE Proceedings of the International Computer Science Conference ICSC’97, Hong Kong, 02/12/97, -, décembre 1997.
Réduction du graphe des marquages pour réseaux de Haut Niveau
Dans : Proceedings RenPar’8, Colloque Francophone sur le Parallélisme, Bordeaux, 20/01/96, -, janvier 1996.
Contrôle de l’exécution d’objects coopératifs dans l’environnement SYROCO
Dans : Contrôle Réparti dans les Applications Coopératives, CRAC’96, Paris, 30/05/96, -, mai 1996.
Nabil Hameurlain, Christophe Sibertin-Blanc
Minimalité des graphes des marquages symboliques
Dans : FAC’95, Formalisation des Activités Concurrentes, Toulouse, 04/04/95, -, avril 1995.
Christophe Sibertin-Blanc, Nabil Hameurlain, P Touzeau
SYROCO: A C++ Implementation of CoOperative Objects
Dans : Proceedings of the first workshop on Object-Oriented Programming and models of Concurrency. Within the 16th International Conference on Application and Theory of Petri Nets, Torino, Italy, 26/06/95, -, juin 1995.
Nabil Hameurlain, Christophe Sibertin-Blanc
Graphes des marquages symboliques dans les réseaux de Petri à Objets
Dans : Le parallélisme à l’IRIT, Toulouse, 13/04/94.
Leila Amgoud, Nabil Hameurlain
An Argumentation-Based Approach for Dialogue Move Selection
Dans : Argumentation in Multi-Agent Systems. Revised Selected and Invited papers from the third International Workshop on Argumentation in Multi-Agent Systems, ArgMAS 2006. Iyad Rahwan, Nicolas Maudet, Simon Parsons (Eds.) , Springer-Verlag, p. 128-141, Vol. LNCS 4766, 2007.
L’héritage comportemental dans les réseaux de Petri
Thèse de doctorat, Université des Sciences Sociales, mars 1998.