PUBLICATIONS
Sur cette page, vous aurez accès à toutes les présentations
qui ont donné lieu à une publication.
Table des matières
Année 2006 :
Année 2005 :
« ABTools : A
free tool for the B method »
July 10-13, 2005 - Orlando, Florida, USA
« BRAIL –
SAFETY REQUIREMENT ANALYSIS »
ICEIS 2005
7th International Conference on
MAY 24-28 2005
MIAMI USA
Pages 108-111.
« B-HDL – AN
EXAMPLE »
Multic 2005, (MCCSIS) IADIS Virtual
Multi Conference on Computer Science and Information System 2005,
April 11-29, 2005
Pages 327- 333
ISBN : 972-8939-00-0
« BRAIL –
Requirement Analysis »
Multic 2005, (MCCSIS) IADIS Virtual
Multi Conference on Computer Science and Information System 2005,
April 11-29, 2005
Pages 343- 348
ISBN : 972-8939-00-0
“BRAIL –
Analyse des Exigences”
Qualita 2005
16, 17 et 18 Mars 2005
Bordeaux, France.
“Impact des postes centraux de supervision ferroviaire
sur la sécurité :
état de l’art et perspectives”
SCHÖN Walter (UTC)- Jean-Louis Boulanger (UTC) -
Qualita 2005
16, 17 et 18 Mars 2005
Bordeaux, France.
Année 2004 :
« B-RAIL : Requirement Analysis »
Jean-Louis Boulanger and Philippe Bon
Session « analysis strategies and requirements »
2 and 3 december 2004
Résumé
Version pdf
Presentation
“ Expression et modélisation formel des risques.”
17èmes Journées
Internationales "Génie Logiciel & Ingénierie de Systèmes et leurs
Applications"
Paris - 30 novembre & 1-2 décembre 2004.
« Validation des données des systèmes de transport»
Douz, Tunisie, 22 au 24 Novembre 2004.
Résumé ;
Article
Version PDF ;
Version HTML ;
Présentation :
Version PDF (6 par pages) ;
Version HTML ;
« B-RAIL – Passage d’une modélisation
semi-formelle à une modélisation formelle »
Jean-Louis
Boulanger,
LambdaMu 14
Version PDF
de l’article.
« B-HDL – an example »,
SCI 2004 – The 8th World Multi Conférence
on Systemics, Cybernetics and Informatics
July 18-21, 2004, Orlando,
Volume 9 – Computer Science and
Engineering I
Pages 150 – 155.
« From UML to B: a level crossing case study »
Jean-Louis
Boulanger,
9th International Level Crossing Symposium and
Managing Trespass Seminar 2005
April 13 – 15 2004
Année 2003 :
“Modélisation semi-formelle et
spécification formelle : UML & B pour une application ferroviaire
simple”
Jean-Louis
Boulanger,
16èmes Journées Internationales "Génie Logiciel & Ingénierie de
Systèmes et leurs Applications"
Paris - 2,3 et 4 décembre 2003
" B-HDL, formalizing hardware by software formals
specifications "
Jean-Louis Boulanger and Georges Mariano
Sixth International Conference on Computational Methods for the Solution
of Electrical and Electromagnetic Engineering Problems
Incorporating Electromagnetic Effects on The Human Body and Equipment Seminar
10 - 12 September 2003
Split, Croatia
"
B-HDL: Circuit Design in B "
International conference on Application of Concurrency to System Design
18-20th of June 2003
Guimaraes, Portugal
Pages 241-242
PDF Version
"ABTools
: Another
B Tool"
International Conference on Application of Concurrency to System Design
18-20th of June 2003
Guimaraes, Portugal
Pages 231-232
"B-HDL: formalization of digital circuits by
coupling VHDL and the B Method"
Jean-Louis Boulanger and Georges Mariano
European Safety and Reliability Conference 2003
Session: Software Reliability and Safety: Modelling and assessment
methods
June
15 - 18, 2003
Maastricht, The Netherlands
Slides
"A
code generator for B Specifications"
Dorian Petit, Georges Mariano, Vincent Poirriez and Jean-Louis Boulanger
Symposium on Formal Methods for Railway Operation and Control Systems
15-16 May 2003,
"Validation
des données liées à la sécurité"
5ème Congrès International Pluridisciplinaire, Qualité et Sûreté de fonctionnement
Quality and dependability (RAMS),
19, 20 et 21 Mars 2003,
Nancy, France.
Rapport Technique (Mars 2003) sous forme HTML
Année 2002 :
"B/HDL, an experiment to formalizing hardware by
software formals specifications."
Jean-Louis Boulanger,
EDCC4 web site, session "fast
abstract".
Fourth European Dependable Computing Conference
Parc des Expositions,
October 23-25 2002
Slides : one by page or 6 by page
« Formalization of Digital
Circuits Using the B Method »
Jean-Louis Boulanger,
Eighth
International Conference on Computer Aided Design,
Manufacture
and Operation in the Railway and Other Advanced Mass Transit Systems
12 - 14 June 2002
« Formalization of Digital
Circuits Using the B Method »
Jean-Louis Boulanger and Georges Mariano
AFIS, EUSEC
3rd European Systems Engineering Conference
Systems Engineering: a focus of European
expertise
May 21st-24th, 2002
Toulouse (France).
Session 10 : Modelling & Tools
Pages 281-290.
« AQL: un laboratoire pour la vérification et la
validation des logiciels.»
Revue Savoir Faire
« Verification of Railways Systems»
Lambda Mu 13, du 18 au 21 mars 2002 à Lyon.
Pour visualiser la présentation web.
Pour
visualiser la présentation autonome.
« Basic concepts of the B formal method
through a digital circuit design case study»
Jean-Louis Boulanger and Georges Mariano,
in ZB2002,
Tutorials and Education session,
Année 2001 :
« Conception sûre de circuit basée sur la
notion de propriété »
Jean-Louis Boulanger, Georges
Mariano et
ICSSEA 2001
14èmes Journées Internationales
GÉNIE LOGICIEL & INGÉNIERIE DE SYSTÈMES et leurs APPLICATIONS
4-6 décembre 2001
CNAM Paris
Pour
visualiser une version html de
l'article ICSSEA 2001.
«ABTools une suite d’outils pour
Journée B-Tools organisé par l’INRETS
à Lille le 15 et 16 Octobre 2001.
|
|
HTML |
PS |
PDF |
Autonome |
|
Présentation |
|
|
||
|
Article |
|
|
"Utilisation de la modélisation pour
valider un système"
2ème
Conférence Annuelle
d’Ingénierie Système (AFIS)
L’Ingénierie
Système : un enjeu majeur pour la compétitivité des entreprises
Centre de Congrès Pierre
Baudis, TOULOUSE, 26-28 juin 2001
Pour visualiser la présentation web.
Pour visualiser la présentation autonome.
Présentation en version
PDF et PDF 6 par
pages.
Article en version
PDF
"Utilisation
des méthodes formelles pour la conception et la validation des systèmes
ferroviaires"
Jean-Louis Boulanger,
2ème
Conférence Annuelle
d’Ingénierie Système (AFIS)
L’Ingénierie
Système : un enjeu majeur pour la compétitivité des entreprises
Centre de Congrès Pierre
Baudis,TOULOUSE, 26-28 juin 2001
Pour visualiser la présentation web.
Pour visualiser la présentation autonome.
Présentation en version
PDF et PDF 6 par pages.
Article en
version PDF
"De
la validation de METEOR à l'accréditation COFRAC"
Jean-Louis
Boulanger,
QUALITA 2001 du 22 au 23
Mars 2001, Annecy.
Pour visualiser la
présentation web.
Pour visualiser la
présentation autonome.
Année 2000 :
“ Validation and
Verification of METEOR safety software ”
Jean-Louis Boulanger and Marcel Gallardo,
COMPRAIL VII, september 2000 at
BOLOGNE.
Pour visualiser la
présentation web.
“ Processus de validation basée sur
la notion de propriété ”
JL. Boulanger et Marcel Gallardo,
Lambda Mu 12, du 27 au 30 mars 2000 à Montpellier.
Pour visualiser la présentation
web.
Année 1999 :
“Modélisation
de circuit électronique en B ”
Boulanger Jean-Louis et Mariano Georges,
Rapport INRETS TR 22-95
“Revisiting
B language syntax”,
Georges Mariano, Jean-Louis Boulanger et
Bruno Tatibouet,
Rapport de recherche au laboratoire
CEDRIC-CNAM No 99-07.
“Processus
de validation basée sur la notion de propriété ”,
Jean-Louis Boulanger et Marcel Gallardo,
Rapport de recherche au laboratoire CEDRIC
–CNAM No 99-06
Année 1998 :
“ Validation
de Spécification du métro automatique METEOR basée sur un modèle
formel ”,
Jean-Louis. Boulanger, Véronique Delebarre,
Stéphane Natkin,
Rapport CEDRIC No 98-11, Octobre 1998.
Une version améliorée de cet article est
parut dans le numéro 63 (Avril - Juin 1999) de la revue RTS (Revue des
Transports et de la Sécurité).
Année 1997 :
“Deriving
safety properties of critical software from the system risk analysis,
application to ground transportation systems”,
JL.
Boulanger, V. Delebarre, S. Natkin, J.P. Ozello,
HASE’97 : 11 et 12 août 1997 dans
le Maryland aux USA.
“ Validation
de Spécification basée sur un modèle formel: Application à un système de
transport ferroviaire ”,
JL. Boulanger, V. Delebarre, S. Natkin,
Rapport CEDRIC No 97-17, Décembre 1997.
“Deriving
safety properties of critical software from the system risk analysis”,
JL.
Boulanger, V. Delebarre, S. Natkin, J.P. Ozello,
Rapport CEDRIC No 97-18, décembre 1997.
Année 1995 :
“ TESTING ”
Esprit 9032, projet CASCADE,
H Waeselynck et JL Boulanger, L Dufour, JM
Meynadier and S Davies.
“Recueil
des rapports d'anomalies sur le développement de l'AtelierB. ”,
G. Mariano, J-L. Boulanger et M.EL Koursi
Rapport réalisé dans le cadre du projet
ASCOT N2 INRETS-ESTAS No 95-48.
“The
role of testing in the B Formal development Process. ”,
H. Waeselynck et Boulanger Jean-Louis.
Rapport INRETS 95 04/01.
Une version ps et une version zippée.
Présenté dans le cadre du colloque ISSRE'95;
25, 26 et 27 octobre 1995 à Toulouse.
“ Object
Oriented Method for Axiom. ”,
Volume 30, Number 2, February 1995
Pages 33-41
Année 1994 :
“Object oriented method for
Axiom ”,
Publication du laboratoire de Lille 1, LIFL
IT263.
Paru dans la revue SIGPLAN Notice de janvier
1995.
Année 1993 :
“AXIOM, A Functional Language with Object
Oriented Development”,
Jean-Louis Boulanger
LIFL IT261 publication du laboratoire de
l'université de Lille 1.
“Axiom, un langage fonctionnel avec
développement orienté objet ”,
LIFL IT255 publication du laboratoire de
l'université de Lille 1.
Année 1991 :
“Mémoire de DEA : Etude de faisabilité
d'un compilateur pour le langage Axiom ”
Publication du laboratoire de l'université
de Lille 1.
Copyright Boulanger Jean-Louis 2000-2005
Dernières modifications
le : 8 août 2005