An Optimization Approach of Complex Discrete Event Systems. - Belhassen Mazigh; Pablo Gruer; Abder Koukam (ESM, 1996)

An Extended Statecharts Approach for the Modeling and Analysis of Discrete Event Systems: The Case of Manufacturing Systems. - Belhassen Mazigh; Pablo Gruer; Abder Koukam (ESM, 1998)

Modeling and quantitative analysis of discrete event systems: A statecharts based approach. - Pablo Gruer; Abder Koukam; Belhassen Mazigh (Simul. Pract. Theory, 1998)

Formal Specification and Prototyping of Multi-agent Systems. - Vincent Hilaire; Abder Koukam; Pablo Gruer; Jean-Pierre Müller (ESAW, 2000)

Verification of Object-Z Specifications by Using Transition Systems: Application to the Radiomobile Network Design Problem. - Pablo Gruer; Vincent Hilaire; Abder Koukam (FASE, 2000)

Towards Verification of Multi-Agent Systems. - Pablo Gruer; Vincent Hilaire; Abder Koukam (ICMAS, 2000)

Vers une méthodologie formelle de spécification de Systèmes Multi-Agents. - Vincent Hilaire; Abder Koukam; Pablo Gruer; Jean-Pierre Müller (JFIADSMA, 2000)

A Formal Specification of M-Agent Architecture. - Krzysztof Cetnarowicz; Pablo Gruer; Vincent Hilaire; Abder Koukam (CEEMAS, 2001)

Multi-agent approach to modeling and simulation of urban transportation systems. - Pablo Gruer; Vincent Hilaire; A. Koukarn (SMC, 2001)

A Mechanism for Dynamic Role Playing. - Vincent Hilaire; Abder Koukam; Pablo Gruer (Agent Technologies, Infrastructures, Tools, and Applications for E-Services, 2002)

A formal framework for multi-agent systems analysis and design. - Pablo Gruer; Vincent Hilaire; Abder Koukam; Krzysztof Cetnarowicz (Expert Syst. Appl., 2002)

Heterogeneous formal specification based on Object-Z and statecharts: semantics and verification. - Pablo Gruer; Vincent Hilaire; Abder Koukam; P. Rovarini (J. Syst. Softw., 2004)

Physics inspired multiagent system for vehicle platooning. - Jean-Michel Contet; Franck Gechter; Pablo Gruer; Abder Koukam (AAMAS, 2007)

Application of Reactive Multiagent System to Linear Vehicle Platoon. - Jean-Michel Contet; Franck Gechter; Pablo Gruer; Abderrafiaa Koukam (ICTAI (2), 2007)

A Formal Holonic Framework with Proved Self-Organizing Capabilities. - Sebastian Rodriguez; Vincent Hilaire; Pablo Gruer; Abder Koukam (Int. J. Cooperative Inf. Syst., 2007)

Formal Specification Approach of Role Dynamics in Agent Organisations: Application to the Satisfaction-Altruism Model. - Vincent Hilaire; Pablo Gruer; Abder Koukam; Olivier Simonin 001 (Int. J. Softw. Eng. Knowl. Eng., 2007)

Evaluation of global system state thanks to local phenomenona. - Jean-Michel Contet; Franck Gechter; Pablo Gruer; Abder Koukam (ECAI, 2008)

The Application of Reference-path Control to Vehicle Platoons. - Drago Matko; Gregor Klancar; Saso Blazic; Olivier Simonin 001; Franck Gechter; Jean-Michel Contet; Pablo Gruer (ICINCO-RA (1), 2008)

Formal driven prototyping approach for multiagent systems. - Vincent Hilaire; Pablo Gruer; Abderrafiaa Koukam; Olivier Simonin 001 (Int. J. Agent Oriented Softw. Eng., 2008)

Bending Virtual Spring-Damper: A Solution to Improve Local Platoon Control. - Jean-Michel Contet; Franck Gechter; Pablo Gruer; Abderrafiaa Koukam (ICCS (1), 2009)

Mécanisme décisionnel basé sur la mesure de l'organisation d'un SMA : application à l'évitement d'obstacles [présentation courte]. - Jean-Michel Contet; Franck Gechter; Pablo Gruer (JFSMA, 2009)

Formal specification of an immune based agent architecture. - Vincent Hilaire; Fabrice Lauri; Pablo Gruer; Abderrafiaa Koukam; Sebastian Rodriguez (Eng. Appl. Artif. Intell., 2010)

Car-driving assistance using organization measurement of reactive multi-agent system. - Franck Gechter; Jean-Michel Contet; Pablo Gruer; Abderrafiaa Koukam (ICCS, 2010)

Intelligent Crossroads for Vehicle Platoons Reconfiguration. - Baudouin Dafflon; Franck Gechter; Jean-Michel Contet; Abdeljalil Abbas-Turki; Pablo Gruer (ICAIS, 2011)

A New Linear Platoon Model Based on Reactive Multi-agent Systems. - Madeleine El-Zaher; Franck Gechter; Pablo Gruer; Mohammad Hajjar (ICTAI, 2011)

A Reactive Agent Based Vehicle Platoon Algorithm with Integrated Obstacle Avoidance Ability. - Franck Gechter; Jean-Michel Contet; Pablo Gruer; Abderrafiaa Koukam (SASO, 2011)

Reactive multi-agent approach to local platoon control: stability analysis and experimentations. - Jean-Michel Contet; Franck Gechter; Pablo Gruer; Abderrafiaa Koukam (Int. J. Intell. Syst. Technol. Appl., 2011)

Toward a Reactive Agent Based Parking Assistance System. - Baudouin Dafflon; Jean-Michel Contet; Franck Gechter; Pablo Gruer (ICTAI, 2012)

Compositional verification for reactive multi-agent systems applied to platoon non collision verification. - Madeleine El-Zaher; Jean-Michel Contet; Pablo Gruer; Franck Gechter; Abderrafiaa Koukam (Stud. Inform. Univ., 2012)

A Layered Multi-Agent Model for Multi-Configuration Platoon Control. - Baudouin Dafflon; Franck Gechter; Pablo Gruer; Abderrafiaa Koukam (ICINCO (1), 2013)

A self-adaptive agent-based path following control lateral regulation and obstacles avoidance. - Baudouin Dafflon; Bofei Chen; Franck Gechter; Pablo Gruer (HPCS, 2014)