Equipes
  Vérification d'Algorithmes, Langages et Systèmes

Equipes-projets Inria communes


Resultats majeurs
  Testing for refinement in Circus
  Formal firewall conformance testing: an application of test and proof techniques
  Test selection for traces refinement, Ana Cavalcanti and Marie-Claude Gaudel

Contrats
  PIMI
  EURO-MILS
  DATE - AMSUD

Logiciels et brevets
  AuGuSTe
  HOL-TestGen

Collaborations
  Université de York
  MBTSEC
  International Joint Project MoBasT
  System X FSF
  LSV, ENS Cachan

Membres
  GAUDEL Marie-Claude
  VOISIN Frédéric
  ZAIDI Fatiha
  WOLFF Burkhart
  POIZAT Pascal
  LONGUET Delphine
  NGUYEN Huu Nghia
  KHEFIFI Rania
  NEMOUCHI Yakoub
  AISSAT Romain
  TUONG Frédéric
  BALABONSKI Thibaut

Thèses et habilitations
  Approche symbolique pour la vérification et le test de la chorégraphie
  Méthodes d'aide à la revue d'un processus de test de logiciel basé sur des modèles (Model Based Testing)
  Random based testing of C program
  Model-Based Testing of Operating System-level Security Mechanisms
  Constructing Semantically Sound Object-Logics for UML/OCL Based Domain-Specific Languages

° 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