Publications Méthode B et Méthodes Formelles

SOMMAIRE

Publications de Clearsy
Comités de Programmes
Publications des Collaborateurs de ClearSy

Publications de ClearSy

ClearSy publie ses travaux de R&D dans des actes de conférences ou dans des revues. Souvent ces publications se font en partenariat avec nos clients ou avec nos partenaires académiques.

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

Comités de Programmes

ClearSy est reconnue dans le monde académique pour son expertise dans le domaine formel et bien sûr notamment ce qui concerne la méthode B. Dans ce cadre, certains experts de ClearSy participent aux comités de programme de différentes conférences.

• B 2007

Publications des Collaborateurs de ClearSy

BURDY Lilian
LECOMTE Thierry
MUSSAT Louis
SABATIER Denis