Bruno Mermet - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 30 from 30

2023

Vérification formelle de propriétés de vivacité pour des SMA stochastiques à l'aide de GDTMathias Déhais, Bruno Mermet, Grégory Bonnet. jfsma 2023: 43-52

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. jfsma 2022: 145

2019

Using Proof Failures to Help Debugging MASBruno Mermet, Gaële Simon. icaart 2019: 523-530 [doi]

2017

Vérification formelle du respect de valeurs morales dans les SMAGaël Bonnet, Bruno Mermet, Gaëlle Simon. ria, 31(4):449-470, 2017. [doi]

Vers une aide au débuggage des SMA par l'exploitation d'échecs de preuveBruno Mermet, Gaële Simon. jfsma 2017: 139-148

2016

Vérification formelle et éthique dans les SMAGrégory Bonnet, Bruno Mermet, Gaële Simon. jfsma 2016: 139-148

Formal Verification of Ethical Properties in Multiagent SystemsBruno Mermet, Gaële Simon. ecai 2016: 26-31 [doi]

2015

2014

Side Effects of Agents Are Not Just RandomBruno Mermet, Gaële Simon. dalt 2014: 291-308 [doi]

2013

A New Proof System to Verify GDT AgentsBruno Mermet, Gaële Simon. idc 2014: 181-187 [doi]

2012

GDT4MAS: a formal model and language to specify and verify agent-based complex systemsBruno Mermet, Gaële Simon. siu, 10(3):5-32, 2012. [doi]

2011

Specifying recursive agents with GDTsBruno Mermet, Gaële Simon. AAMAS, 23(2):273-301, 2011. [doi]

2010

Specifying and verifying holonic agents with GDT4MASBruno Mermet, Gaële Simon. ijaose, 4(3):281-303, 2010. [doi]

2009

GDT4MAS: an extension of the GDT model to specify and to verify MultiAgent systemsBruno Mermet, Gaële Simon. atal 2009: 505-512 [doi]

Spécifier des agents composés d'agents avec les GDT [présentation courte]Gaële Simon, Bruno Mermet. jfsma 2009: 155-164

2007

A Dynamic Clustering Algorithm for Mobile ObjectsDominique Fournier, Gaële Simon, Bruno Mermet. pkdd 2007: 422-429 [doi]

Specifying and Verifying a MAS: The Robots on MarsCase StudyBruno Mermet, Gaële Simon, Bruno Zanuttini, Arnaud Saval. promas 2008: 172-189 [doi]

Vers un algorithme multi-agents de clustering dynamiqueGaële Simon, Dominique Fournier, Bruno Mermet. f-egc 2007: 199-200

2006

A Tool Architecture to Verify Properties of Multiagent System at RuntimeDenis Meron, Bruno Mermet. promas 2007: 201-216 [doi]

2005

Goal Decomposition Tree: An Agent Model to Generate a Validated Agent BehaviourGaële Simon, Bruno Mermet, Dominique Fournier. dalt 2006: 124-140 [doi]

2004

Variant Extensions to Prove MAS BehavioursBruno Mermet, Dominique Fournier. aimsa 2004: 409-419 [doi]

2003

Using the SPACE Intermediate Model to Help to Implement AgentsDominique Fournier, Bruno Mermet, Gaële Simon, Marianne Flouret. ismis 2003: 221-225 [doi]

SPACE: A Method to Increase Tracability in MAS DevelopmentBruno Mermet, Gaële Simon, Dominique Fournier, Marianne Flouret. promas 2004: 201-220 [doi]

2002

Vers une méthodologie de développement de SMA adaptés aux problèmes d'optimisationMarianne Flouret, Bruno Mermet, Gaële Simon. jfsma 2002: 245-248

A Methodology to Solve Optimisation Problems with MAS Application to the Graph Colouring ProblemGaële Simon, Marianne Flouret, Bruno Mermet. aimsa 2002: 162-172 [doi]

1998

Service specifications: to B, or not to BBruno Mermet, Dominique Méry. fmsp 1998: 62-69 [doi]

1997

Feature Interactions: A Mixed Semantic Model ApproachJ. Paul Gibson, Bruno Mermet, Dominique Méry. iwfm 1997:

Incremental Specification of Telecommunication ServicesBruno Mermet, Dominique Méry. icfem 1997: 60-69

Safe combinations of services using BBruno Mermet, Dominique Méry. safecomp 1997: 265-280 [doi]

Sign in or sign up to see more results.

runs on WebDSL