Pablo Gruer
According to our database1,
Pablo Gruer
authored at least 31 papers
between 1996 and 2014.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
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
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
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
Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011
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
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
Proceedings of the Computational Science, 2009
2008
Int. J. Agent Oriented Softw. Eng., 2008
The Application of Reference-path Control to Vehicle Platoons.
Proceedings of the ICINCO 2008, 2008
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
Int. J. Cooperative Inf. Syst., 2007
Proceedings of the 19th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2007), 2007
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
Expert Syst. Appl., 2002
2001
Proceedings of the IEEE International Conference on Systems, 2001
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
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
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