Réunion Geccoo

Grenoble

23 janvier 2004

1 Participants

Francoise Bellegarde
Didier Bert
Sylvain Boulmé
Fabrice Bouquet
Lilian Burdy
Sylvain Conchon
Evelyne Contejean
Fredéric Dadeau
Jean-Christophe Filliâtre
Julien Groslambert
Olga Kouchnarenko
Marieke Huisman
Claude Marché
Christine Paulin
Marie-Laure Potet
Silvio Ranise
Nicolas Stouls

2 Programme

10h00

Accueil café

10h45

Point sur les outils

Krakatoa et Simplify Transparents postscript
Claude Marché
Jack-haRVey Transparents pdf
Lilian Burdy
Connection Why -Harvey
Silvio Ranise

11h45

Etude de cas : Demoney Transparents postscript
Christine Paulin

14h

Enforcing high-level security properties using JML Transparents pdf

Marieke Huisman
Rapport de Recherche Enforcing High-Level Security Properties For Applets, Mariela Pavlova, Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet

15h

Contribution au raffinement
Françoise Bellegarde

17h

Fin de la réunion

This document was translated from L^AT_EX by H^EV^EA.