| Using Proof Failures To Help Debugging Mas | 0 | 0.34 | 2019 |
| Vérification formelle du respect de valeurs morales dans les SMA. | 0 | 0.34 | 2017 |
| Vers une aide au débuggage des SMA par l'exploitation d'échecs de preuve. | 0 | 0.34 | 2017 |
| Vérification formelle et éthique dans les SMA. | 0 | 0.34 | 2016 |
| Formal Verification of Ethical Properties in Multiagent Systems. | 1 | 0.36 | 2016 |
| Using GDT4MAS as a formal support for engineering multi-agents systems | 0 | 0.34 | 2015 |
| Dealing with Ethical Conflicts in Autonomous Agents and Multi-Agent Systems. | 1 | 0.37 | 2015 |
| A New Proof System to Verify GDT Agents. | 1 | 0.39 | 2013 |
| GDT4MAS: a formal model and language to specify and verify agent-based complex systems. | 0 | 0.34 | 2012 |
| Specifying recursive agents with GDTs | 1 | 0.39 | 2011 |
| Spécifier des agents composés d'agents avec les GDT [présentation courte]. | 0 | 0.34 | 2009 |
| GDT4MAS: an extension of the GDT model to specify and to verify MultiAgent systems | 5 | 0.48 | 2009 |
| Vers un algorithme multi-agents de clustering dynamique | 0 | 0.34 | 2007 |
| Specifying and Verifying a MAS: The Robots on MarsCase Study | 0 | 0.34 | 2007 |
| A Dynamic Clustering Algorithm for Mobile Objects | 1 | 0.35 | 2007 |
| A tool architecture to verify properties of multiagent system at runtime | 3 | 0.40 | 2006 |
| Goal decomposition tree: an agent model to generate a validated agent behaviour | 5 | 0.53 | 2005 |
| SPACE: A Method to Increase Tracability in MAS Development | 3 | 0.43 | 2003 |
| Using the SPACE Intermediate Model to Help to Implement Agents | 0 | 0.34 | 2003 |
| Vers une méthodologie de développement de SMA adaptés aux problèmes d'optimisation. | 1 | 0.36 | 2002 |
| A Methodology to Solve Optimisation Problems with MAS Application to the Graph Colouring Problem | 3 | 0.44 | 2002 |
| Service specifications: to B, or not to B | 3 | 0.41 | 1998 |
| Incremental Specification of Telecommunication Services | 5 | 0.46 | 1997 |
| Safe combinations of services using B | 6 | 0.55 | 1997 |
| Feature interactions: a mixed semantic model approach | 12 | 0.83 | 1997 |
