Gaële Simon

According to our database1, Gaële Simon authored at least 23 papers between 1997 and 2019.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Using Proof Failures to Help Debugging MAS.
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.
Proceedings of the Cohésion : fondement ou propriété émergente - JFSMA 17, 2017

2016
Vérification formelle et éthique dans les SMA.
Proceedings of the Systèmes Multi-Agents et simulation, 2016

Formal Verification of Ethical Properties in Multiagent Systems.
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.
Proceedings of the ICSOFT-EA 2015, 2015


2014
Side Effects of Agents Are Not Just Random.
Proceedings of the Engineering Multi-Agent Systems - Second International Workshop, 2014

2013
A New Proof System to Verify GDT Agents.
Proceedings of the Intelligent Distributed Computing VII, 2013

2012
GDT4MAS: a formal model and language to specify and verify agent-based complex systems.
Stud. Inform. Univ., 2012

2011
Specifying recursive agents with GDTs.
Auton. Agents Multi Agent Syst., 2011

2010
Specifying and verifying holonic agents with GDT4MAS.
Int. J. Agent Oriented Softw. Eng., 2010

2009
Spécifier des agents composés d'agents avec les GDT [présentation courte].
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.
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.
Proceedings of the Programming Multi-Agent Systems, 5th International Workshop, 2007

A Dynamic Clustering Algorithm for Mobile Objects.
Proceedings of the Knowledge Discovery in Databases: PKDD 2007, 2007

Vers un algorithme multi-agents de clustering dynamique.
Proceedings of the Extraction et gestion des connaissances (EGC'2007), 2007

2005
Goal Decomposition Tree: An Agent Model to Generate a Validated Agent Behaviour.
Proceedings of the Declarative Agent Languages and Technologies III, 2005

Implementing Validated Agents Behaviours with Automata Based on Goal Decomposition Trees.
Proceedings of the Agent-Oriented Software Engineering VI, 6th International Workshop, 2005

2003
SPACE: A Method to Increase Tracability in MAS Development.
Proceedings of the Programming Multi-Agent Systems, First International Workshop, 2003

Using the SPACE Intermediate Model to Help to Implement Agents.
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.
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.
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).
PhD thesis, 1997


  Loading...