Bruno Mermet
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
9
Active years
1997–2019
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | ICAART | Using Proof Failures to Help Debugging MAS. | Bruno Mermet, Gale Simon |
| 2016 | ECAI | Formal Verification of Ethical Properties in Multiagent Systems. | Bruno Mermet, Gale Simon |
| 2015 | AAAI | Dealing with Ethical Conflicts in Autonomous Agents and Multi-Agent Systems. | Aline Belloni, Alain Berger, Olivier Boissier, Grgory Bonnet, Gauvain Bourgne, Pierre-Antoine Chardel, Jean-Pierre Cotton, Nicolas Evreux, Jean-Gabriel Ganascia, Philippe Jaillon, Bruno Mermet, Gauthier Picard, Bernard Rever, Gale Simon, Thibault de Swarte, Catherine Tessier, Franois Vexler, Robert Voyer, Antoine Zimmermann |
| 2015 | ICSoft | Using GDT4MAS as a Formal Support for Engineering Multi-Agents Systems. | Bruno Mermet, Gale Simon |
| 2013 | IDC | A New Proof System to Verify GDT Agents. | Bruno Mermet, Gale Simon |
| 2004 | AIMSA | Variant Extensions to Prove MAS Behaviours. | Bruno Mermet, Dominique Fournier |
| 2003 | ISMIS | Using the SPACE Intermediate Model to Help to Implement Agents. | Dominique Fournier, Bruno Mermet, Gale Simon, Marianne Flouret |
| 2002 | AIMSA | A Methodology to Solve Optimisation Problems with MAS Application to the Graph Colouring Problem. | Gale Simon, Marianne Flouret, Bruno Mermet |
| 1997 | ICFEM | Incremental Specification of Telecommunication Services. | Bruno Mermet, Dominique Mry |
| 1997 | SAFECOMP | Safe combinations of services using B. | Bruno Mermet, Dominique Mry |