Pablo Gruer

32 papers A 2B 4C 1Misc 1Journal 9Unranked 15
YearRankTypeTitle / Venue / Authors
2014 — conf
A self-adaptive agent-based path following control lateral regulation and obstacles avoidance.
HPCS
Baudouin Dafflon, Bofei Chen, Franck Gechter, Pablo Gruer
2013 — conf
A Layered Multi-Agent Model for Multi-Configuration Platoon Control.
ICINCO (1)
Baudouin Dafflon, Franck Gechter, Pablo Gruer, Abderrafiaa Koukam
2012 J jnl
Compositional verification for reactive multi-agent systems applied to platoon non collision verification.
Stud. Inform. Univ.
Madeleine El Zaher, Jean-Michel Contet, Pablo Gruer, Franck Gechter, Abderrafiaa Koukam
2012 B conf
Toward a Reactive Agent Based Parking Assistance System.
ICTAI
Baudouin Dafflon, Jean-Michel Contet, Franck Gechter, Pablo Gruer
2011 B conf
A New Linear Platoon Model Based on Reactive Multi-agent Systems.
ICTAI
Madeleine El Zaher, Franck Gechter, Pablo Gruer, Mohammad Hajjar
2011 — conf
A Reactive Agent Based Vehicle Platoon Algorithm with Integrated Obstacle Avoidance Ability.
SASO
Franck Gechter, Jean-Michel Contet, Pablo Gruer, Abderrafiaa Koukam
2011 — conf
Intelligent Crossroads for Vehicle Platoons Reconfiguration.
ICAIS
Baudouin Dafflon, Franck Gechter, Jean-Michel Contet, Abdeljalil Abbas-Turki, Pablo Gruer
2011 J jnl
Reactive multi-agent approach to local platoon control: stability analysis and experimentations.
Int. J. Intell. Syst. Technol. Appl.
Jean-Michel Contet, Franck Gechter, Pablo Gruer, Abderrafiaa Koukam
2010 Misc conf
Car-driving assistance using organization measurement of reactive multi-agent system.
ICCS
Franck Gechter, Jean-Michel Contet, Pablo Gruer, Abderrafiaa Koukam
2010 J jnl
Formal specification of an immune based agent architecture.
Eng. Appl. Artif. Intell.
Vincent Hilaire, Fabrice Lauri, Pablo Gruer, Abderrafiaa Koukam, Sebastian Rodriguez
2009 — conf
Bending Virtual Spring-Damper: A Solution to Improve Local Platoon Control.
ICCS (1)
Jean-Michel Contet, Franck Gechter, Pablo Gruer, Abderrafiaa Koukam
2009 — conf
Mécanisme décisionnel basé sur la mesure de l'organisation d'un SMA : application à l'évitement d'obstacles [présentation courte].
JFSMA
Jean-Michel Contet, Franck Gechter, Pablo Gruer
2008 A conf
Evaluation of global system state thanks to local phenomenona.
ECAI
Jean-Michel Contet, Franck Gechter, Pablo Gruer, Abder Koukam
2008 J jnl
Formal driven prototyping approach for multiagent systems.
Int. J. Agent Oriented Softw. Eng.
Vincent Hilaire, Pablo Gruer, Abderrafiaa Koukam, Olivier Simonin
2008 — conf
The Application of Reference-path Control to Vehicle Platoons.
ICINCO-RA (1)
Drago Matko, Gregor Klancar, Saso Blazic, Olivier Simonin, Franck Gechter, Jean-Michel Contet, Pablo Gruer
2007 J jnl
A Formal Holonic Framework with Proved Self-Organizing Capabilities.
Int. J. Cooperative Inf. Syst.
Sebastian Rodriguez, Vincent Hilaire, Pablo Gruer, Abder Koukam
2007 — conf
Application of Reactive Multiagent System to Linear Vehicle Platoon.
ICTAI (2)
Jean-Michel Contet, Franck Gechter, Pablo Gruer, Abderrafiaa Koukam
2007 J jnl
Formal Specification Approach of Role Dynamics in Agent Organisations: Application to the Satisfaction-Altruism Model.
Int. J. Softw. Eng. Knowl. Eng.
Vincent Hilaire, Pablo Gruer, Abder Koukam, Olivier Simonin
2007 A conf
Physics inspired multiagent system for vehicle platooning.
AAMAS
Jean-Michel Contet, Franck Gechter, Pablo Gruer, Abder Koukam
2004 J jnl
Heterogeneous formal specification based on Object-Z and statecharts: semantics and verification.
J. Syst. Softw.
Pablo Gruer, Vincent Hilaire, Abder Koukam, P. Rovarini
2002 — conf
A Mechanism for Dynamic Role Playing.
Agent Technologies, Infrastructures, Tools, and Applications for E-Services
Vincent Hilaire, Abder Koukam, Pablo Gruer
2002 J jnl
A formal framework for multi-agent systems analysis and design.
Expert Syst. Appl.
Pablo Gruer, Vincent Hilaire, Abder Koukam, Krzysztof Cetnarowicz
2001 C conf
A Formal Framework for Multi-Agent Systems Analysis and Design.
SEKE
Pablo Gruer, Vincent Hilaire, Abder Koukam, Krzysztof Cetnarowicz
2001 — conf
A Formal Specification of M-Agent Architecture.
CEEMAS
Krzysztof Cetnarowicz, Pablo Gruer, Vincent Hilaire, Abder Koukam
2001 B conf
Multi-agent approach to modeling and simulation of urban transportation systems.
SMC
Pablo Gruer, Vincent Hilaire, A. Koukarn
2000 — conf
Formal Specification and Prototyping of Multi-agent Systems.
ESAW
Vincent Hilaire, Abder Koukam, Pablo Gruer, Jean-Pierre Müller
2000 — conf
Towards Verification of Multi-Agent Systems.
ICMAS
Pablo Gruer, Vincent Hilaire, Abder Koukam
2000 B conf
Verification of Object-Z Specifications by Using Transition Systems: Application to the Radiomobile Network Design Problem.
FASE
Pablo Gruer, Vincent Hilaire, Abder Koukam
2000 — conf
Vers une méthodologie formelle de spécification de Systèmes Multi-Agents.
JFIADSMA
Vincent Hilaire, Abder Koukam, Pablo Gruer, Jean-Pierre Müller
1998 — conf
An Extended Statecharts Approach for the Modeling and Analysis of Discrete Event Systems: The Case of Manufacturing Systems.
ESM
Belhassen Mazigh, Pablo Gruer, Abder Koukam
1998 J jnl
Modeling and quantitative analysis of discrete event systems: A statecharts based approach.
Simul. Pract. Theory
Pablo Gruer, Abder Koukam, Belhassen Mazigh
1996 — conf
An Optimization Approach of Complex Discrete Event Systems.
ESM
Belhassen Mazigh, Pablo Gruer, Abder Koukam