Gaële Simon

Publication Activity (10 Years)

Years Active: 2002-2022
Publications (10 Years): 5

Top Topics

Agent Coordination

Multiagent Architecture

Autonomous Agents

Formal Verification

Top Venues

AAAI Workshop: AI and Ethics

Publications

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)
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)
Gaële Simon, Marianne Flouret
Implementing Validated Agents Behaviours with Automata Based on Goal Decomposition Trees. AOSE (2005)
Gaële Simon, Bruno Mermet, Dominique Fournier
Goal Decomposition Tree: An Agent Model to Generate a Validated Agent Behaviour. DALT (2005)
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)