| Goal decomposition tree: An agent model to generate a validated agent behaviour G Simon, B Mermet, D Fournier Declarative Agent Languages and Technologies III: Third International …, 2006 | 20 | 2006 |
| Feature interactions: A mixed semantic model approach P Gibson, B Mermet, D Méry Proceedings of the 1st Irish Workshop on Formal Methods 1, 1-14, 1997 | 18 | 1997 |
| {GDT4MAS}: an extension of the GDT model to specify and to verify MultiAgent Systems B Mermet, G Simon Proc. 8th International Conference on Autonomous Agent and Multiagent …, 2009 | 15 | 2009 |
| Formal Verication of Ethical Properties in Multiagent Systems B Mermet, G Simon 1st Workshop on Ethics in the Design of Intelligent Agents, 2016 | 13 | 2016 |
| Incremental specification of telecommunication services B Mermet, D Mery First IEEE International Conference on Formal Engineering Methods, 60-69, 1997 | 13 | 1997 |
| Dealing with ethical conflicts in autonomous agents and multi-agent systems A Belloni, A Berger, O Boissier, G Bonnet, G Bourgne, PA Chardel, ... 1st International workshop on artificial intelligence and ethics at the 29th …, 2015 | 12 | 2015 |
| Safe combinations of services using B B Mermet, D Méry Safe Comp 97: The 16th International Conference on Computer Safety …, 1997 | 12 | 1997 |
| Towards a framework to deal with ethical conflicts in autonomous agents and multi-agent systems A Belloni, A Berger, V Besson, O Boissier, G Bonnet, G Bourgne, ... CEPE 2014 well-being, flourishing, and ICTs, paper 8, 2014 | 11 | 2014 |
| Formal model of a multiagent system B Mermet | 11 | 2002 |
| Specifying, verifying and implementing a MAS: A case study B Mermet, G Simon, A Saval, B Zanuttini Post-Proc. of ProMAS 7, 172-189, 2007 | 10 | 2007 |
| A tool architecture to verify properties of multiagent system at runtime D Meron, B Mermet Programming Multi-Agent Systems: 4th International Workshop, ProMAS 2006 …, 2007 | 8 | 2007 |
| A new proof system to verify gdt agents B Mermet, G Simon Intelligent Distributed Computing VII: Proceedings of the 7th International …, 2014 | 7 | 2014 |
| A methodology to solve optimisation problems with MAS application to the graph colouring problem G Simon, M Flouret, B Mermet AIMSA, 162-172, 2002 | 6 | 2002 |
| Service specifications: to B, or not to B B Mermet, D Méry Proceedings of the second workshop on Formal methods in software practice, 62-69, 1998 | 6 | 1998 |
| Specifying recursive agents with GDTs B Mermet, G Simon Autonomous Agents and Multi-Agent Systems 23, 273-301, 2011 | 5 | 2011 |
| Detection of service interactions: An approach with b B Mermet, D Mery AFADL97, 1997 | 5 | 1997 |
| A dynamic clustering algorithm for mobile objects D Fournier, G Simon, B Mermet Knowledge Discovery in Databases: PKDD 2007: 11th European Conference on …, 2007 | 4 | 2007 |
| An agent compositional proof system B Mermet, D Fournier, G Simon From Agent Theory to Agent Implementation (AT2AI-5), 11-21, 2006 | 4 | 2006 |
| SPACE: A method to increase tracability in MAS development B Mermet, G Simon, D Fournier, M Flouret Programming Multi-Agent Systems: First International Workshop, PROMAS 2003 …, 2004 | 4 | 2004 |
| Collaboration dynamique dans un SMA B Mermet LIH, Université du Havre, 2002 | 4 | 2002 |
