09:15-10:00 L'approche modelware : exploitation des modèles au cœur des systèmes - apports et besoins pour la vérification M. Sibilla (IRIT) et F. Jocteur-Monrozier (CNES)
10:30-11:15 Nouvelles techniques de " model-checking " pour la vérification de systèmes complexes A. Duret-Lutz, S. Baarir, Y. Thierry-Mieg et F. Kordon (Université P. & M. Curie/LIP6-SRC)
11:15-11:45 Validation dynamique de modèles UML J.-M. Jezequel (IRISA)
11:45-12:30 Mise en œuvre d'observateurs temporisés pour la validation de logiciels temps réel P. Dhaussy, J.-C. Roger et O. Habart (ENSIETA)
14:00-14:45 Vérification par affinement des systèmes électroniques S. Hallerstede (KEESDA), Y. Zimmermann (KEESDA), D. Cansell (LORIA)
14:45-15:30 Projet NEPTUNE : vérification statique d'un modèle T. Milan, C. Percebois, H. Leblanc, P. Bazex (IRIT)
16:00-16:45 Vérification dans un AGL orienté modèles M. Filali (1)(2), P. Michel (1)(3), P. Farail, P. Gaufillet (4), F. Vernada (1) (5) - (1) FeRiA (2) IRIT (3) ONERA (4) AIRBUS FRANCE (5) LAAS