Bruno Mermet

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