Pablo Gruer

According to our database1, Pablo Gruer authored at least 31 papers between 1996 and 2014.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2014
A self-adaptive agent-based path following control lateral regulation and obstacles avoidance.
Proceedings of the International Conference on High Performance Computing & Simulation, 2014

2013
A Layered Multi-Agent Model for Multi-Configuration Platoon Control.
Proceedings of the ICINCO 2013 - Proceedings of the 10th International Conference on Informatics in Control, Automation and Robotics, Volume 1, Reykjavík, Iceland, 29, 2013

2012
Compositional verification for reactive multi-agent systems applied to platoon non collision verification.
Stud. Inform. Univ., 2012

Toward a Reactive Agent Based Parking Assistance System.
Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

2011
Reactive multi-agent approach to local platoon control: stability analysis and experimentations.
Int. J. Intell. Syst. Technol. Appl., 2011

A Reactive Agent Based Vehicle Platoon Algorithm with Integrated Obstacle Avoidance Ability.
Proceedings of the 5th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2011

A New Linear Platoon Model Based on Reactive Multi-agent Systems.
Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011

Intelligent Crossroads for Vehicle Platoons Reconfiguration.
Proceedings of the Adaptive and Intelligent Systems - Second International Conference, 2011

2010
Car-driving assistance using organization measurement of reactive multi-agent system.
Proceedings of the International Conference on Computational Science, 2010

Formal specification of an immune based agent architecture.
Eng. Appl. Artif. Intell., 2010

2009
Mécanisme décisionnel basé sur la mesure de l'organisation d'un SMA : application à l'évitement d'obstacles [présentation courte].
Proceedings of the Systèmes Multi-Agents, Génie logiciel multi-agents - JFSMA 09, 2009

Bending Virtual Spring-Damper: A Solution to Improve Local Platoon Control.
Proceedings of the Computational Science, 2009

2008
Formal driven prototyping approach for multiagent systems.
Int. J. Agent Oriented Softw. Eng., 2008

The Application of Reference-path Control to Vehicle Platoons.
Proceedings of the ICINCO 2008, 2008

Evaluation of global system state thanks to local phenomenona.
Proceedings of the ECAI 2008, 2008

2007
Formal Specification Approach of Role Dynamics in Agent Organisations: Application to the Satisfaction-Altruism Model.
Int. J. Softw. Eng. Knowl. Eng., 2007

A Formal Holonic Framework with Proved Self-Organizing Capabilities.
Int. J. Cooperative Inf. Syst., 2007

Application of Reactive Multiagent System to Linear Vehicle Platoon.
Proceedings of the 19th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2007), 2007

Physics inspired multiagent system for vehicle platooning.
Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

2004
Heterogeneous formal specification based on Object-Z and statecharts: semantics and verification.
J. Syst. Softw., 2004

2002
A formal framework for multi-agent systems analysis and design.
Expert Syst. Appl., 2002

A Mechanism for Dynamic Role Playing.
Proceedings of the Agent Technologies, 2002

2001
Multi-agent approach to modeling and simulation of urban transportation systems.
Proceedings of the IEEE International Conference on Systems, 2001

A Formal Specification of M-Agent Architecture.
Proceedings of the From Theory to Practice in Multi-Agent Systems, 2001

2000
Vers une méthodologie formelle de spécification de Systèmes Multi-Agents.
Proceedings of the Systèmes multi-agents : Méthodologie, technologie et expériences - JFIADSMA 00, 2000

Towards Verification of Multi-Agent Systems.
Proceedings of the 4th International Conference on Multi-Agent Systems, 2000

Verification of Object-Z Specifications by Using Transition Systems: Application to the Radiomobile Network Design Problem.
Proceedings of the Fundamental Approaches to Software Engineering, 2000

Formal Specification and Prototyping of Multi-agent Systems.
Proceedings of the Engineering Societies in the Agent World, First International Workshop, 2000

1998
Modeling and quantitative analysis of discrete event systems: A statecharts based approach.
Simul. Pract. Theory, 1998

An Extended Statecharts Approach for the Modeling and Analysis of Discrete Event Systems: The Case of Manufacturing Systems.
Proceedings of the 12<sup>th</sup> European Simulation Multiconference - Simulation, 1998

1996
An Optimization Approach of Complex Discrete Event Systems.
Proceedings of the Modelling and Simulation, 1996


  Loading...