Gaële Simon

According to our database, Gaële Simon authored at least 24 papers between 1997 and 2022.

Collaborative distances:

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

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

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 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

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

Implementing Validated Agents Behaviours with Automata Based on Goal Decomposition Trees.

Gaële Simon, Marianne Flouret

Proceedings of the Agent-Oriented Software Engineering VI, 6th International Workshop, 2005

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

1997

Modèles et méthodes pour la conception des mémoires d'entreprise: le système DOLMEN : une application en métallurgie. (Models and methods for corporate memories's design. DOLMEN: a system in metallurgy).

Gaële Simon

PhD thesis, 1997