 | 2009 |
|---|
| 13 |       | Bruno Mermet,
Gaële Simon:
GDT4MAS: an extension of the GDT model to specify and to verify MultiAgent systems.
AAMAS (1) 2009: 505-512 |
| 2007 |
|---|
| 12 |  | Gaële Simon,
Dominique Fournier,
Bruno Mermet:
Vers un algorithme multi-agents de clustering dynamique.
EGC 2007: 199-200 |
| 11 | | Dominique Fournier,
Gaële Simon,
Bruno Mermet:
A Dynamic Clustering Algorithm for Mobile Objects.
PKDD 2007: 422-429 |
| 10 | | Bruno Mermet,
Gaële Simon,
Bruno Zanuttini,
Arnaud Saval:
Specifying and Verifying a MAS: The Robots on MarsCase Study.
PROMAS 2007: 172-189 |
| 2006 |
|---|
| 9 | | Denis Meron,
Bruno Mermet:
A Tool Architecture to Verify Properties of Multiagent System at Runtime.
PROMAS 2006: 201-216 |
| 2005 |
|---|
| 8 | | Gaële Simon,
Bruno Mermet,
Dominique Fournier:
Goal Decomposition Tree: An Agent Model to Generate a Validated Agent Behaviour.
DALT 2005: 124-140 |
| 2004 |
|---|
| 7 | | Bruno Mermet,
Dominique Fournier:
Variant Extensions to Prove MAS Behaviours.
AIMSA 2004: 409-419 |
| 2003 |
|---|
| 6 | | Dominique Fournier,
Bruno Mermet,
Gaële Simon,
Marianne Flouret:
Using the SPACE Intermediate Model to Help to Implement Agents.
ISMIS 2003: 221-225 |
| 5 | | Bruno Mermet,
Gaële Simon,
Dominique Fournier,
Marianne Flouret:
SPACE: A Method to Increase Tracability in MAS Development.
PROMAS 2003: 201-220 |
| 2002 |
|---|
| 4 | | Gaële Simon,
Marianne Flouret,
Bruno Mermet:
A Methodology to Solve Optimisation Problems with MAS Application to the Graph Colouring Problem.
AIMSA 2002: 162-172 |
| 1998 |
|---|
| 3 | | Bruno Mermet,
Dominique Méry:
Service specifications: to B, or not to B.
FMSP 1998: 62-69 |
| 1997 |
|---|
| 2 | | Bruno Mermet,
Dominique Méry:
Incremental Specification of Telecommunication Services.
ICFEM 1997: 60-69 |
| 1 | | J. Paul Gibson,
Bruno Mermet,
Dominique Méry:
Feature Interactions: A Mixed Semantic Model Approach.
IWFM 1997 |
