Réunion Geccoo

Grenoble
ENSIMAG, Bat H, salle 101

10 Mars 2006


1  Participants

Didier Bert
Sylvain Boulmé
Fabrice Bouquet
Julien Charles
Fredéric Dadeau
Alain Giorgetti
Julien Groslambert
Amal Haddad
Olga Kouchnarenko
Marieke Huisman
Yves Ledru
Jacques Julliand
Pierre-Alain Masson
Christine Paulin
Marie-Laure Potet
Silvio Ranise
Christophe Ringeissen
Nicolas Rousset
Nicolas Stouls
Sorin Stratulat


2  Programme

09h30
Accueil-café
10h00
Nicolas Stouls et Vianney Darmaillacq, Développement formel d'un moniteur détectant les violations de politiques de sécurité
10h40
Julien Groslambert et Pierre-Alain Masson, Modélisation de Demoney en JML par raffinement (Powerpoint)

11h20
Amal Haddad, Modélisation et vérification de politiques de Sécurité (Powerpoint)
12h00
Discussion. Une suite à Geccoo ? Présentation du GdR Génie de la Programmation et du Logiciel et du groupe AFADL
12h15
Déjeûner
14h00
Yves Ledru, Outils de test et preuve pour JML
14h40
Frédéric Dadeau et Fabrice Bouquet et Julien Groslambert et Jacques Julliand, Génération automatique de tests à partir de modèles JML Approche aux limites - Approche basée sur des propriétés temporelles (Powerpoint)
15h20
Nicolas Rousset, Preuves sur les transactions JavaCard avec Krakatoa
16h00
Julien Charles, Different ways to statically check a quick sort
16h40
Discussion
17h00
Fin de la réunion

Ce document a t traduit de LATEX par HEVEA