Revenir à la page d'accueil
Plan du site   |   Plan d’accès   |   UTBM
  
Annuaire
    Équipe ECS
    Équipe ERCOS
    Équipe ICAP
Directeur du laboratoire
Responsables d'équipe
Secrétariat
Webmestre
Accueil > Nous contacter > Annuaire > Équipe ICAP > Vincent HILAIRE > Publications
Publications

Publications

2008

2007

2006

2005

  • Vincent Hilaire, Olivier Simonin, Abder Koukam, and Jacques Ferber. A formal framework to design and reuse agent and multiagent models. In James Odell, P. Giorgini, and Jorg Muller, editors, Agent Oriented Software Engineering, number 3382 in LNCS 3382. Springer, 2005.
  • Sebastian Rodriguez, Vincent Hilaire, and Abder Koukam. Multi-agent coordination is arbitration from a super-holon point of view. In proceedings of MA4CS’05, 2005.
  • Sebastian Rodriguez, Vincent Hilaire, and Abder Koukam. Formal specification of holonic multi-agent systems framework. In Vaidy S. Sunderam, Geert Dick van Albada, Peter M. A. Sllot, and Jack J. Dongarra, editors, Computational Science - ICCS 2005, number 3516 in Lecture Notes in Computer Science, pages 719 – 726. Springer, 2005.

2004

  • Jaroslaw Kozlak, Jean-Charles Creput, Vincent Hilaire, and Abder Koukam. Multi-agent environment for dynamic transport planning and scheduling. In Marian Bubak, Geert Dick van Albada, and et al. Peter M. A. Sloot, editors, Computational Science, number 3038 in Lecture Notes in Computer Science, pages 638 – 645. Springer Verlag, 2004.
  • P. Gruer, V. Hilaire, and Abder Koukam. Heterogeneous formal specification based on object-z and state charts : semantics and verification. Journal of Systems and Software, 70(1-2) :95–105, 2004.

2003

  • P. Gruer, V. Hilaire, J. Kozlak, and A. Koukam. A multi-agent approach to modeling and simulation of transport on demand problem, volume Artificial intelligence and security in computing systems, pages 119–126. Kluwer Academic Publishers, 2003.
  • Fatiha Tolba, Olivier Simonin, and V. Hilaire. A reactive macro control for mirosot robot soccers. In FIRA Robot World Congress Austria, 2003.
  • M. Bakhouya, S. Rodriguez, V. Hilaire, A. Koukam, and J. Gaber. Intelligent immune-based system for autonomous soccer robots. In FIRA Robot World Congress Austria, 2003.
  • Sebastian Rodriguez, Vincent Hilaire, and Abderrafiaa Koukam. Towards a methodological framework for holonic multi-agent systems. In Proceedings of the ESAW’03 workshop, pages 179–185, 2003.
  • A Koukam, B. Mazigh, P. Gruer, and V. Hilaire. A multiview approach to modeling and analysis of discrete event systems. System Analysis - Modelling - Simulation, 43(6) :721–740, 2003.
2002
  • P. Gruer, V. Hilaire, J. Kozlak, and Abder Koukam. Application of multi-agent simulations to solve a transport on demand problem. InNinth International Conference on Advanced Computer Systems, Sczeczin, 2002.
  • A. Berdai, P. Gruer, V. Hilaire, and A. Koukam. A multi-agent model for the estimation of passenger waiting time in public transportation networks. In 2nd WSEAS Int. Conf. on Simulation, Modelling and Optimization (ICOSMO 2002), 2002.
  • V. Hilaire, P. Gruer, A. Koukam, and A El Moudni. Engineering soccer robots behaviours. In 2002 FIRA Robot Congress, Seoul, 2002. KAIST Press.
  • S. Rodriguez and V. Hilaire. An architecture for multi-agent systems in the robot-soccer field. In Proceedings of the AgentDay’02 workshop, 2002.
  • V. Hilaire, A. Koukam, and P. Gruer. a multi-agent system featuring virtual character in play for theatre. In Proceedings of the AgentDay’02 workshop, 2002.
  • V. Hilaire, A. Koukam, and P. Gruer. A mechanism for dynamic role playing. In Agent Technologies, Infrastructures, Tools and Applications for E-Services, number 2592 in Lecture Notes in Artificial Intelligence. Springer Verlag, 2002.
  • P. Gruer, V. Hilaire, and Abder Koukam. approche multi-formalismes pour la spécification des systèmes multi-agents, volume Organisation et applications des SMA, chapter 1. Hermès, 2002.
  • P. Gruer, V. Hilaire, Abder Koukam, and Krzysztof Cetnarowicz. A formal framework for multi-agent systems analysis and design. Expert Systems with Applications, 23, December 2002.
