Publications


PUBLICATIONS MÉTHODE B ET MÉTHODES FORMELLES


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

picto-pdf-135x135

PUBLICATIONS DE CLEARSY
En 2012

> Lilian Burdy, Thierry Lecomte (ClearSy), Michael Leuschel (Formal Mind)
1/ CONFÉRENCE SUR L’EXPÉRIENCE DANS LE DÉVELOPPEMENT DE SYSTÈMES SÛRS AVEC LA MÉTHODE B – B événementiel (Event B) Workshop (ICFEM 2012) – (Kyoto 2012) – Vérification formelle de données (constantes) ferroviaire (invariants) – 13 Novembre 2012
2/ FORMALLY CHECKING LARGE DATA SETS
3/ TRANSPARENTS : FORMALLY CHECKING LARGE DATA SETS.

> Denis Sabatier, Lilian Burdy, Antoine Requet, Jérôme Guéry (ClearSy)
CONFÉRENCE ABZ 2012 DU 19 AU 2012 À PISE (ITALIE).
PREUVES FORMELLES POUR LA LIGNE 7 DE NEW YORK CITY TRANSIT (FLUSHING), PROJET DE MODERNISATION.

> 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

PUBLICATIONS DE CLEARSY
En 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

VOIR LE LIEN
picto-pdf-135x135

PUBLICATIONS DE CLEARSY
En 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

PUBLICATIONS DE CLEARSY
En 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

PUBLICATIONS DE CLEARSY
En 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

PUBLICATIONS DE CLEARSY
En 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

PUBLICATIONS CLEARSY, LA SUITE


Voir et télécharger toutes les publications de CLEARSY de 2000 à 2005.
Disponible via le lien ci-dessous.

VOIR PLUS

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 formelle B. Dans ce cadre, certains experts de ClearSy participent aux comités de programme de différentes conférences.

EN SAVOIR +