- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j10 |      | Madeleine El-Zaher, Jean-Michel Contet, Pablo Gruer, Franck Gechter, Abderrafiaa Koukam: Compositional verification for reactive multi-agent systems applied to platoon non collision verification. Stud. Inform. Univ. 10(3): 119-141 (2012) |
| c17 | | Baudouin Dafflon, Jean-Michel Contet, Franck Gechter, Pablo Gruer: Toward a Reactive Agent Based Parking Assistance System. ICTAI 2012: 500-507 |
| 2011 | ||
| j9 | | Jean-Michel Contet, Franck Gechter, Pablo Gruer, Abderrafiaa Koukam: Reactive multi-agent approach to local platoon control: stability analysis and experimentations. IJISTA 10(3): 231-249 (2011) |
| c16 | | Baudouin Dafflon, Franck Gechter, Jean-Michel Contet, Abdeljalil Abbas-Turki, Pablo Gruer: Intelligent Crossroads for Vehicle Platoons Reconfiguration. ICAIS 2011: 203-214 |
| c15 | | Madeleine El-Zaher, Franck Gechter, Pablo Gruer, Mohammad Hajjar: A New Linear Platoon Model Based on Reactive Multi-agent Systems. ICTAI 2011: 898-899 |
| c14 | | Franck Gechter, Jean-Michel Contet, Pablo Gruer, Abderrafiaa Koukam: A Reactive Agent Based Vehicle Platoon Algorithm with Integrated Obstacle Avoidance Ability. SASO 2011: 129-137 |
| 2010 | ||
| j8 | | Vincent Hilaire, Fabrice Lauri, Pablo Gruer, Abderrafiaa Koukam, Sebastian Rodriguez: Formal specification of an immune based agent architecture. Eng. Appl. of AI 23(4): 505-513 (2010) |
| j7 | | Franck Gechter, Jean-Michel Contet, Pablo Gruer, Abderrafiaa Koukam: Car-driving assistance using organization measurement of reactive multi-agent system. Procedia CS 1(1): 317-325 (2010) |
| 2009 | ||
| c13 | | Jean-Michel Contet, Franck Gechter, Pablo Gruer, Abderrafiaa Koukam: Bending Virtual Spring-Damper: A Solution to Improve Local Platoon Control. ICCS (1) 2009: 601-610 |
| c12 |  | Jean-Michel Contet, Franck Gechter, Pablo Gruer: Mécanisme décisionnel basé sur la mesure de l'organisation d'un SMA : application à l'évitement d'obstacles [présentation courte]. JFSMA 2009: 99-108 |
| 2008 | ||
| j6 | | Vincent Hilaire, Pablo Gruer, Abderrafiaa Koukam, Olivier Simonin: Formal driven prototyping approach for multiagent systems. IJAOSE 2(2): 246-266 (2008) |
| c11 | | Jean-Michel Contet, Franck Gechter, Pablo Gruer, Abder Koukam: Evaluation of global system state thanks to local phenomenona. ECAI 2008: 865-866 |
| c10 | | Drago Matko, Gregor Klancar, Saso Blazic, Olivier Simonin, Franck Gechter, Jean-Michel Contet, Pablo Gruer: The Application of Reference-path Control to Vehicle Platoons. ICINCO-RA (1) 2008: 145-150 |
| 2007 | ||
| j5 | | Sebastian Rodriguez, Vincent Hilaire, Pablo Gruer, Abder Koukam: A Formal Holonic Framework with Proved Self-Organizing Capabilities. Int. J. Cooperative Inf. Syst. 16(1): 7-25 (2007) |
| j4 | | Vincent Hilaire, Pablo Gruer, Abder Koukam, Olivier Simonin: Formal Specification Approach of Role Dynamics in Agent Organisations: Application to the Satisfaction-Altruism Model. International Journal of Software Engineering and Knowledge Engineering 17(5): 615-641 (2007) |
| c9 | | Jean-Michel Contet, Franck Gechter, Pablo Gruer, Abder Koukam: Physics inspired multiagent system for vehicle platooning. AAMAS 2007: 184 |
| c8 | | Jean-Michel Contet, Franck Gechter, Pablo Gruer, Abderrafiaa Koukam: Application of Reactive Multiagent System to Linear Vehicle Platoon. ICTAI (2) 2007: 67-70 |
| 2004 | ||
| j3 | | Pablo Gruer, Vincent Hilaire, Abder Koukam, P. Rovarini: Heterogeneous formal specification based on Object-Z and statecharts: semantics and verification. Journal of Systems and Software 70(1-2): 95-105 (2004) |
| 2002 | ||
| j2 | | Pablo Gruer, Vincent Hilaire, Abder Koukam, Krzysztof Cetnarowicz: A formal framework for multi-agent systems analysis and design. Expert Syst. Appl. 23(4): 349-355 (2002) |
| c7 | | Vincent Hilaire, Abder Koukam, Pablo Gruer: A Mechanism for Dynamic Role Playing. Agent Technologies, Infrastructures, Tools, and Applications for E-Services 2002: 36-48 |
| 2001 | ||
| c6 | | Krzysztof Cetnarowicz, Pablo Gruer, Vincent Hilaire, Abder Koukam: A Formal Specification of M-Agent Architecture. CEEMAS 2001: 62-72 |
| c5 | | Pablo Gruer, Vincent Hilaire, Abder Koukam, Krzysztof Cetnarowicz: A Formal Framework for Multi-Agent Systems Analysis and Design. SEKE 2001: 276-282 |
| 2000 | ||
| c4 | | Vincent Hilaire, Abder Koukam, Pablo Gruer, Jean-Pierre Müller: Formal Specification and Prototyping of Multi-agent Systems. ESAW 2000: 114-127 |
| c3 | | Pablo Gruer, Vincent Hilaire, Abder Koukam: Verification of Object-Z Specifications by Using Transition Systems: Application to the Radiomobile Network Design Problem. FASE 2000: 222-236 |
| c2 | | Pablo Gruer, Vincent Hilaire, Abder Koukam: Towards Verification of Multi-Agent Systems. ICMAS 2000: 393-394 |
| 1998 | ||
| j1 | | Pablo Gruer, Abder Koukam, Belhassen Mazigh: Modeling and quantitative analysis of discrete event systems: A statecharts based approach. Simul. Pr. Theory 6(4): 397-411 (1998) |
| c1 | | Belhassen Mazigh, Pablo Gruer, Abder Koukam: An Extended Statecharts Approach for the Modeling and Analysis of Discrete Event Systems: The Case of Manufacturing Systems. ESM 1998: 656-660 |
Data released under the ODC-BY 1.0 license — See also our legal information page