Participants au groupe de travail

Responsables du groupe

Lydie du Bousquet
Laboratoire d'Informatique de Grenoble - LIG
Email : lydie.du-bousquet@imag.fr
Page personnelle : http://membres-lig.imag.fr/dubousquet/

Frédéric Dadeau
Institut FEMTO-ST/INRIA CASSIS
Email : frederic.dadeau@femto-st.fr
Page personnelle : http://members.femto-st.fr/frederic-dadeau

Equipes nationales

Informations sur les équipes françaises participant au groupe de travail:

• Equipe Test Formel et Exploration de Systèmes - ForTesSE
  Laboratoire LRI
  Contact : Marie-Claude Gaudel
  Permanents : 6, Doctorants : 4, Post-doctorants : 2

• Equipe Méthodes et modèles pour les réseaux - METHODES
  Laboratoire SAMOVAR
  Contact : Ana Cavalli
  Permanents : 5, Doctorants : 8, Post-doctorants : 3

• Equipe Distributed and Complex Systems - DCS
  Laboratoire VERIMAG
  Contact : Laurent Mounier
  Permanents : 3, Doctorants : 1, Post-doctorants : 1

• Equipe Validation de Systèmes, Composants et Objets logiciels - VASCO
  Laboratoire LIG
  Contact : Lydie du Bousquet
  Permanents : 8, Doctorants : 8, Post-doctorants : 2

• Equipe Conception et Test de Systèmes embarqués - CTSYS
  Laboratoire LCIS
  Contact : Ioannis Parissis
  Permanents : 11, Doctorants : 7, Post-doctorants : 1

• Equipe VERification models and techniques applied to the TEsting and Control of reactive Systems - VerTeCs
  Laboratoire IRISA
  Contact : Thierry Jéron
  Permanents : 3, Doctorants : 3, Post-doctorants : 0

• Equipe Tolérance aux Fautes et Sûreté de Fonctionnement Informatique - TSF
  Laboratoire LAAS-CNRS
  Contact : Hélène Waeselynck
  Permanents : 2, Doctorants : 3, Post-doctorants : 0

• Equipe Modèles Discrets pour les Systèmes Complexes - MDSC
  Laboratoire I3S
  Contact : Michel Rueher
  Permanents : 3, Doctorants : 2, Post-doctorants : 1

• Equipe Approche LOGIque pour la Modélisation et l'Analyse des Systèmes et des Données - LOGIMAS
  Laboratoire MAS
  Contact : Pascale Legall
  Permanents : 4, Doctorants : 6, Post-doctorants : 1

• Equipe Laboratoire Sécurité Logicielle - LSL
  Laboratoire CEA-LIST
  Contact : Nikolai Kosmatov
  Permanents : 23, Doctorants : 3, Post-doctorants : 0

• Equipe Méthodes Formelles - MF
  Laboratoire LaBRI
  Contact : Antoine Rollet
  Permanents : 3, Doctorants : 0, Post-doctorants : 0

• Equipe Vérification et Validation de logiciels et de systèmes embarqués - VESONTIO
  Laboratoire Institut FEMTO-ST
  Contact : Frédéric Dadeau
  Permanents : 11, Doctorants : 5, Post-doctorants : 1

• Equipe Systèmes d’Information et de Communication - SIC
  Laboratoire LIMOS
  Contact : Sébastien Salva
  Permanents : 2, Doctorants : 2, Post-doctorants : 0

• Equipe Architecture et Logiciels Sûrs - AeLoS
  Laboratoire LINA
  Contact : Jean-Marie Mottu
  Permanents : 8, Doctorants : 7, Post-doctorants : 0

  Equipes internationales

  Equipes ou chercheurs étrangers associés au groupe de travail :

  • Andreas Podelski (http://mpi-inf.mpg.de/~podelski/)
  • F. Kendek et R. Dssouli, Colorado State University, Carleton University (Ottawa, Canada)
  • Yvan Labiche, Software Quality engineering Laboratory (SQUALL), Carleton University, Canada
  • Manuel Nunez, Dep. Sistemas Informáticos y Programación, Facultad de Informática, Universidad Complutense de Madrid
  • Antonia Bertolino, Sofware Engineering Research Laboratory, ISTI Istituto di Scienza e Tecnologie della Informazione A. Faedo, Pise, Italie.
  • Arnaud Gotlieb, Simula Research Laboratory, Norway (permanents : 5, doctorants : 7, postdoctorants : 3, chercheurs à temps-partiel : 4)
  • Lionel Briand, Interdisciplinary Centre on Security, Reliability, and Trust, Université du Luxembourg

  Collaborations industrielles

  Collaborations industrielles entretenues par les membres du groupe de travail, notamment au travers de projets nationaux ou européens :

  • Smartesting
  • Airbus
  • Onera
  • Thales
  • Orange Labs
  • Trusted Labs
  • Gemalto
  • DGA
  • Diag21
  • Kereval