Bruno Mermet
Bruno Mermet
Verified email at
Cited by
Cited by
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
Feature interactions: A mixed semantic model approach
P Gibson, B Mermet, D Méry
Proceedings of the 1st Irish Workshop on Formal Methods, 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
Formal Verication of Ethical Properties in Multiagent Systems
B Mermet, G Simon
1st Workshop on Ethics in the Design of Intelligent Agents, 2016
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
Incremental specification of telecommunication services
B Mermet, D Mery
First IEEE International Conference on Formal Engineering Methods, 60-69, 1997
Safe combinations of services using B
B Mermet, D Méry
Safe Comp 97: The 16th International Conference on Computer Safety …, 1997
Formal model of a multiagent system
B Mermet
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
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
A new proof system to verify gdt agents
B Mermet, G Simon
Intelligent Distributed Computing VII: Proceedings of the 7th International …, 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
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
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
Specifying recursive agents with GDTs
B Mermet, G Simon
Autonomous Agents and Multi-Agent Systems 23, 273-301, 2011
An agent compositional proof system
B Mermet, D Fournier, G Simon
From Agent Theory to Agent Implementation (AT2AI-5), 11-21, 2006
Using proof failures to help debugging MAS
B Mermet, G Simon
International Conference on Agents and Artificial Intelligence 2, 523-530, 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
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
Collaboration dynamique dans un SMA
B Mermet
LIH, Université du Havre, 2002
The system can't perform the operation now. Try again later.
Articles 1–20