Publications

SUMMARY

ClearSy Publications
Program Committees
ClearSy Employee Publications

ClearSy Publications

ClearSy publishes its R&D works in conference proceedings and reviews. These publications often result from partnerships with clients or academic partners.

2007

• Thierry Lecomte (ClearSy) - Dominique Cansell, Dominique Méry (Université Henri Poincaré)
  Patrons de conception prouvés
  ClearSy - Université Henri Poincaré Nancy 1/Loria
  Télécharger - Article

• Sarah Hoffmann and Sophie Gabriele (ST Microelectronics)
  The B-Method for the Construction of Microkernel-Based Systems
  ClearSy - ST Mircroelectronics
  ZB2007
  Télécharger

• BRAMA: A New Graphic Animation Tool for B Models
  ZB2007
  Télécharger

2006

• G. Pouzancre
  Utilisation de l'outil CompoSys dans le projet Coppilot
  AFIS 2006
  Télécharger

• F. Patin, G. Pouzancre, D. Sabatier (ClearSy), S. Hauvespre et P. Sauvage (RATP)
  Utilisation de la Méthode Formelle B pour un Système SIL3 : la Commande des Portes Palières sur la ligne 13 du métro Parisien
  ClearSy - RATP
  Lamda Mu 15
  Télécharger

• Florent Patin, Guilhem Pouzancre, Thierry Servat
  Approche Formelle pour la Réalisation d'un Système Sécuritaire de Contrôle Commade de Façades de Quais
  AFIS 2006
  Télécharger

2005

• R. Sola, S. Coudert, S. Gabriele, S. Hoffmann, L. Burdy
  Microkernel API formal modelisation
  ClearSy - ENST - Microelectronics
  SAME 2005 Forum, Nice, France, October.
  Télécharger

2004

• Frédéric Badeau, Didier Bert, Sylvain Boulmé, Christophe Métayer, Marie-Laure Potet, Nicolas Stouls, Laurent Voisin
  Adaptabilité et validation de la traduction de B vers C. Points de vue et résultats du projet BOM.
  Technique et Science Informatiques 23(7): 879-903
  Accéder à l'article
  

• Denis Sabatier
  Reusing formal models.
  IFIP Congress Topical Sessions 2004: 613-620

2003

• Didier Bert, Sylvain Boulmé, Marie-Laure Potet, Antoine Requet, Laurent Voisin
  Adaptable Translator of B Specifications to Embedded C Programs.
  ClearSy - Gemplus - LSR - IMAG
  FME 2003: 94-113
  Accéder à l'article
  

• Guilhem Pouzancre
  How to Diagnose a Modern Car with a Formal B Model?
  ZB 2003: 98-100
  Accéder à l'article
   
• Guilhem Pouzancre, Jean-Philippe Pitzalis
  Modélisation en B événementiel des fonctions mécaniques, électriques et informatiques d'un véhicule.
  Technique et Science Informatiques 22(1): 119-128
  Accéder à l'article

2000

• Denis Sabatier, Pierre Lartigue
  The Use of the B Formal Method for the Design and the Validation of the Transaction Mechanism for Smart Card Applications.
  ClearSy - Gemplus
  Formal Methods in System Design 17(3): 245-272
  Accéder à l'article

Program Committees

ClearSy is renowned in the academic world for its expertise in the formal field and, obviously, specifically for the B Method.  In this context, certain ClearSy experts participate in program committees for a number of conferences.

• B 2007

ClearSy Employees Publications

BURDY Lilian
LECOMTE Thierry 
MUSSAT Louis
SABATIER Denis