dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Pablo Gruer Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBaudouin Dafflon, Franck Gechter, Jean-Michel Contet, Abdeljalil Abbas-Turki, Pablo Gruer: Intelligent Crossroads for Vehicle Platoons Reconfiguration. ICAIS 2011: 203-214
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMadeleine El-Zaher, Franck Gechter, Pablo Gruer, Mohammad Hajjar: A New Linear Platoon Model Based on Reactive Multi-agent Systems. ICTAI 2011: 898-899
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranck Gechter, Jean-Michel Contet, Pablo Gruer, Abderrafiaa Koukam: A Reactive Agent Based Vehicle Platoon Algorithm with Integrated Obstacle Avoidance Ability. SASO 2011: 129-137
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Michel Contet, Franck Gechter, Pablo Gruer, Abderrafiaa Koukam: Reactive multi-agent approach to local platoon control: stability analysis and experimentations. IJISTA 10(3): 231-249 (2011)
2010
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVincent Hilaire, Fabrice Lauri, Pablo Gruer, Abderrafiaa Koukam, Sebastian Rodriguez: Formal specification of an immune based agent architecture. Eng. Appl. of AI 23(4): 505-513 (2010)
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranck Gechter, Jean-Michel Contet, Pablo Gruer, Abderrafiaa Koukam: Car-driving assistance using organization measurement of reactive multi-agent system. Procedia CS 1(1): 317-325 (2010)
2009
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Michel Contet, Franck Gechter, Pablo Gruer, Abderrafiaa Koukam: Bending Virtual Spring-Damper: A Solution to Improve Local Platoon Control. ICCS (1) 2009: 601-610
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Michel Contet, Franck Gechter, Pablo Gruer: Mécanisme décisionnel basé sur la mesure de l'organisation d'un SMA : application à l'évitement d'obstacles [présentation courte]. JFSMA 2009: 99-108
2008
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Michel Contet, Franck Gechter, Pablo Gruer, Abder Koukam: Evaluation of global system state thanks to local phenomenona. ECAI 2008: 865-866
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDrago Matko, Gregor Klancar, Saso Blazic, Olivier Simonin, Franck Gechter, Jean-Michel Contet, Pablo Gruer: The Application of Reference-path Control to Vehicle Platoons. ICINCO-RA (1) 2008: 145-150
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVincent Hilaire, Pablo Gruer, Abderrafiaa Koukam, Olivier Simonin: Formal driven prototyping approach for multiagent systems. IJAOSE 2(2): 246-266 (2008)
2007
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Michel Contet, Franck Gechter, Pablo Gruer, Abder Koukam: Physics inspired multiagent system for vehicle platooning. AAMAS 2007: 184
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Michel Contet, Franck Gechter, Pablo Gruer, Abderrafiaa Koukam: Application of Reactive Multiagent System to Linear Vehicle Platoon. ICTAI (2) 2007: 67-70
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Rodriguez, Vincent Hilaire, Pablo Gruer, Abder Koukam: A Formal Holonic Framework with Proved Self-Organizing Capabilities. Int. J. Cooperative Inf. Syst. 16(1): 7-25 (2007)
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVincent Hilaire, Pablo Gruer, Abder Koukam, Olivier Simonin: Formal Specification Approach of Role Dynamics in Agent Organisations: Application to the Satisfaction-Altruism Model. International Journal of Software Engineering and Knowledge Engineering 17(5): 615-641 (2007)
2004
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo Gruer, Vincent Hilaire, Abder Koukam, P. Rovarini: Heterogeneous formal specification based on Object-Z and statecharts: semantics and verification. Journal of Systems and Software 70(1-2): 95-105 (2004)
2002
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVincent Hilaire, Abder Koukam, Pablo Gruer: A Mechanism for Dynamic Role Playing. Agent Technologies, Infrastructures, Tools, and Applications for E-Services 2002: 36-48
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo Gruer, Vincent Hilaire, Abder Koukam, Krzysztof Cetnarowicz: A formal framework for multi-agent systems analysis and design. Expert Syst. Appl. 23(4): 349-355 (2002)
2001
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrzysztof Cetnarowicz, Pablo Gruer, Vincent Hilaire, Abder Koukam: A Formal Specification of M-Agent Architecture. CEEMAS 2001: 62-72
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo Gruer, Vincent Hilaire, Abder Koukam, Krzysztof Cetnarowicz: A Formal Framework for Multi-Agent Systems Analysis and Design. SEKE 2001: 276-282
2000
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVincent Hilaire, Abder Koukam, Pablo Gruer, Jean-Pierre Müller: Formal Specification and Prototyping of Multi-agent Systems. ESAW 2000: 114-127
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo Gruer, Vincent Hilaire, Abder Koukam: Verification of Object-Z Specifications by Using Transition Systems: Application to the Radiomobile Network Design Problem. FASE 2000: 222-236
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo Gruer, Vincent Hilaire, Abder Koukam: Towards Verification of Multi-Agent Systems. ICMAS 2000: 393-394
1998
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBelhassen Mazigh, Pablo Gruer, Abder Koukam: An Extended Statecharts Approach for the Modeling and Analysis of Discrete Event Systems: The Case of Manufacturing Systems. ESM 1998: 656-660
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo Gruer, Abder Koukam, Belhassen Mazigh: Modeling and quantitative analysis of discrete event systems: A statecharts based approach. Simul. Pr. Theory 6(4): 397-411 (1998)

Coauthor Index

1Abdeljalil Abbas-Turki [25]
2Saso Blazic [16]
3Krzysztof Cetnarowicz [6] [7] [8]
4Jean-Michel Contet [13] [14] [16] [17] [18] [19] [20] [22] [23] [25]
5Baudouin Dafflon [25]
6Madeleine El-Zaher [24]
7Franck Gechter [13] [14] [16] [17] [18] [19] [20] [22] [23] [24] [25]
8Mohammad Hajjar [24]
9Vincent Hilaire [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [15] [21]
10Gregor Klancar [16]
11Abder Koukam (Abderrafiaa Koukam) [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [17] [19] [20] [21] [22] [23]
12Fabrice Lauri [21]
13Drago Matko [16]
14Belhassen Mazigh [1] [2]
15Jean-Pierre Müller [5]
16Sebastian Rodriguez [12] [21]
17P. Rovarini [10]
18Olivier Simonin [11] [15] [16]

Last update Thu May 31 18:55:10 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page