Pablo GRUER - ![]() ![]() ![]() ![]() | ![]() CV: PDF LaTeX h-index: 8 |
Publications
International journal with reading committee | International conference with proceedings | National conference with proceedings | National conference without proceedings | Book chapter |
---|---|---|---|---|
13 | 29 | 3 | 1 | 1 |
For 2014-2019: | ||||
1 | 3 | 0 | 0 | 0 |
2016
- An Interaction Model for a Local Approach to Vehicle Platoons
Madeleine EL ZAHER, Franck GECHTER, Pablo GRUER, and Mohamed HAJJAM.
In International Journal of Vehicle Autonomous Systems, vol. 13(2), Inderscience, ranked Q4 (Scimago), 2016.
DOI: 10.1504/IJVAS.2016.078760.
ISSN: 1471-0226.
2015
- An Agent Based Layered Decision Process for Vehicle Platoon Control.
Baudouin DAFFLON, Franck GECHTER, Pablo GRUER, and Abderrafiaa KOUKAM.
In Proc. of Lecture Notes in Electrical Engineering, 2015.
2014
- A Self-Adaptive Agent-Based Path Following Control Lateral Regulation and Obstacles Avoidance
Baudouin DAFFLON, Chen BOFEI, Franck GECHTER, and Pablo GRUER.
In Proc. of International Workshop on Autonomic High Performance Computing, 2014.
- Towards a Hybrid Real/virtual Simulation of Autonomous Vehicles for Critical Scenarios.
Franck GECHTER, Baudouin DAFFLON, Pablo GRUER, and Abderrafiaa KOUKAM.
In Proc. of The Sixth International Conference on Advances in System Simulation (SIMUL 2014), 2014.
2013
-
A Layered Multi-Agent Model for Multi-Configuration Platoon Control
Baudouin DAFFLON, Franck GECHTER, Pablo GRUER, and Abderrafiaa KOUKAM.
In Proc. of International Conference on Informatics in Control, Automation and Robotics (ICINCO), 2013.
- Safeplatoon: sûreté de convois de véhicules autonomes
Lounis ADOUANE, Romuald AUFRÈRE, Pierre AVANZINI, Guillaume BRESSON, Roland CHAPUIS, Jean-Pierre DERUTIN, Eric ROYER, Benoit THUILOT, M VITA VENTURA, Baudouin DAFFLON, Madeleine EL ZAHER, Franck GECHTER, Maxime GUERIAU, Pablo GRUER, Abderrafiaa KOUKAM, Christophe DEBAIN, Roland LENAIN, and Monir BENCHOAIB.
In Proc. of Journées Nationales des Communications dans les Transport (JNCT), 2013.
- Vehicle Platoon and Obstacle Avoidance: a Reactive Agent Approach
Baudouin DAFFLON, Franck GECHTER, Pablo GRUER, and Abderrafiaa KOUKAM.
In IET Intelligent Transport Systems, (3), pp. 257-264(7), Institution of Engineering and Technology, 2013.
ISSN: 1751-956X.
2012
-
Compositional Verification for Reactive Multi-Agent Systems Applied to Platoon Non Collision Verification
Madeleine EL ZAHER, Jean-Michel CONTET, Pablo GRUER, Franck GECHTER, and Abderrafiaa KOUKAM.
In Studia Informatica Universalis, vol. 10(3), 2012.
-
Toward a Reactive Agent Based Parking Assistance System
Baudouin DAFFLON, Jean-Michel CONTET, Franck GECHTER, and Pablo GRUER.
In Proc. of International Conference on Tools with Artificial Intelligence, 2012.
2011
-
A New Linear Platoon Model Based on Reactive Multi-Agent Systems
Madeleine EL ZAHER, Franck GECHTER, Pablo GRUER, and Mohamed HAJJAM.
In Proc. of The 23rd IEEE International Conference on Tools with Artificial Intelligence ICTAI, IEEE Computer Society, 2011.
-
A Reactive Agent Based Vehicle Platoon Algorithm with Integrated Obstacle Avoidance Ability
Franck GECHTER, Jean-Michel CONTET, Pablo GRUER, and Abderrafiaa KOUKAM.
In Proc. of Fifth IEEE International Conference on Self-Adaptive and Self-Organizing Systems SASO 2011, 2011.
DOI: http://doi.ieeecomputersociety.org/10.1109/SASO.2011.24.
-
Convoi De Véhicule Pour Une Nouvelle Forme De Mobilité
Madeleine EL ZAHER, Franck GECHTER, and Pablo GRUER.
In Proc. of In Proc. of 1ères Journées des Jeunes Chercheurs de l'UTBM (Ingedoc 2011), 2011.
-
Intelligent Crossroads for Vehicle Platoons Reconfiguration
Baudouin DAFFLON, Franck GECHTER, Jean-Michel CONTET, Abdeljalil ABBAS-TURKI, and Pablo GRUER.
In Proc. of Lecture Notes in Computer Science/Lecture Notes in Artificial Intelligence (LNCS/LNAI) Vol. 6943 paper from the International Conference on Adaptive and Intelligent Systems ICAIS 2011, Klagenfurt, Austria,, Springer-Verlag Berlin Heidelberg, 2011.
- Reactive Multi-Agent Approach to Local Platoon Control: Stability Analysis and Experimentations.
Jean-Michel CONTET, Franck GECHTER, Pablo GRUER, and Abderrafiaa KOUKAM.
In International Journal of Intelligent Systems Technologies And Application., 2011.
DOI: http://dx.doi.org/10.1504/IJISTA.2011.040348.
-
Reconfigurable and Adaptable Urban Transportation Systems: the Platoon Solution
Madeleine EL ZAHER, Jean-Michel CONTET, Franck GECHTER, and Pablo GRUER.
In Proc. of the Insitution of Engineering and Technology Conference on Smart and Sustainable City 2011 (ICSSC11), Institute Engineering and Technology and Shanghai University, Shanghaï, China, Shanghaï University Press, 2011.
ISBN: 978-1-84919-326-9..
-
Towards a Compositional Verification Approach for Multi-Agent Systems : Application to Platoon System
Madeleine EL ZAHER, Jean-Michel CONTET, Pablo GRUER, and Franck GECHTER.
In Proc. of First International workshop on Verification and Validation of multi-agent models for complex systems (V2CS), 2011.
2010
-
An Approach to Compositional Verification of Reactive Multiagent Systems
Jean-Michel CONTET, Franck GECHTER, Pablo GRUER, and Abderrafiaa KOUKAM.
In Proc. of Working Notes of the Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI), Workshop on Model Checking and Artificial Intelligence, 2010.
-
Car-Driving Assistance Using Organization Measurement of Reactive Multi-Agent System
Franck GECHTER, Jean-Michel CONTET, Pablo GRUER, and Abderrafiaa KOUKAM.
In Procedia Computer Science CS, vol. 1(1), pp. 317-325, 2010.
- Formal Specification of an Immune Based Agent Architecture
Vincent HILAIRE, Fabrice LAURI, Pablo GRUER, Abderrafiaa KOUKAM, and Sebastian RODRIGUEZ.
In Engineering Applications of Artificial Intelligence, vol. 23(4), pp. 505-513, 2010.
DOI: 10.1016/j.engappai.2009.12.003.
2009
-
Bending Virtual Spring-Damper: a Solution to Improve Local Platoon Control
Jean-Michel CONTET, Franck GECHTER, Pablo GRUER, and Abderrafiaa KOUKAM.
In Proc. of Lecture Notes in Computer Science (LNCS) Vol. 5544, paper from the International Conference on Computational Science 2009 (ICCS 2009), Baton Rouge, Louisiana, U.S.A., Springer Verlag, 2009.
- Mécanisme décisionnel basé sur la mesure de l'organisation d'un sma: application à l'évitement d'obstacles
Jean-Michel CONTET, Franck GECHTER, and Pablo GRUER.
In Proc. of Journées Francophones des Systèmes Multi-Agents – JFSMA'2009, Lavoisier, 2009.
2008
-
Control Strategy for Wheeled Mobile Robots Platoons
Drago MATKO, Gregor KLANCAR, Saso BLAZIC, Franck GECHTER, Olivier SIMONIN, Jean-Michel CONTET, and Pablo GRUER.
In Proc. of International Conference on Informatics in Control, Automation and Robotics (ICINCO), pp. 145-150, INSTICC Press, Funchal, Madeira, Portugal May 2008, 2008.
-
Evaluation of Global System State Thanks to Local Phenomenona
Jean-Michel CONTET, Franck GECHTER, Pablo GRUER, and Abderrafiaa KOUKAM.
In Proc. of Biennial European Conference on Artificial Intelligence (ECAI), Grèce, Patras, june 21-27, 2008.
-
Formal Driven Prototyping Approach for Multi-Agent Systems
Vincent HILAIRE, Pablo GRUER, Abderrafiaa KOUKAM, and Olivier SIMONIN.
In International Journal of Agent Oriented Software Engineering, vol. 2(2), pp. 246-266, 2008.
2007
- A Formal Holonic Framework with Proved Self-Organizing Capabilities
Sebastian RODRIGUEZ, Vincent HILAIRE, Pablo GRUER, and Abderrafiaa KOUKAM.
In International Journal of Cooperative Information Systems, vol. 16(1), pp. 7-25, World Scientific Publishing, 2007.
-
Application of Reactive Multiagent System to Linear Vehicle Platoon
Jean-Michel CONTET, Franck GECHTER, Pablo GRUER, and Abderrafiaa KOUKAM.
In Proc. of In 19th IEEE International Conference on Tools with Artificial Intelligence – ICTAI'2007, pp. 67-70, IEEE Computer Society, Volume 2, Grèce, Patras, october 29-31, 2007.
- Formal Specification Approach of Role Dynamics in Agent Organisations: Application to the Satisfaction-Altruism Model
Vincent HILAIRE, Pablo GRUER, Abderrafiaa KOUKAM, and Olivier SIMONIN.
In International Journal of Software Engineering and Knowledge Engineering, vol. 17(5), pp. 615-641, World Scientific Publishing, 2007.
-
Physics Inspired Multiagent System for Vehicle Platooning
Jean-Michel CONTET, Franck GECHTER, Pablo GRUER, and Abderrafiaa KOUKAM.
In Proc. of International conference on Autonomous Agents and Multiagent Systems (AAMAS), IFAAMAS, pp. 349-351, Honolulu, Hawai USA, 2007.
2006
-
Multiagent System Model for Vehicle Platooning with Merge and Split Capabilities
Jean-Michel CONTET, Franck GECHTER, Pablo GRUER, and Abderrafiaa KOUKAM.
In Proc. of the 3rd International Conference on Autonomous Robots and Agents – ICARA, pp. 41-46, Palmerston North, New Zealand, 2006.
2004
- Heterogeneous Formal Specification Based on Object-Z and State Charts: Semantics and Verification
Pablo GRUER, Vincent HILAIRE, and Abderrafiaa KOUKAM.
In Journal of Systems and Software, vol. 70(1-2), pp. 95-105, Elsevier, 2004.
2003
- A Multiview Approach to Modelling and Analysis of Discrete Event Systems
Abderrafiaa KOUKAM, Belhassène MAZIGH, Pablo GRUER, and Vincent HILAIRE.
In Journal Systems Analysis Modelling Simulation, vol. 43(6), 2003.
2002
- A Formal Framework for Multi-Agent Systems Analysis and Design
Pablo GRUER, Vincent HILAIRE, Abderrafiaa KOUKAM, and K CETNAROWICZ.
In Expert Systems with Applications, vol. 23(4), pp. 349-355, Elsevier, 2002.
-
A Mechanism for Dynamic Role Playing
Vincent HILAIRE, Abderrafiaa KOUKAM, and Pablo GRUER.
In Proc. of Agent Technologies, Infrastructures, Tools and Applications for E-Services, Springer Verlag, 2002.
-
A Multi-Agent Model for the Estimation of Passenger Waiting Time in Public Transportation Networks
Abdelhamid BERDAI, Pablo GRUER, Vincent HILAIRE, and Abderrafiaa KOUKAM.
In Proc. of 2nd WSEAS Int. Conf. on Simulation, Modeling and Optimization (ICOSMO 2002), Skiathos, GREECE, 2002.
ISBN: 960-8052-68-8.
- A Multi-Agent System Featuring Virtual Character in Play for Theatre
Vincent HILAIRE, Abderrafiaa KOUKAM, and Pablo GRUER.
In Proc. of proceedings of the AgentDay conference, 2002.
-
Approche Multi-Formalismes Pour La Spécification Des Systèmes Multi-Agents
Pablo GRUER, Vincent HILAIRE, and Abderrafiaa KOUKAM.
Chapter in Organisation et applications des SMA, chapter 1, pp. 1-15, HERMES Science Publications/ LAVOISIER, 2002.
- Engineering Soccer Robots Behaviours
Vincent HILAIRE, Pablo GRUER, Abderrafiaa KOUKAM, and Abdellah EL MOUDNI.
In Proc. of FIRA Robot Congress, 2002.
2001
-
A Formal Specification of M-Agent Architecture
K CETNAROWICZ, Pablo GRUER, Vincent HILAIRE, and Abderrafiaa KOUKAM.
In Proc. of Second International Workshop of Central and Eastern Europe on Multi-Agent Systems, CEEMAS 2001 Cracow, Poland. Lecture Notes in Computer Science Vol 2296,, 2001.
ISBN: 3-540-43370-8.
- A Methodology Based on Multiples Views for Multi-Agent Systems in Simulation, Application to the Transportation Domain
Pablo GRUER, Vincent HILAIRE, Abderrafiaa KOUKAM, and Saïd HAYAT.
In Proc. of 13th European Simulation Symposium, 2001.
-
Multi-Agent Approach to Modeling and Simulation of Urban Transportation Systems
Pablo GRUER, Vincent HILAIRE, and Abderrafiaa KOUKAM.
In Proc. of IEEE Systems, Man, and Cybernetics Conference, Tucson, USA, IEEE Computer Society Press, 2001.
ISBN: 0-7803-7087-2.
2000
- Formal Specification and Prototyping of Multi-Agent Systems
Vincent HILAIRE, Abderrafiaa KOUKAM, Pablo GRUER, and Jean-Pierre MULLER.
In Proc. of Engineering Societies in the Agents' World (ESAW), 2000.
- Modeling and Simulation of Agent-Oriented Systems: an Approach Based on Object-Z and the Statecharts
Rodolfo CAMPERO, Pablo GRUER, Vincent HILAIRE, and Pablo ROVARINI.
In Proc. of Agent Based Simulation, 2000.
-
Towards Verification of Multi-Agent Systems
Pablo GRUER, Vincent HILAIRE, and Abderrafiaa KOUKAM.
In Proc. of Fourth International Conference on MultiAgent Systems, Boston, USA, IEEE Computer Society Press, 2000.
-
Verification of Object-Z Specifications by Using Transition Systems: Application to the Radiomobile Network Design Problem
Pablo GRUER, Vincent HILAIRE, and Abderrafiaa KOUKAM.
In Proc. of Fundamental Aspects of Software Engineering, Third Internationsl Conference, FASE 2000. Lecture Notes in Computer Science 1783, Berlin, Germany, Springer Verlag, 2000.
- Vers Une Méthodologie Formelle De Spécification De Systèmes Multi-Agents
Vincent HILAIRE, Abderrafiaa KOUKAM, Pablo GRUER, and Jean-Pierre MULLER.
In Proc. of Journées Francophones sur l'Intelligence Artificielle Distribuée et les Systèmes Multi Agents, 2000.
1998
-
Modeling and Quantitative Analysis of Discrete Event Systems: a Statecharts Based Approach
Pablo GRUER, Abderrafiaa KOUKAM, and Belhassène MAZIGH.
In Journal Simulation Practice and Theory. Elsevier., vol. 6(4), 1998.
1995
- Hierarchical and Formal Modeling of Object Behavior
Pablo GRUER, Abderrafiaa KOUKAM.
In Proc. of Int. Sym. on Object Oriented Simulation. Las Vegas, 1995.