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 1, 1-14, 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
Incremental specification of telecommunication services
B Mermet, D Mery
First IEEE International Conference on Formal Engineering Methods, 60-69, 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
Safe combinations of services using B
B Mermet, D Méry
Safe Comp 97: The 16th International Conference on Computer Safety …, 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
Formal model of a multiagent system
B Mermet
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 tool architecture to verify properties of multiagent system at runtime
D Meron, B Mermet
Programming Multi-Agent Systems: 4th International Workshop, ProMAS 2006 …, 2007
A new proof system to verify gdt agents
B Mermet, G Simon
Intelligent Distributed Computing VII: Proceedings of the 7th International …, 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
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
Specifying recursive agents with GDTs
B Mermet, G Simon
Autonomous Agents and Multi-Agent Systems 23, 273-301, 2011
Detection of service interactions: An approach with b
B Mermet, D Mery
AFADL97, 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
An agent compositional proof system
B Mermet, D Fournier, G Simon
From Agent Theory to Agent Implementation (AT2AI-5), 11-21, 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
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