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

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

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

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

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

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

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

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

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

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

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

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

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

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

Systèmes Multi-Agents: Ouverture, Autonomie, et Co-évolution - JFSMA 12 - Vingtièmes journées francophones sur les systèmes multi-agents, Honfleur, France, October 17-19, 2012 (Cepadues Editions, 2012)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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