PRESENTATIONS ORALES
Remarque :
Sur cette page vous aurez accès à toutes les présentations
orales qui n’ont pas donné lieu à une publication.
Année 2005 :
“
Conception sûr de circuit numérique ”,
Journée EEA 2005,
LYON
17 et 18 mars 2005,
Jean-Louis Boulanger (UTC/Heudiasyc)
Année 2004 :
« UML et les systèmes certifiables »
Jean-Louis Boulanger (UTC/Heudiasyc)
Langages et Modèles Objets, LMO 2004
15-17 mars 2004
Présentation orale.
"Maîtrise des risques et processus de
vérification."
Jean-Louis Boulanger (UTC/Heudiasyc)
Présentation au CEA.
23 Avril 2004
Supports de présentation :
La présentation (en version 6 diapos par page)
"Activités logicielles liées au
transport."
Jean-Louis Boulanger (UTC/Heudiasyc)
Réunion de l’axe transversal « Transport » du
laboratoire Heudiasyc.
12 Février 2004
Supports de présentation :
La présentation (en version 6 diapos par page)
"Certification d'application Ferroviaire
développée formellement ou non."
Jean-Louis Boulanger (UTC/Heudiasyc, CERTIFER)
Club SEE
"Systèmes Informatiques de Confiance"
Réunion du 3 février 2004 à l'ONERA de Toulouse
Thème : "Certification et méthodes formelles"
Supports de présentation :
La présentation (en version 6 diapos par page)
« From UML to B: a level crossing case study »
Jean-Louis Boulanger,
8th International Level Crossing
Symposium and Managing Trespass Seminar 2004
13 April – 15 April 2004
Année 2003 :
"BHDL Tool"
Philippe
Devienne,
Journées
du groupe B du GDR ALP
20 Novembre 2003
Conservatoire National des Arts et Métiers (CNAM) Paris
Le résumé
La présentation (en version 6 diapos par page)
"Grammaires et implantation des
substitutions généralisées"
Journées
du groupe B du GDR ALP
20 Novembre 2003
Conservatoire National des Arts et Métiers (CNAM) Paris
La présentation.
"
Séminaire au sein du laboratoire SeT de l'UTBM (Université de Technologie de Belfort-Monbéliard)
La présentation
"Expression et Validation des propriétés de
sécurité logique et physique pour les systèmes informatiques critiques"
Journée du laboratoire Heudiasyc de l'Université de Technologie de Compiègne, Jeudi 11 Septembre 2003
Le résumé.
La présentation.
" B-HDL : Conception sûre de circuit "
Jean-Louis Boulanger (UTC/Heudiasyc)
Club SEE
"Systemes Informatiques de Confiance"
Reunion du 19 juin 2003 à l'ENST (Paris)
Thème : "Méthodes formelles"
La présentation en version pdf.
" BRILLANT"
Jean-Louis Boulanger (UTC/Heudiasyc) et Georges Mariano (INRETS-ESTAS)
Club SEE
"Systemes Informatiques de Confiance"
Reunion du 19 juin 2003 à l'ENST (Paris)
Thème : "Méthodes formelles"
Le résumé.
La présentation en version pdf.
Cours sur
20h de cours, TD et TP sur
Octobre 2003-Janvier 2004
Lien sur les supports de cours
Année 2002 :
« ABTools : un environnement
de prototypage pour
Jean-Louis Boulanger (UTC/Heudiasyc)
Journées du groupe B du GDR ALP
13-14 juin 2002
Conservatoire National des Arts et
Métiers (CNAM) Paris
Le programme se trouve sur le site B
Mais vous pouvez aussi récupérer les éléments suivants:
Le résumé
§
en version ps ou
§
en version pdf.
La présentation :
"Vérification de spécification de logiciel
critique"
Jean-Louis
Boulanger (UTC/Heudiasyc)
Club
SEE 63 "Systèmes Informatiques de Confiance"
Réunion du jeudi 31 janvier
2002 à l'ENST (Paris)
Thème : "Validation et
certification de logiciels critiques"
Cours de 3h sur la Modélisation de système
critique. DESS DSL Paris 6.
Cours sur
20h
de cours, TD et TP sur
Octobre 2002-Janvier 2003
Lien sur les supports de cours
Année 2001 :
Cours sur
6h de cours sur la méthode B à l'Université de Technologie de Compiègne
Décembre 2001
Lien sur les supports de cours.
Cours sur
20h de cours, TD et TP sur la méthode B dans le cadre du DESS QUASSI à l’école d’ingénieur ISTIA d’ANGERS
Octobre 2001- Novembre 2001
Lien sur les supports de cours
"Présentation du processus de
validation de la RATP et de ces évolutions"
Jean-Louis Boulanger (RATP),
Présentation à l'INRIA dans le cadre du groupe INTECH dans le thème « Détection des erreurs d'exécution dans les logiciels embarqués ». Février 2001
Le site INTECH avec les présentations.
Accès à une version WEB de cette présentation.
Accès à une présentation autonome.
Cours de 3h sur la Modélisation de système
critique. DESS DSL
Paris 6.
Cours sur
20h de cours, TD et TP sur la méthode B dans le cadre du DESS QUASSI à l’école d’ingénieur ISTIA d’ANGERS
Octobre 2001-Janvier 2002
Lien
sur les supports de cours
Année 2000 :
Cours sur
8h
de cours sur
Décembre
2000 -Janvier 2001
Lien sur les supports de cours.
Cours sur
20h
de cours, TD et TP sur
Octobre
2000-Janvier 2001
Lien sur les supports de cours
"Présentation
de
Jean-Louis Boulanger (RATP)
Dans
le cadre du DESS QUASSI à l’école d’ingénieur ISTIA d’ANGERS
Mars
2000.
Invité pour la table ronde à l’AFADL
2000.
26-27-28
Janvier 2000.
Année 1999 :
“Processus de validation de
logiciel critique”
Jean-Louis Boulanger (RATP),
SEMINAIRE DU LaMI,
Laboratoire de Méthodes Informatiques
Université d'Evry,
JEUDI 2 DECEMBRE A 15h
“Processus de validation de
logiciel critique”
Jean-Louis Boulanger (RATP),
BUG-SEE du
29-30 Novembre 1999 à LILLE
Accès
à une version WEB
de la présentation.
Accès
à une présentation autonome.
“Processus
de validation basée sur la notion de propriété ”
Jean-Louis Boulanger (RATP) et
Marcel Gallardo,
WADT’99,
du 15 au 18 septembre 1999 à Toulouse
Accès aux informations : Titre et Résumé
Accès à une version WEB de la présentation.
Accès à une présentation autonome.
Copyright
Dernières modifications
le : 8 août 2005