Get started
Author

Pablo Gruer

Formal Specification and Prototyping of Multi-agent Systems
2000 · Vincent Hilaire, Abder Koukam, et al. · Lecture notes in computer science · 105
A formal framework for multi-agent systems analysis and design
2002 · Pablo Gruer, Vincent Hilaire, et al. · Expert Systems with Applications · 48
Vehicle platoon and obstacle avoidance: a reactive agent approach
2013 · Baudouin Dafflon, Franck Gechter, et al. · IET Intelligent Transport Systems · 29
Car-driving assistance using organization measurement of reactive multi-agent system
2010 · Franck Gechter, Jean-Michel Contet, et al. · Procedia Computer Science · 25
Application of Reactive Multiagent System to Linear Vehicle Platoon
2007 · Jean-Michel Contet, Franck Gechter, et al. · IEEE International Conference on Tools with Artificial Intelligence (ICTAI) · 25
A New Linear Platoon Model Based on Reactive Multi-agent Systems
2011 · Madeleine El-Zaher, Franck Gechter, et al. · IEEE International Conference on Tools with Artificial Intelligence (ICTAI) · 24
Multi-agent approach to modeling and simulation of urban transportation systems
2002 · P. Gruer, V. Hilaire, et al. · Conference proceedings/Conference proceedings - IEEE International Conference on Systems, Man, and Cybernetics · 23
Reactive multi-agent approach to local platoon control: stability analysis and experimentations
2011 · Jean Michel Contet, Franck Gechter, et al. · International Journal of Intelligent Systems Technologies and Applications · 22
Bending Virtual Spring-Damper: A Solution to Improve Local Platoon Control
2009 · Jean-Michel Contet, Franck Gechter, et al. · Lecture notes in computer science · 19
A Mechanism for Dynamic Role Playing
2003 · V. Hilaire, A. Koukam, et al. · Lecture notes in computer science · 15
Towards a Hybrid Real/Virtual Simulation of Autonomous Vehicles for Critical Scenarios
2014 · Franck Gechter, Baudouin Dafflon, et al. · 14
Compositional verification for reactive multi-agent systems applied to platoon non collision verification.
2012 · Madeleine El Zaher, Jean-Michel Contet, et al. · Studia informatica universalis · 13
Formal driven prototyping approach for multiagent systems
2008 · Vincent Hilaire, Pablo Gruer, et al. · International Journal of Agent-Oriented Software Engineering · 13
Formal Specification Approach of Role Dynamics in Agent Organisations: Application to the Satisfaction-altruism Model
2007 · VINCENT HILAIRE, PABLO GRUER, et al. · International Journal of Software Engineering and Knowledge Engineering · 13
Physics inspired multiagent system for vehicle platooning
2007 · Contet Jean-Michel, Gechter Franck, et al. · Adaptive Agents and Multi-Agents Systems · 13
A Reactive Agent Based Vehicle Platoon Algorithm with Integrated Obstacle Avoidance Ability
2011 · Franck Gechter, Jean-Michel Contet, et al. · IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO) · 12
Toward a Reactive Agent Based Parking Assistance System
2012 · Baudouin Dafflon, Jean-Michel Contet, et al. · IEEE International Conference on Tools with Artificial Intelligence (ICTAI) · 11
Intelligent Crossroads for Vehicle Platoons Reconfiguration
2011 · Baudouin Dafflon, Franck Gechter, et al. · Lecture notes in computer science · 10
A Formal Specification of M-Agent Architecture
2002 · Krzysztof Cetnarowicz, Pablo Gruer, et al. · Lecture notes in computer science · 10
Modeling and quantitative analysis of discrete event systems: A statecharts based approach
1998 · P. Gruer, A. Koukam, et al. · Simulation Practice and Theory · 10
A Formal Holonic Framework With Proved Self-organizing Capabilities
2007 · SEBASTIAN RODRIGUEZ, VINCENT HILAIRE, et al. · International Journal of Cooperative Information Systems · 8
An interaction model for a local approach to vehicle platoons
2016 · Madeleine El Zaher, Franck Gechter, et al. · International Journal of Vehicle Autonomous Systems · 7
A self-adaptive agent-based path following control lateral regulation and obstacles avoidance
2014 · Baudouin Dafflon, Bofei Chen, et al. · International Conference on High Performance Computing & Simulation (HPCS) · 7
Verification of Object-Z Specifications by Using Transition Systems: Application to the Radiomobile Network Design Problem
2000 · Pablo Gruer, Vincent Hilaire, et al. · Lecture notes in computer science · 5
PDF
A Layered Multi-Agent Model for Multi-Configuration Platoon Control
2013 · Baudouin Dafflon, Franck Gechter, et al. · International Conference on Informatics in Control, Automation and Robotics (ICINCO) · 4
Works count: 54
Citation count: 514
H-index: 13
I10-index: 20
Year
Topic
Type