| Pablo GRUER Full Professor - Head of the ICAP team  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
| International journal with reading committee | International conference with proceedings | National conference with proceedings | Book chapter |
|---|---|---|---|
| 9 | 21 | 2 | 1 |
| For 2007-2012: | |||
| 6 | 11 | 1 | 0 |
2011
- 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.
- 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.
- 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.
- 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..
- 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.
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, 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.
- 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.
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.
- 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.
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.
- 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.
- 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.
2007
- Physics Inspired Multiagent Model 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.
- 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.
- 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.
- 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.
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
- 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, Hermés, 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 System Featuring Virtual Character in Play for Theatre
Vincent HILAIRE, Abderrafiaa KOUKAM, and Pablo GRUER.
In Proc. of proceedings of the AgentDay conference, 2002.
- Engineering Soccer Robots Behaviours
Vincent HILAIRE, Pablo GRUER, Abderrafiaa KOUKAM, and Abdellah EL MOUDNI.
In Proc. of FIRA Robot Congress, 2002.
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, IEEE Computer Society Press, 2001.
- 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.
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.
- Verification of Object-Z Specifications by Using Transition Systems
Pablo GRUER, Vincent HILAIRE, and Abderrafiaa KOUKAM.
In Proc. of Fundamental Aspects of Software Engineering, Springer Verlag, 2000.
- An Approach to the Verification of Multi-Agent Systems
Pablo GRUER, Vincent HILAIRE, and Abderrafiaa KOUKAM.
In Proc. of International Conference on Multi Agent Systems, IEEE Computer Society Press, 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.
- 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.
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.
