Bruno Mermet

According to our database, Bruno Mermet authored at least 30 papers between 1997 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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

Proceedings of the Explicabilité des systèmes multi-agents, 2023

2022

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

Proceedings of the SMA et Smart Cities, 2022

2019

Using Proof Failures to Help Debugging MAS.

Bruno Mermet, Gaële Simon

Proceedings of the 11th International Conference on Agents and Artificial Intelligence, 2019

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

Vers une aide au débuggage des SMA par l'exploitation d'échecs de preuve.

Bruno Mermet, Gaële Simon

Proceedings of the Cohésion : fondement ou propriété émergente - JFSMA 17, 2017

2016

Vérification formelle et éthique dans les SMA.

Grégory Bonnet, Bruno Mermet, Gaële Simon

Proceedings of the Systèmes Multi-Agents et simulation, 2016

Formal Verification of Ethical Properties in Multiagent Systems.

Bruno Mermet, Gaële Simon

Proceedings of the 1st Workshop on Ethics in the Design of Intelligent Agents, 2016

2015

Using GDT4MAS as a Formal Support for Engineering Multi-Agents Systems.

Bruno Mermet, Gaële Simon

Proceedings of the ICSOFT-EA 2015, 2015

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, Bernard Rever, Gaële Simon, Thibault de Swarte, Catherine Tessier, François Vexler, Robert Voyer, Antoine Zimmermann

Proceedings of the Artificial Intelligence and Ethics, 2015

2014

Side Effects of Agents Are Not Just Random.

Bruno Mermet, Gaële Simon

Proceedings of the Engineering Multi-Agent Systems - Second International Workshop, 2014

2013

A New Proof System to Verify GDT Agents.

Bruno Mermet, Gaële Simon

Proceedings of the Intelligent Distributed Computing VII, 2013

2012

GDT4MAS: a formal model and language to specify and verify agent-based complex systems.

Bruno Mermet, Gaële Simon

Stud. Inform. Univ., 2012

2011

Specifying recursive agents with GDTs.

Bruno Mermet, Gaële Simon

Auton. Agents Multi Agent Syst., 2011

2010

Specifying and verifying holonic agents with GDT4MAS.

Bruno Mermet, Gaële Simon

Int. J. Agent Oriented Softw. Eng., 2010

2009

Spécifier des agents composés d'agents avec les GDT [présentation courte].

Gaële Simon, Bruno Mermet

Proceedings of the Systèmes Multi-Agents, Génie logiciel multi-agents - JFSMA 09, 2009

GDT4MAS: an extension of the GDT model to specify and to verify MultiAgent systems.

Bruno Mermet, Gaële Simon

Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

2007

Specifying and Verifying a MAS: The Robots on MarsCase Study.

Bruno Mermet, Gaële Simon, Bruno Zanuttini, Arnaud Saval

Proceedings of the Programming Multi-Agent Systems, 5th International Workshop, 2007

A Dynamic Clustering Algorithm for Mobile Objects.

Dominique Fournier, Gaële Simon, Bruno Mermet

Proceedings of the Knowledge Discovery in Databases: PKDD 2007, 2007

Vers un algorithme multi-agents de clustering dynamique.

Gaële Simon, Dominique Fournier, Bruno Mermet

Proceedings of the Extraction et gestion des connaissances (EGC'2007), 2007

2006

A Tool Architecture to Verify Properties of Multiagent System at Runtime.

Denis Meron, Bruno Mermet

Proceedings of the Programming Multi-Agent Systems, 4th International Workshop, 2006

2005

Goal Decomposition Tree: An Agent Model to Generate a Validated Agent Behaviour.

Gaële Simon, Bruno Mermet, Dominique Fournier

Proceedings of the Declarative Agent Languages and Technologies III, 2005

2004

Variant Extensions to Prove MAS Behaviours.

Bruno Mermet, Dominique Fournier

Proceedings of the Artificial Intelligence: Methodology, 2004

2003

SPACE: A Method to Increase Tracability in MAS Development.

Bruno Mermet, Gaële Simon, Dominique Fournier, Marianne Flouret

Proceedings of the Programming Multi-Agent Systems, First International Workshop, 2003

Using the SPACE Intermediate Model to Help to Implement Agents.

Dominique Fournier, Bruno Mermet, Gaële Simon, Marianne Flouret

Proceedings of the Foundations of Intelligent Systems, 14th International Symposium, 2003

2002

Vers une méthodologie de développement de SMA adaptés aux problèmes d'optimisation.

Marianne Flouret, Bruno Mermet, Gaële Simon

Proceedings of the Systèmes multi-agents et systèmes complexes : ingénierie, résolution de problèmes et simulation - JFSMA 02, 2002

A Methodology to Solve Optimisation Problems with MAS Application to the Graph Colouring Problem.

Gaële Simon, Marianne Flouret, Bruno Mermet

Proceedings of the Artificial Intelligence: Methodology, 2002

1998

Service specifications: to B, or not to B.

Bruno Mermet, Dominique Méry

Proceedings of the Second Workshop on Formal Methods in Software Practice, 1998

1997

Safe combinations of services using B.

Bruno Mermet, Dominique Méry

Proceedings of the 16th International Conference on Computer Safety, 1997

Feature Interactions: A Mixed Semantic Model Approach.

J. Paul Gibson, Bruno Mermet, Dominique Méry

Proceedings of the 1st Irish Workshop on Formal Methods, 1997

Incremental Specification of Telecommunication Services.

Bruno Mermet, Dominique Méry

Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997