Publications


METHOD B & FORMAL METHOD PUBLICATIONS


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

picto-pdf-135x135

CLEARSY’S PUBLICATIONS
In 2012

> Lilian Burdy, Thierry Lecomte (ClearSy), Michael Leuschel (Formal Mind)
1/ WORKSHOP ON THE EXPERIENCE OF AND ADVANCES IN DEVELOPING DEPENDABLE SYSTEMS IN EVENT B – B événementiel (Event B) Workshop (ICFEM 2012) – (Kyoto 2012) – Formally checking large data sets – 13 Novembre 2012
2/ FORMALLY CHECKING DATA SETS
3/ SLIDES : FORMALLY CHECKING DATA SETS

> Denis Sabatier, Lilian Burdy, Antoine Requet, Jérôme Guéry (ClearSy)
CONFÉRENCE ABZ 2012 DU 19 AU 2012 À PISE (ITALIE).
FORMAL PROOFS FOR THE NEW YORK CITY TRANSIT LINE 7 (FLUSHING) MODERNIZATION PROJECT

> Lilian Burdy (ClearSy), Jean-Louis Dufour (Sagem) et Thierry Lecomte (ClearSy).
CONFÉRENCE ERTS 2012. THE B METHOD TAKES UP FLOATING-POINT NUMBERS.

picto-pdf-135x135

CLEARSY’S PUBLICATIONS
In 2011

> Marc Benveniste (STMicroelectronics) – Louis Mussat, Thierry Lecomte, Antoine Requet (ClearSy) – Proceedings of the B 2011 Workshop, a satellite event of the 17th International Symposium on Formal Methods (FM 2011) – On Using B in the Design of Secure Micro-Controllers : An Experience Report – 14 Décembre 2011

SEE LINK
picto-pdf-135x135

CLEARSY’S PUBLICATIONS
In 2009

> Marc Benveniste (STMicroelectronics) – Louis Mussat, Thierry Lecomte, Antoine Requet (ClearSy) – Recent Innovations and Applications in B’2009 ) Eindhoven – 3 Novembre 2009
A “CORRECT BY CONSTRUCTION”
REALISTIC DIGITAL CIRCUIT

picto-pdf-135x135

CLEARSY’S PUBLICATIONS
In 2008

> Antoine Requet (ClearSy),Conférence de Nantes – 16 Juin 2008
AN OVERVIEW OF ATELIER B 4.0

> Louis Mussat (ClearSy) – 07 Juillet 2008
MODÈLES RÉACTIFS – EXEMPLE DE B ÉVÉNEMENTIEL “L’ÎLE”Au format .zip

> Denis Sabatier (ClearSy), Brice Dellandrea (Thales), David Chemouil (CNES) – DASIA 2008
FDIR STRATEGY VALIDATION WITH THE B METHOD

> T. Lecomte – Colloque FM 2008, Finlande
SAFE AND RELIABLE METRO PLATFORM SCREEN DOORS CONTROL/COMMAND SYSTEMS

> CLEARSY
INDUSTRIAL USE OF B

picto-pdf-135x135

CLEARSY’S PUBLICATIONS
In 2007

> T. Lecomte, T. Servat, G. Pouzancre – Conférence SBMF 2007 Brésil – FORMAL METHODS IN SAFETY CRITICAL RAILWAY SYSTEMS

> Thierry Lecomte (ClearSy), Dominique Cansell, Dominique Méry (Université Henri Poincaré Nany 1/Loria) – Patrons de conception prouvés – PRÉSENTATION T. LECOMTE – PATRONS DE CONCEPTION PROUVÉS

> Sarah Hoffmann, Sophie Gabriele (STMicroelectronics), Lilian Burdy (ClearSy) – ClearSy / ST Microelectroncs – ZB2007. THE B METHOD FOR THE CONSTRUCTION OF MICROKERNEL-BASED SYSTEMS

> ZB2007
1/ BRAMA : A NEW GRAPHIC ANIMATION TOOL FOR B MODELS2/ THE B-METHOD FOR THE CONSTRUCTION OF MICROKERNEL-BASED SYSTEMS

picto-pdf-135x135

CLEARSY’S PUBLICATIONS
In 2006

> F. Patin, G. Pouzancre, D. Sabatier (ClearSy), S. Hauvespre et P. Sauvage (RATP) – Lambda Mu 15. 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.

> Florent Patin, Guilhem Pouzancre, Thierry Servat – AFIS 2006. APPROCHE FORMELLE POUR LA RÉALISATION D’UN SYSTÈME SÉCURITAIRE DE CONTRÔLE COMMANDE DE FAÇADES DE QUAI

> F. Patin – AFADL’06
COMPOSYS : UN OUTIL DE MODÉLISATION DES SYSTÈMES – PRÉSENTATION AFADL’06

CLEARSY'S OTHER PUBLICATIONS


See and download all Clearsy’s publications from 2000 to 2005
Available with the following link.

SEE MORE

PROGRAM COMITTEES


> 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.

EN SAVOIR +