Publications

SUMMARY

ClearSy Publications

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

2008

Antoine Requet (ClearSy)
An overview of Atelier B 4.0
Nantes Conference – June 16, 2008
Download Article

Louis Mussat (ClearSy)
Modèles Réactifs - Exemple de B Evénementiel "L'Ile"
07 juillet 2008

Download Article Archives

Denis Sabatier (ClearSy) - Brice Dellandrea (Thales), David Chemouil (CNES)
FDIR Strategy Validation with the B Method
DASIA 2008
Download

T. Lecomte
"Safe and Reliable Metro Platform Screen Doors Control/Command Systems"
FM 2008, Finland
Download the article...

ClearSy
"Industrial Use of B"
Download

2007

T. Lecomte, T. Servat, G. Pouzancre
"Formal Methods in Satefy Critical Railway Systems"
Conférence SBMF 2007, Brésil
Download the article...

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

Sarah Hoffmann and Sophie Gabriele (ST Microelectronics)
The B-Method for the Construction of Microkernel-Based Systems
ClearSy - ST Mircroelectronics
ZB2007
Download

BRAMA: A New Graphic Animation Tool for B Models
ZB2007
Download

2006

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
Download

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
Download

2005

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

D. Sabatier, G. Hacken, S. Georgiadis, E. Cutright, N. Gahly, N Khalil
'Safe Software' Need Not Be an Oxymoron
CBTC NY
Access to article

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

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

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