Bruno Mermet

Publication Activity (10 Years)

Years Active: 1997-2023
Publications (10 Years): 7

Top Topics

Autonomous Agents

Multiagent Systems

Top Venues

Rev. d'Intelligence Artif.

AAAI Workshop: AI and Ethics

Publications

Mathias Déhais, Bruno Mermet, Grégory Bonnet
Vérification formelle de propriétés de vivacité pour des SMA stochastiques à l'aide de GDT. JFSMA (2023)
Bruno Mermet, Gaële Simon
Comment les échecs de preuve peuvent aider à la correction de spécifications erronées de Systèmes Multi-Agents (poster). JFSMA (2022)
Bruno Mermet, Gaële Simon
Using Proof Failures to Help Debugging MAS. ICAART (2) (2019)
Gaël Bonnet, Bruno Mermet, Gaëlle Simon
Vérification formelle du respect de valeurs morales dans les SMA. Rev. d'Intelligence Artif. 31 (4) (2017)
Bruno Mermet, Gaële Simon
Vers une aide au débuggage des SMA par l'exploitation d'échecs de preuve. JFSMA (2017)
Bruno Mermet, Gaële Simon
Formal Verification of Ethical Properties in Multiagent Systems. EDIA@ECAI (2016)
Grégory Bonnet, Bruno Mermet, Gaële Simon
Vérification formelle et éthique dans les SMA. JFSMA (2016)
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, Bernard Rever, Gaële Simon, Thibault de Swarte, Catherine Tessier, François Vexler, Robert Voyer, Antoine Zimmermann
Dealing with Ethical Conflicts in Autonomous Agents and Multi-Agent Systems. AAAI Workshop: AI and Ethics (2015)
Bruno Mermet, Gaële Simon
Using GDT4MAS as a Formal Support for Engineering Multi-Agents Systems. ICSOFT-EA (2015)
Bruno Mermet, Gaële Simon
Side Effects of Agents Are Not Just Random. EMAS@AAMAS (2014)
Bruno Mermet, Gaële Simon
A New Proof System to Verify GDT Agents. IDC (2013)
Bruno Mermet, Gaële Simon
GDT4MAS: a formal model and language to specify and verify agent-based complex systems. Stud. Inform. Univ. 10 (3) (2012)
Bruno Mermet, Gaële Simon
Specifying recursive agents with GDTs. Auton. Agents Multi Agent Syst. 23 (2) (2011)
Bruno Mermet, Gaële Simon
Specifying and verifying holonic agents with GDT4MAS. Int. J. Agent Oriented Softw. Eng. 4 (3) (2010)
Gaële Simon, Bruno Mermet
Spécifier des agents composés d'agents avec les GDT [présentation courte]. JFSMA (2009)
Bruno Mermet, Gaële Simon
GDT4MAS: an extension of the GDT model to specify and to verify MultiAgent systems. AAMAS (1) (2009)
Gaële Simon, Dominique Fournier, Bruno Mermet
Vers un algorithme multi-agents de clustering dynamique. EGC (2007)
Bruno Mermet, Gaële Simon, Bruno Zanuttini, Arnaud Saval
Specifying and Verifying a MAS: The Robots on MarsCase Study. PROMAS (2007)
Dominique Fournier, Gaële Simon, Bruno Mermet
A Dynamic Clustering Algorithm for Mobile Objects. PKDD (2007)
Denis Meron, Bruno Mermet
A Tool Architecture to Verify Properties of Multiagent System at Runtime. PROMAS (2006)
Gaële Simon, Bruno Mermet, Dominique Fournier
Goal Decomposition Tree: An Agent Model to Generate a Validated Agent Behaviour. DALT (2005)
Bruno Mermet, Dominique Fournier
Variant Extensions to Prove MAS Behaviours. AIMSA (2004)
Dominique Fournier, Bruno Mermet, Gaële Simon, Marianne Flouret
Using the SPACE Intermediate Model to Help to Implement Agents. ISMIS (2003)
Bruno Mermet, Gaële Simon, Dominique Fournier, Marianne Flouret
SPACE: A Method to Increase Tracability in MAS Development. PROMAS (2003)
Gaële Simon, Marianne Flouret, Bruno Mermet
A Methodology to Solve Optimisation Problems with MAS Application to the Graph Colouring Problem. AIMSA (2002)
Marianne Flouret, Bruno Mermet, Gaële Simon
Vers une méthodologie de développement de SMA adaptés aux problèmes d'optimisation. JFSMA (2002)
Bruno Mermet, Dominique Méry
Service specifications: to B, or not to B. FMSP (1998)
Bruno Mermet, Dominique Méry
Incremental Specification of Telecommunication Services. ICFEM (1997)
J. Paul Gibson, Bruno Mermet, Dominique Méry
Feature Interactions: A Mixed Semantic Model Approach. IWFM (1997)
Bruno Mermet, Dominique Méry
Safe combinations of services using B. SAFECOMP (1997)