Mercredi 11 janvier

8h30-9h00 : Accueil

9h00-10h00 : Présentation invitée  (présidée par Marie-Laure Potet)
Cyril Prévé, société Mathworks
Les défis de l’Interprétation Abstraite dans l’industrie. Les solutions apportées par Polyspace.

10h00-10h30 : Session 1 (présidée par Marie-Laure Potet)

10h00-10h30 : Rémy Wyss, Frédéric Boniol, Claire Pagetti, Julien Forget.
Calcul et vérification de propriétés de latence sur une spécification fonctionnelle synchrone multi-périodique

10h30-10h45 : Pause

10h45-12h15 : Session 2 (présidée par Sylvie Vignes)

10h45-11h15 : Gregor Goessler, Daniel Le Métayer, Eduardo Mazza, Marie-Laure Potet, Lacramioara Astefanoaei.
Apport des méthodes formelles dans l'exploitation de logs informatiques dans un contexte contractuel

11h15-11h30 : Thomas Bellet, Agnès Arnould, Pascale Le Gall.
JERBOA : un modeleur géométrique à base de règles

11h30-11h45 : Karim Berkani, David Delahaye, Catherine Dubois, Mélanie Jacquel, Martin Keogh, Eric Le Lay.
BCARe : un environnement pour la vérification de règles de l’Atelier B

11h45-12h00 : Anne-Lise Courbis, Thomas Lambolais, Hong-Viet Luong, Thanh Liem Phan.
IDCM : un outil d'analyse de composants et d'architectures dédié à la construction incrémentale

13h00-14h00 : Repas

14h00-16h00 : Session de démonstrations d’outils
Stands disposés de sorte à permettre aux participants de suivre des démonstrations par groupe.

16h00-16h15 : Pause

16h15 – 17h45 : Session 3 (présidée par Akram Idani)

16h15-16h45 : Azzedine Amiar, Lydie Du Bousquet, Yliès Falcone, Mickaël Delahaye.
Résumer les traces d’exécution des micro-contrôleurs

16h45-17h15 : Faqing Yang, Jean-Pierre Jacquot, Jeanine Souquières.
Traduction de B événementiel en C pour la validation par la simulation

17h15-17h45 : Christophe Chareton, Julien Brunel, David Chemouil.
Vers une sémantique des jeux pour un langage d’ingénierie des exigences par buts et agents

19h00 : Cocktail à la mairie de Grenoble
 

Jeudi 12 janvier

9h00 – 10h30 : Tutoriel (session présidée par Ioannis Parissis)
Hubert Garavel, Frederic Lang, Radu Mateescu, Wendelin Serwe, Gwen Salaün.
CADP : une boîte à outils pour la conception et l'analyse de systèmes distribués

10h30-10h45 : Pause

10h45 - 12h15 : Tutoriel (suite)
Hubert Garavel, Frederic Lang, Radu Mateescu, Wendelin Serwe, Gwen Salaün.
CADP : une boîte à outils pour la conception et l'analyse de systèmes distribués

13h00 - 14h00 : Repas

14h00-16h00 : Session de démonstrations d’outils
Stands disposés de sorte à permettre aux participants de suivre des démonstrations par groupe.

16h00-18h00 : Visite du Musée Dauphinois
19h30 : Diner de gala
 

Vendredi 13 janvier

9h00 – 10h00 : Présentation invitée (présidée par Virginie Wiels)
B. Berthomieu, J.-P. Bodeveix, S. Dal Zilio, P. Farail, M. Filali, P. Gaufillet, F. Vernadat
La traduction AADL - FIACRE L'expérience TOPCASED

10h00 – 10h15 : Pause

10h15-12h15 : Session 4 (présidée par Yliès Falcone)

10h15-10h45 : Yves Grasland, Lydie Du Bousquet, Roland Groz, Ioannis Parissis.
Evaluation de la qualité de jeux de tests hybrides en domotique

10h45-11h15 : Taha Triki, Yves Ledru, Lydie Du Bousquet.
Réduction de suites de tests avec des critères d’équivalence basés sur la couverture structurelle

11h15-11h45 : Antoine Ferlin , Virginie Wiels.
Calcul de points d'observation pour l'analyse dynamique de programmes

11h45-12h15 : Elizabeta Fourneret, Fabrice Bouquet, Martin Ochoa, Jan Jurjens, Sven Wenzel.
Vérification et Test pour des systèmes évolutifs

13h00 – 14h00 : Repas – Fin