 | 2011 |
| 25 |  | Baudouin Dafflon,
Franck Gechter,
Jean-Michel Contet,
Abdeljalil Abbas-Turki,
Pablo Gruer:
Intelligent Crossroads for Vehicle Platoons Reconfiguration.
ICAIS 2011: 203-214 |
| 24 |  | Madeleine El-Zaher,
Franck Gechter,
Pablo Gruer,
Mohammad Hajjar:
A New Linear Platoon Model Based on Reactive Multi-agent Systems.
ICTAI 2011: 898-899 |
| 23 |  | Franck Gechter,
Jean-Michel Contet,
Pablo Gruer,
Abderrafiaa Koukam:
A Reactive Agent Based Vehicle Platoon Algorithm with Integrated Obstacle Avoidance Ability.
SASO 2011: 129-137 |
| 22 |  | Jean-Michel Contet,
Franck Gechter,
Pablo Gruer,
Abderrafiaa Koukam:
Reactive multi-agent approach to local platoon control: stability analysis and experimentations.
IJISTA 10(3): 231-249 (2011) |
| 2010 |
| 21 |  | Vincent Hilaire,
Fabrice Lauri,
Pablo Gruer,
Abderrafiaa Koukam,
Sebastian Rodriguez:
Formal specification of an immune based agent architecture.
Eng. Appl. of AI 23(4): 505-513 (2010) |
| 20 |  | Franck Gechter,
Jean-Michel Contet,
Pablo Gruer,
Abderrafiaa Koukam:
Car-driving assistance using organization measurement of reactive multi-agent system.
Procedia CS 1(1): 317-325 (2010) |
| 2009 |
| 19 |  | Jean-Michel Contet,
Franck Gechter,
Pablo Gruer,
Abderrafiaa Koukam:
Bending Virtual Spring-Damper: A Solution to Improve Local Platoon Control.
ICCS (1) 2009: 601-610 |
| 18 |  | Jean-Michel Contet,
Franck Gechter,
Pablo Gruer:
Mécanisme décisionnel basé sur la mesure de l'organisation d'un SMA : application à l'évitement d'obstacles [présentation courte].
JFSMA 2009: 99-108 |
| 2008 |
| 17 |  | Jean-Michel Contet,
Franck Gechter,
Pablo Gruer,
Abder Koukam:
Evaluation of global system state thanks to local phenomenona.
ECAI 2008: 865-866 |
| 16 |  | Drago Matko,
Gregor Klancar,
Saso Blazic,
Olivier Simonin,
Franck Gechter,
Jean-Michel Contet,
Pablo Gruer:
The Application of Reference-path Control to Vehicle Platoons.
ICINCO-RA (1) 2008: 145-150 |
| 15 |  | Vincent Hilaire,
Pablo Gruer,
Abderrafiaa Koukam,
Olivier Simonin:
Formal driven prototyping approach for multiagent systems.
IJAOSE 2(2): 246-266 (2008) |
| 2007 |
| 14 |  | Jean-Michel Contet,
Franck Gechter,
Pablo Gruer,
Abder Koukam:
Physics inspired multiagent system for vehicle platooning.
AAMAS 2007: 184 |
| 13 |  | Jean-Michel Contet,
Franck Gechter,
Pablo Gruer,
Abderrafiaa Koukam:
Application of Reactive Multiagent System to Linear Vehicle Platoon.
ICTAI (2) 2007: 67-70 |
| 12 |  | 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) |
| 11 |  | 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) |
| 2004 |
| 10 |  | 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 |  | 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 |  | 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 |  | 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 |  | Vincent Hilaire,
Abder Koukam,
Pablo Gruer,
Jean-Pierre Müller:
Formal Specification and Prototyping of Multi-agent Systems.
ESAW 2000: 114-127 |
| 4 |  | 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 |  | Pablo Gruer,
Vincent Hilaire,
Abder Koukam:
Towards Verification of Multi-Agent Systems.
ICMAS 2000: 393-394 |
| 1998 |
| 2 |  | Belhassen Mazigh,
Pablo Gruer,
Abder Koukam:
An Extended Statecharts Approach for the Modeling and Analysis of Discrete Event Systems: The Case of Manufacturing Systems.
ESM 1998: 656-660 |
| 1 |  | Pablo Gruer,
Abder Koukam,
Belhassen Mazigh:
Modeling and quantitative analysis of discrete event systems: A statecharts based approach.
Simul. Pr. Theory 6(4): 397-411 (1998) |