Publications of
Christophe Sibertin-Blanc, Nabil Hameurlain
Ambiguity and Structural Properties of Basic Sequence Diagrams.
In : Innovations in Systems and Software Engineering, Springer, Special issue papers from UML&Formal Methods, Kitakyushu (Japan), 27-28/10/2008, Vol. 4 N. 3, pp. 275-284, September 2008.
Leila Amgoud, Nabil Hameurlain
An argumentation-based framework for designing dialogue strategies
In : 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, pp. 713-714, August 2006.
Leila Amgoud, Nabil Hameurlain
An argumentation-based approach for dialogue move selection
In : International Workshop on Argumentation in Multi-Agent Systems (ArgMAS 2006), Hakodate, Japan, 08/05/06-12/05/06, Springer-Verlag, LNAI, pp. 1-17, 2006.
Leila Amgoud, Nabil Hameurlain
A formal model for designing dialogue strategies
In : 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, pp. 414-416, May 2006.
Christophe Sibertin-Blanc, Nabil Hameurlain
Participation Components for Holding Roles in MultiAgents Systems Protocols
In : ESAW’04,Engineering Societies in the Agents World, Toulouse (France), 20/10/04-22/10/04, LNAI 3451, pp. 60-73, October 2004.
Nabil Hameurlain, Christophe Sibertin-Blanc
Formal Specification of role Components in Open Multi-agent Systems
In : Third International Workshop on Software Engineering for Large-Scale Multi-Agent Systems, SELMAS’04, Edinburgh, 23/05/04-24/05/04, LNCS vol 3390, pp. 180-197, May 2004.
URL : 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
In : 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, July 1999.
Nabil Hameurlain, Chihab Hanachi, Christophe Sibertin-Blanc
The Petri Net Approach to Build and Execute Missioned Mobile Agents
In : 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, ., June 1999.
Nabil Hameurlain, Christophe Sibertin-Blanc
Behavioural Types in CoOperative Objects
In : 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, June 1999.
Nabil Hameurlain, Chihab Hanachi
Cooperation between Manufacturing sites supported by a net of Information Agents
In : 2nd IMACS-IEEE International Multiconference, Computational Engineering in Systems Applications (CESA’98), Nabeul-Hammamet, Tunisia, 01/04/98-04/04/98, ., April 1998.
Nabil Hameurlain, Christophe Sibertin-Blanc
On the Reduction of the Reachability Graph for high Level Nets
In : Proceedings of the Twelfth International Symposium on Computer and Information System, ISCIS XII, Antalya, Turkey, 27/10/97, -, October 1997.
Behavioral Inheritance in Petri Nets
In : Colloquium on Formal Methods. Within APSEC’97 Conference, Macau, -, December 1997.
Nabil Hameurlain, Christophe Sibertin-Blanc
Finite Symbolic Reachability Graphs for High Level Petri Nets
In : IEEE Proceedings of the International Computer Science Conference ICSC’97, Hong Kong, 02/12/97, -, December 1997.
Réduction du graphe des marquages pour réseaux de Haut Niveau
In : Proceedings RenPar’8, Colloque Francophone sur le Parallélisme, Bordeaux, 20/01/96, -, January 1996.
Contrôle de l’exécution d’objects coopératifs dans l’environnement SYROCO
In : Contrôle Réparti dans les Applications Coopératives, CRAC’96, Paris, 30/05/96, -, May 1996.
Nabil Hameurlain, Christophe Sibertin-Blanc
Minimalité des graphes des marquages symboliques
In : FAC’95, Formalisation des Activités Concurrentes, Toulouse, 04/04/95, -, April 1995.
Christophe Sibertin-Blanc, Nabil Hameurlain, P Touzeau
SYROCO: A C++ Implementation of CoOperative Objects
In : 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, -, June 1995.
Nabil Hameurlain, Christophe Sibertin-Blanc
Graphes des marquages symboliques dans les réseaux de Petri à Objets
In : Le parallélisme à l’IRIT, Toulouse, 13/04/94.
Leila Amgoud, Nabil Hameurlain
An Argumentation-Based Approach for Dialogue Move Selection
In : 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, pp. 128-141, Vol. LNCS 4766, 2007.
L’héritage comportemental dans les réseaux de Petri
Master’s Thesis, Université des Sciences Sociales, March 1998.