Pablo Gruer

	2009
18		Jean-Michel Contet, Franck Gechter, Pablo Gruer, Abderrafiaa Koukam: Bending Virtual Spring-Damper: A Solution to Improve Local Platoon Control. ICCS (1) 2009: 601-610
	2008
17		Jean-Michel Contet, Franck Gechter, Pablo Gruer, Abder Koukam: Evaluation of global system state thanks to local phenomenona. ECAI 2008: 865-866
16		Drago 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
15		Vincent Hilaire, Pablo Gruer, Abderrafiaa Koukam, Olivier Simonin: Formal driven prototyping approach for multiagent systems. IJAOSE 2(2): 246-266 (2008)
	2007
14		Jean-Michel Contet, Franck Gechter, Pablo Gruer, Abder Koukam: Physics inspired multiagent system for vehicle platooning. AAMAS 2007: 184
13		Jean-Michel Contet, Franck Gechter, Pablo Gruer, Abderrafiaa Koukam: Application of Reactive Multiagent System to Linear Vehicle Platoon. ICTAI (2) 2007: 67-70
12		Sebastian 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)
11		Vincent 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
10		Pablo 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
9		Vincent Hilaire, Abder Koukam, Pablo Gruer: A Mechanism for Dynamic Role Playing. Agent Technologies, Infrastructures, Tools, and Applications for E-Services 2002: 36-48
8		Pablo 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
7		Krzysztof Cetnarowicz, Pablo Gruer, Vincent Hilaire, Abder Koukam: A Formal Specification of M-Agent Architecture. CEEMAS 2001: 62-72
6		Pablo Gruer, Vincent Hilaire, Abder Koukam, Krzysztof Cetnarowicz: A Formal Framework for Multi-Agent Systems Analysis and Design. SEKE 2001: 276-282
	2000
5		Vincent Hilaire, Abder Koukam, Pablo Gruer, Jean-Pierre Müller: Formal Specification and Prototyping of Multi-agent Systems. ESAW 2000: 114-127
4		Pablo 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
3		Pablo Gruer, Vincent Hilaire, Abder Koukam: Towards Verification of Multi-Agent Systems. ICMAS 2000: 393-394
	1998
2		Belhassen 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
1		Pablo 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

1	Saso Blazic	[16]
2	Krzysztof Cetnarowicz	[6] [7] [8]
3	Jean-Michel Contet	[13] [14] [16] [17] [18]
4	Franck Gechter	[13] [14] [16] [17] [18]
5	Vincent Hilaire	[3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [15]
6	Gregor Klancar	[16]
7	Abder Koukam (Abderrafiaa Koukam)	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [17] [18]
8	Drago Matko	[16]
9	Belhassen Mazigh	[1] [2]
10	Jean-Pierre Müller	[5]
11	Sebastian Rodriguez	[12]
12	P. Rovarini	[10]
13	Olivier Simonin	[11] [15] [16]