, Mission programming : Application to the distribution of empty vehicles in the praxitele project, 4th IEEE Meditarrean Symposium on New Directions in Control and Automation (MCSA), Crete (GR), 1996.
, Using B as a High Level Programming Language in an Industrial Project: Roissy VAL, ZB 2005: Formal Specification and Development in Z and B, 4th Int. Conf. of B and Z Users, pp.334-354, 2005.
DOI : 10.1007/11415787_20
, Formalization of a spatialized multi-agent system using coloured petri nets for the study of a hunting management system, FAABS, pp.123-132, 2000.
, Event-B Patterns for Specifying Fault-Tolerance in Multi-agent Interaction, Workshop on Methods, Models and Tools for Fault Tolerance, pp.4-13, 2007.
DOI : 10.1007/978-3-540-30566-8_18
, M??t??or: A Successful Application of B in a Large Project, Integrated Formal Methods, IFM'99, pp.369-387, 1999.
DOI : 10.1007/3-540-48119-2_22
, Adaptable Translator of B Specifications to Embedded C Programs, Integrated Formal Method, IFM'03, pp.94-113, 2003.
DOI : 10.1007/978-3-540-45236-2_7
, Principles of component-based design of intelligent agents, Data & Knowledge Engineering, vol.41, issue.1, pp.1-27, 2002.
DOI : 10.1016/S0169-023X(01)00058-1
, Longitudinal and lateral servoing of vehicles in a platoon, Proceedings of Conference on Intelligent Vehicles, pp.41-46, 1996.
DOI : 10.1109/IVS.1996.566349
, Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence, 1999.
, Influences and reaction : a model of situated multiagent systems, 2nd Int. Conf. on Multi-agent Systems, pp.72-79, 1996.
, Modeling dynamic environments in multi-agent simulation, Autonomous Agents and Multi-Agent Systems, vol.17, issue.4, pp.1-27, 2007.
DOI : 10.1007/s10458-006-0014-y
URL : https://hal.archives-ouvertes.fr/lirmm-00388768
, FORMAL SPECIFICATION APPROACH OF ROLE DYNAMICS IN AGENT ORGANISATIONS: APPLICATION TO THE SATISFACTION-ALTRUISM MODEL, International Journal of Software Engineering and Knowledge Engineering, vol.17, issue.05, 2006.
DOI : 10.1142/S0218194007003392
, COMPOSITIONAL VERIFICATION OF MULTI-AGENT SYSTEMS: A FORMAL ANALYSIS OF PRO-ACTIVENESS AND REACTIVENESS, International Journal of Cooperative Information Systems, vol.11, issue.01n02, pp.350-380, 1998.
DOI : 10.1142/S0218843002000480
, A formal approach in the implementation of a safety system for automatic control of platform doors, 4th AFIS Conference on System Engineering, 2006.
, Mcmas: a tool for verifying multi-agent systems. In 12th int. conf. on tools and algorithms for the construction and analysis of system, LNCS, vol.3920, 2006.
, Applications of model checking for multi-agent systems: verification of diagnosability and recoverability, Concurrencey Specification and Programming, 2005.
, Specification and verification of multi-agent applications using temporal Z, Proceedings. IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2004. (IAT 2004)., pp.260-266, 2004.
DOI : 10.1109/IAT.2004.1342953
, The ORCCAD architecture, International Journal of Robotics Research, vol.17, issue.4, pp.338-359, 1998.
, A methodology for agent-oriented analysis and design, Proceedings of the third annual conference on Autonomous Agents , AGENTS '99, pp.69-76, 1999.
DOI : 10.1145/301136.301165
, Technopôle de Nancy-Brabois -Campus scientifique 615, rue du Jardin Botanique -BP 101 -54602 Villers-l` es-Nancy Cedex (France) Unité de recherche INRIA Futurs : Parc Club Orsay Université -ZAC des Vignes 4
, IRISA, Campus universitaire de Beaulieu -35042 Rennes Cedex (France) Unité de recherche INRIA Rhône-Alpes : 655, avenue de l'Europe -38334 Montbonnot Saint-Ismier (France) Unité de recherche INRIA Rocquencourt : Domaine de Voluceau -Rocquencourt -BP 105 -78153 Le Chesnay Cedex (France) Unité de recherche, 2004.
, BP 105 -78153 Le Chesnay Cedex (France) http://www.inria.fr ISSN, pp.249-6399