Incremental Specification of Telecommunication Services. - Bruno Mermet; Dominique Méry (ICFEM, 1997)

Feature Interactions: A Mixed Semantic Model Approach. - J. Paul Gibson; Bruno Mermet; Dominique Méry (IWFM, 1997)

Safe combinations of services using B. - Bruno Mermet; Dominique Méry (SAFECOMP, 1997)

Service specifications: to B, or not to B. - Bruno Mermet; Dominique Méry (FMSP, 1998)

A Methodology to Solve Optimisation Problems with MAS Application to the Graph Colouring Problem. - Gaële Simon; Marianne Flouret; Bruno Mermet (AIMSA, 2002)

Vers une méthodologie de développement de SMA adaptés aux problèmes d'optimisation. - Marianne Flouret; Bruno Mermet; Gaële Simon (JFSMA, 2002)

Using the SPACE Intermediate Model to Help to Implement Agents. - Dominique Fournier; Bruno Mermet; Gaële Simon; Marianne Flouret (ISMIS, 2003)

SPACE: A Method to Increase Tracability in MAS Development. - Bruno Mermet; Gaële Simon; Dominique Fournier; Marianne Flouret (PROMAS, 2003)

Variant Extensions to Prove MAS Behaviours. - Bruno Mermet; Dominique Fournier (AIMSA, 2004)

Goal Decomposition Tree: An Agent Model to Generate a Validated Agent Behaviour. - Gaële Simon; Bruno Mermet; Dominique Fournier (DALT, 2005)

A Tool Architecture to Verify Properties of Multiagent System at Runtime. - Denis Meron; Bruno Mermet (PROMAS, 2006)

Vers un algorithme multi-agents de clustering dynamique. - Gaële Simon; Dominique Fournier; Bruno Mermet (EGC, 2007)

A Dynamic Clustering Algorithm for Mobile Objects. - Dominique Fournier; Gaële Simon; Bruno Mermet (PKDD, 2007)

Specifying and Verifying a MAS: The Robots on MarsCase Study. - Bruno Mermet; Gaële Simon; Bruno Zanuttini; Arnaud Saval (PROMAS, 2007)

GDT4MAS: an extension of the GDT model to specify and to verify MultiAgent systems. - Bruno Mermet; Gaële Simon (AAMAS (1), 2009)

Spécifier des agents composés d'agents avec les GDT [présentation courte]. - Gaële Simon; Bruno Mermet (JFSMA, 2009)

Specifying and verifying holonic agents with GDT4MAS. - Bruno Mermet; Gaële Simon (Int. J. Agent Oriented Softw. Eng., 2010)

Specifying recursive agents with GDTs. - Bruno Mermet; Gaële Simon (Auton. Agents Multi Agent Syst., 2011)

GDT4MAS: a formal model and language to specify and verify agent-based complex systems. - Bruno Mermet; Gaële Simon (Stud. Inform. Univ., 2012)

A New Proof System to Verify GDT Agents. - Bruno Mermet; Gaële Simon (IDC, 2013)

Side Effects of Agents Are Not Just Random. - Bruno Mermet; Gaële Simon (EMAS@AAMAS, 2014)

Dealing with Ethical Conflicts in Autonomous Agents and Multi-Agent Systems. - Aline Belloni; Alain Berger; Olivier Boissier; Grégory Bonnet; Gauvain Bourgne; Pierre-Antoine Chardel; Jean-Pierre Cotton; Nicolas Evreux; Jean-Gabriel Ganascia; Philippe Jaillon; Bruno Mermet; Gauthier Picard; et al. (AAAI Workshop: AI and Ethics, 2015)

Using GDT4MAS as a Formal Support for Engineering Multi-Agents Systems. - Bruno Mermet; Gaële Simon (ICSOFT-EA, 2015)

Formal Verification of Ethical Properties in Multiagent Systems. - Bruno Mermet; Gaële Simon (EDIA@ECAI, 2016)

Vérification formelle et éthique dans les SMA. - Grégory Bonnet; Bruno Mermet; Gaële Simon (JFSMA, 2016)

Vers une aide au débuggage des SMA par l'exploitation d'échecs de preuve. - Bruno Mermet; Gaële Simon (JFSMA, 2017)

Vérification formelle du respect de valeurs morales dans les SMA. - Gaël Bonnet; Bruno Mermet; Gaëlle Simon (Rev. d'Intelligence Artif., 2017)

Using Proof Failures to Help Debugging MAS. - Bruno Mermet; Gaële Simon (ICAART (2), 2019)

Comment les échecs de preuve peuvent aider à la correction de spécifications erronées de Systèmes Multi-Agents (poster). - Bruno Mermet; Gaële Simon (JFSMA, 2022)

Vérification formelle de propriétés de vivacité pour des SMA stochastiques à l'aide de GDT. - Mathias Déhais; Bruno Mermet; Grégory Bonnet (JFSMA, 2023)

Spécifier et vérifier en GDT4MAS des ensembles dynamiques d'agents. - Mathias Déhais; Bruno Mermet; Grégory Bonnet (JFSMA, 2024)

Vérification formelle de propriétés de vivacité pour des systèmes multi-agents probabilistes à l'aide d'arbre à décomposition de buts. - Mathias Déhais; Bruno Mermet; Grégory Bonnet (Rev. Ouverte Intell. Artif., 2024)