Equipes
  Test Formel et Exploration de Systèmes

Equipes-projets Inria communes


Resultats majeurs
  Exploration Uniforme de très grands modèles
  Model-Based Adaptation of Behavioral Mismatching Components
  One step forward: Linking wireless self-organizing network validation techniques with formal testing approaches

Contrats
  FVOOS
  HOL-TestGen XT

Logiciels et brevets
  RUKIA

Collaborations
  Université d'Evry Val d'Essonne
  Universidad de Malaga

Membres
  GOURAUD Sandrine
  FAYOLLE Julien
  BENTAKOUK Lina
  URRIBARRI Wendi
  LALLALI Mounir

Thèses et habilitations
  Utilisation des Structures Combinatoires pour le Test Statistique
  Contributions au test de logiciel basé sur des spécifications formelles
  BIDOIT.22-11-1989
  LE GALL.01-09-1994
  AIGUIER.01-10-1992
  ARNOULD.01-09-1994
  DEO-BLANCHARD.01-10-1988
  HSIAO.02-11-1991
  KHOURY.01-09-1995
  ROQUES.01-10-1990
  ZAMBRANO.--1990

° Algorithmes pour les grands volumes de données distribuées
° Algorithmique des systèmes en réseau
° Algorithmique distribuée
° Architectures parallèles
° biologie de synthese
° Biologie des systèmes
° Biologie structurale
° biologie synthetique
° Calcul à haute performance
° Calcul quantique
° Calibration d'algorithmes (sélection, ajustement d'hyper-paramètres)
° Codage réseau
° Collaboration médiatisée
° Combinatoire
° Compilation et optimisation des programmes
° Décision optimale en contexte incertain
° Définition de nouveaux critères
° Démonstration automatique, SMT et applications
° Distributed Design
° Fab lab
° Fabrication Numérique
° Formalisation de langages (de spécification et de programmation) dans les assistants de preuve
° Formalisation et preuves de programmes numériques
° Gestion de données du Web
° Ingénierie des systèmes interactifs