| 2008 |
|---|
| 16 | EE | Jean-Michel Contet,
Franck Gechter,
Pablo Gruer,
Abder Koukam:
Evaluation of global system state thanks to local phenomenona.
ECAI 2008: 865-866 |
| 15 | EE | Vincent Hilaire,
Pablo Gruer,
Abderrafiaa Koukam,
Olivier Simonin:
Formal driven prototyping approach for multiagent systems.
IJAOSE 2(2): 246-266 (2008) |
| 2007 |
|---|
| 14 | EE | Jean-Michel Contet,
Franck Gechter,
Pablo Gruer,
Abder Koukam:
Physics inspired multiagent system for vehicle platooning.
AAMAS 2007: 184 |
| 13 | EE | Jean-Michel Contet,
Franck Gechter,
Pablo Gruer,
Abderrafiaa Koukam:
Application of Reactive Multiagent System to Linear Vehicle Platoon.
ICTAI (2) 2007: 67-70 |
| 12 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Vincent Hilaire,
Abder Koukam,
Pablo Gruer,
Jean-Pierre Müller:
Formal Specification and Prototyping of Multi-agent Systems.
ESAW 2000: 114-127 |
| 4 | EE | 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 | EE | 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 | EE | 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) |
