Gaële Simon

24 papers C 1Misc 2Journal 3Unranked 17
YearRankTypeTitle / Venue / Authors
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
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
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
2005 — conf
Goal Decomposition Tree: An Agent Model to Generate a Validated Agent Behaviour.
DALT
Gaële Simon, Bruno Mermet, Dominique Fournier
2005 — conf
Implementing Validated Agents Behaviours with Automata Based on Goal Decomposition Trees.
AOSE
Gaële Simon, Marianne Flouret
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
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