Towards Situated Agents Dedicated to the Road Collision Risk Avoidance. - Kamel Bouchefra; Roger Reynaud; Thierry Maurin (PAAM, 1997)

Simulation and verification of an embedded system. - Patrick Augé; Brigitte Rozoy; Thierry Maurin; Roger Reynaud; Kamel Bouchefra (CATA, 2001)

MARRELLA and the Verification of an Embedded System. - Dominique Ambroise; Patrick Augé; Kamel Bouchefra; Brigitte Rozoy (FoSSaCS, 2001)

A New Video Rate Region Color Segmentation and Classification for Sony Legged RoboCup Application. - Aymeric de Cabrol; Patrick Bonnin; Thomas Costis; Vincent Hugel; Pierre Blazevic; Kamel Bouchefra (RoboCup, 2005)