2001
  • K. Cetnarowicz, P. Gruer, V. Hilaire, and A. Koukam. A formal specification of m-agent architecture. In 2nd International Workshop of Central and Eastern Europe on Multi-Agent Systems, Lecture Notes in Artificial Intelligence. Springer Verlag, 2001.
  • P. Gruer, V. Hilaire, A. Koukam, and S. Hayat. a methodology based on multiples views for multi-agent systems in simulation, application to the transportation domain. In 13th European Simulation Symposium, 2001.
  • P. Gruer, V. Hilaire, and Abder Koukam. Multi-agent approach to modeling and simulation of urban transportation systems. In IEEE Systems, Man, and Cybernetics Conference, 2001.
  • P. Gruer, V. Hilaire, Abder Koukam, and Krzysztof Cetnarowicz. A formal framework for multi-agent systems analysis and design. In Thirteenth International Conference on Software Engineering & Knowledge Engineering, 2001.
  • Vincent Hilaire, Abder Koukam, Pablo Gruer, and Jean-Pierre Müller. Formal specification and prototyping of multi-agent systems. In Andrea Omicini, Robert Tolksdorf, and Franco Zambonelli, editors, Engineering Societies in the Agents’ World, number 1972 in Lecture Notes in Artificial Intelligence. Springer Verlag, 2001.
2000
  • R. Campero, P. Gruer, V. Hilaire, and P. Rovarini. Modeling and simulation of agent-oriented systems : an approach based on object-z and the statecharts. In Christoph Urban, editor, Agent Based Simulation, 2000.
  • V. Hilaire, T. Lissajoux, A. Koukam, and J.C. Creput. A multi-agent approach to adaptive mesh generation. In Agent Based Simulation, 2000.
  • Vincent Hilaire, Abder Koukam, Pablo Gruer, and Jean-Pierre Müller. Vers une méthodologie formelle de spécification de systèmes multi-agents. In Journées Francophones IAD & SMA. Hermes, 2000.
  • Vincent Hilaire. Formal specification and prototyping of organizational based multi-agent systems. In International Conference on the Design of Cooperative Systems, Lecture Notes in Computer Science. Springer Verlag, 2000.
  • Pablo Gruer, Vincent Hilaire, and Abder Koukam. an Approach to the Verification of Multi-Agent Systems. In International Conference on Multi Agent Systems. IEEE Computer Society Press, 2000.
  • Pablo Gruer, Vincent Hilaire, and Abder Koukam. Verification of Object-Z Specifications by using Transition Systems. In T. S. E. Maibaum, editor, Fundamental Aspects of Software Engineering, number 1783 in Lecture Notes in Computer Science. Springer Verlag, 2000.
1999
  • Belhassene Mazigh, Abder Koukam, Vincent Hilaire, and Pablo Gruer. Combining multi-agents approach with high level petri nets for simulation of productive organizations. In IFAC Workshop on Multi Agent Systems in Production. IFAC, 1999.
  • Belhassene Mazigh, Vincent Hilaire, Pablo Gruer, and Abder Koukam. Agent oriented approach for modeling and simulation of productive organizations. In 10th DAAAM International Symposium «International Manufacturing & Automation : Past-Present-Future». DAAAM, 1999.
  • V. Hilaire, T. Lissajoux, and A. Koukam. Towards an executable specification of multi-agent systems. In Joaquim Filipe and José Cordeiro, editors, International Conference on Enterprise Information Systems’99. Kluwer Academic Publisher, 1999.
1998
  • T. Lissajoux, V. Hilaire, A. Koukam, and A. Caminada. Genetic Algorithms as Prototyping Tools for Multi-Agent Systems : Application to the Antenna Parameter Setting Problem. In S. Albayrak and F. J. Garijo, editors, Lecture Notes in Artificial Intelligence, number 1437 in LNAI. Springer Verlag, 1998.
  • V. Hilaire, T. Lissajoux, and A. Koukam. AgentCharts : An Operational Model For Multi-Agent Systems. In International Conference on Advanced Computer Systems ACS’98, 1998.


  90010 Belfort cedex - Tél : +33 (0)3 84 58 33 19 - Fax : +33 (0)3 84 58 33 42 - Mentions légales