| Feature interactions: A mixed semantic model approach P Gibson, B Mermet, D Méry Proceedings of the 1st Irish Workshop on Formal Methods, 1997 | 23 | 1997 |
| 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 | 21 | 2006 |
| {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 | 19 | 2009 |
| Formal Verication of Ethical Properties in Multiagent Systems B Mermet, G Simon 1st Workshop on Ethics in the Design of Intelligent Agents, 2016 | 18 | 2016 |
| Incremental specification of telecommunication services B Mermet, D Mery First IEEE International Conference on Formal Engineering Methods, 60-69, 1997 | 15 | 1997 |
| Safe combinations of services using B B Mermet, D Méry Safe Comp 97: The 16th International Conference on Computer Safety …, 1997 | 15 | 1997 |
| Dealing with ethical conflicts in autonomous agents and multi-agent systems A Belloni, A Berger, O Boissier, G Bonnet, G Bourgne, PA Chardel, ... Workshops at the twenty-ninth AAAI conference on artificial intelligence, 2015 | 13 | 2015 |
| Formal model of a multiagent system B Mermet | 12 | 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 | 11 | 2007 |
| A new proof system to verify gdt agents B Mermet, G Simon Intelligent Distributed Computing VII: Proceedings of the 7th International …, 2014 | 10 | 2014 |
| 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 | 9 | 2014 |
| A tool architecture to verify properties of multiagent system at runtime D Meron, B Mermet International workshop on programming multi-agent systems, 201-216, 2006 | 9 | 2006 |
| 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 | 8 | 1998 |
| A methodology to solve optimisation problems with MAS application to the graph colouring problem G Simon, M Flouret, B Mermet Artificial Intelligence: Methodology, Systems, and Applications: 10th …, 2002 | 6 | 2002 |
| Specifying recursive agents with GDTs B Mermet, G Simon Autonomous Agents and Multi-Agent Systems 23, 273-301, 2011 | 5 | 2011 |
| Using Proof Failures to Help Debugging MAS. B Mermet, G Simon ICAART (2), 523-530, 2019 | 4 | 2019 |
| A dynamic clustering algorithm for mobile objects D Fournier, G Simon, B Mermet European Conference on Principles of Data Mining and Knowledge Discovery …, 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 |
