Pablo GRUER - Phone: +33 (0) 384 583 087 Fax: +33 (0) 384 583 342 Email: pablo.gruer[at]utbm.fr FOAF: Gruer_pablo

CV: PDF LaTeX h-index: 8

Publications

2016

• An Interaction Model for a Local Approach to Vehicle Platoons
  Madeleine EL ZAHER, Franck GECHTER, Mohammad HAJJAR, and Pablo GRUER.
  In International Journal of Vehicle Autonomous Systems, Inderscience, 2016.

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 Mohammad HAJJAR.
  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.

This page was last modified on 6 October 2011, at 17:13. This page has been accessed 5,898 times.
Copyright 2010-2016 © IRTES Institute - UPR EA 7274 - Université de Technologie de Belfort-Montbéliard - Privacy policy