2008 |
29 | EE | Massimo Cossentino,
Salvatore Gaglio,
Stéphane Galland,
Nicolas Gaud,
Vincent Hilaire,
Abderrafiaa Koukam,
Valeria Seidita:
A MAS Metamodel-Driven Approach to Process Fragments Selection.
AOSE 2008: 86-100 |
28 | EE | Ye Yao,
Vincent Hilaire,
Abder Koukam,
Wandong Cai:
A RIO Approach for Modeling Wireless Sensor Network.
ICYCS 2008: 481-486 |
27 | EE | Vincent Hilaire,
Pablo Gruer,
Abderrafiaa Koukam,
Olivier Simonin:
Formal driven prototyping approach for multiagent systems.
IJAOSE 2(2): 246-266 (2008) |
26 | EE | Nicolas Gaud,
Stéphane Galland,
Franck Gechter,
Vincent Hilaire,
Abderrafiaa Koukam:
Holonic multilevel simulation of complex systems: Application to real-time pedestrians simulation in virtual urban environment.
Simulation Modelling Practice and Theory 16(10): 1659-1676 (2008) |
25 | EE | Vincent Hilaire,
Abder Koukam,
Sebastian Rodriguez:
An adaptative agent architecture for holonic multi-agent systems.
TAAS 3(1): (2008) |
2007 |
24 | EE | Massimo Cossentino,
Nicolas Gaud,
Stéphane Galland,
Vincent Hilaire,
Abder Koukam:
A Holonic Metamodel for Agent-Oriented Analysis and Design.
HoloMAS 2007: 237-246 |
23 | EE | Davy Monticolo,
Vincent Hilaire,
Abder Koukam,
Samuel Gomes:
A multi agent model to support the knowledge management process inside professional activities.
ICDIM 2007: 799-804 |
22 | EE | Sebastian Rodriguez,
Vincent Hilaire,
Pablo Gruer,
Abder Koukam:
A Formal Holonic Framework with Proved Self-Organizing Capabilities.
Int. J. Cooperative Inf. Syst. 16(1): 7-25 (2007) |
21 | EE | Vincent Hilaire,
Pablo Gruer,
Abder Koukam,
Olivier Simonin:
Formal Specification Approach of Role Dynamics in Agent Organisations: Application to the Satisfaction-Altruism Model.
International Journal of Software Engineering and Knowledge Engineering 17(5): 615-641 (2007) |
20 | EE | Sebastian Rodriguez,
Vincent Hilaire,
Abderrafiaa Koukam:
Towards a holonic multiple aspect analysis and modeling approach for complex systems: Application to the simulation of industrial plants.
Simulation Modelling Practice and Theory 15(5): 521-543 (2007) |
2006 |
19 | EE | Sebastian Rodriguez,
Nicolas Gaud,
Vincent Hilaire,
Stéphane Galland,
Abderrafiaa Koukam:
An Analysis and Design Concept for Self-organization in Holonic Multi-agent Systems.
ESOA 2006: 15-27 |
18 | EE | Sebastian Rodriguez,
Nicolas Gaud,
Vincent Hilaire,
Abder Koukam:
Modeling Holonic Systems with an Organizational approach.
EUMAS 2006 |
17 | | Davy Monticolo,
Vincent Hilaire,
Abder Koukam,
Sébastian Meunier:
An Approach for Building Project Memories to Facilitate Design Process in a Concurrent Engineering Context.
ISPE CE 2006: 279-287 |
16 | EE | Sebastian Rodriguez,
Vincent Hilaire,
Abder Koukam:
A Holonic Approach to Model and Deploy Large Scale Simulations.
MABS 2006: 112-127 |
15 | EE | Jaroslaw Kozlak,
Jean-Charles Créput,
Vincent Hilaire,
Abder Koukam:
Multi-agent Approach to Dynamic Pick-up and Delivery Problem with Uncertain Knowledge about Future Transport Demands.
Fundam. Inform. 71(1): 27-36 (2006) |
2005 |
14 | EE | Sebastian Rodriguez,
Vincent Hilaire,
Abder Koukam:
Holonic Modeling of Environments for Situated Multi-agent Systems.
E4MAS 2005: 18-31 |
13 | EE | Sebastian Rodriguez,
Vincent Hilaire,
Abder Koukam:
Formal Specification of Holonic Multi-Agent Systems Framework.
International Conference on Computational Science (3) 2005: 719-726 |
2004 |
12 | EE | Vincent Hilaire,
Olivier Simonin,
Abder Koukam,
Jacques Ferber:
A Formal Approach to Design and Reuse Agent and Multiagent Models.
AOSE 2004: 142-157 |
11 | EE | Jaroslaw Kozlak,
Jean-Charles Créput,
Vincent Hilaire,
Abder Koukam:
Multi-agent Environment for Dynamic Transport Planning and Scheduling.
International Conference on Computational Science 2004: 638-645 |
10 | EE | Pablo Gruer,
Vincent Hilaire,
Abder Koukam,
P. Rovarini:
Heterogeneous formal specification based on Object-Z and statecharts: semantics and verification.
Journal of Systems and Software 70(1-2): 95-105 (2004) |
2002 |
9 | EE | Vincent Hilaire,
Abder Koukam,
Pablo Gruer:
A Mechanism for Dynamic Role Playing.
Agent Technologies, Infrastructures, Tools, and Applications for E-Services 2002: 36-48 |
8 | EE | Pablo Gruer,
Vincent Hilaire,
Abder Koukam,
Krzysztof Cetnarowicz:
A formal framework for multi-agent systems analysis and design.
Expert Syst. Appl. 23(4): 349-355 (2002) |
2001 |
7 | EE | Krzysztof Cetnarowicz,
Pablo Gruer,
Vincent Hilaire,
Abder Koukam:
A Formal Specification of M-Agent Architecture.
CEEMAS 2001: 62-72 |
6 | | Pablo Gruer,
Vincent Hilaire,
Abder Koukam,
Krzysztof Cetnarowicz:
A Formal Framework for Multi-Agent Systems Analysis and Design.
SEKE 2001: 276-282 |
2000 |
5 | EE | Vincent Hilaire,
Abder Koukam,
Pablo Gruer,
Jean-Pierre Müller:
Formal Specification and Prototyping of Multi-agent Systems.
ESAW 2000: 114-127 |
4 | EE | Pablo Gruer,
Vincent Hilaire,
Abder Koukam:
Verification of Object-Z Specifications by Using Transition Systems: Application to the Radiomobile Network Design Problem.
FASE 2000: 222-236 |
3 | EE | Pablo Gruer,
Vincent Hilaire,
Abder Koukam:
Towards Verification of Multi-Agent Systems.
ICMAS 2000: 393-394 |
1999 |
2 | | Vincent Hilaire,
Thomas Lissajoux,
Abder Koukam:
Towards an Executable Specification of Multi-Agent Systems.
ICEIS 1999: 232-239 |
1998 |
1 | EE | Thomas Lissajoux,
Vincent Hilaire,
Abder Koukam,
Alexandre Caminada:
Genetic Algorithms as Prototyping Tools for Multi-Agent Systems: Application to the Antenna Parameter Setting Problem.
IATA 1998: 17-28 |