- Laboratoire d’informatique

Équipe : MoVe - Modélisation et Vérification

Axes : SSR (👥👥), ASN (👥), TMC (👥).

Co-Responsables :

Jean-François Pradat-Peyre Campus Pierre et Marie Curie 25-26/215
Yann Thierry-Mieg Campus Pierre et Marie Curie 25-26/210

Effectif

Vingt-et-un permanents, six doctorants.
Photo équipe

Présentation

L'équipe MoVe centre ses recherches sur la modélisation et l'analyse de systèmes répartis complexes et dynamiques.

En particulier, nous nous focalisons sur les aspects suivants :

  • les techniques optimisées de vérification formelle par model checking,
  • les méthodologies de développement basées sur l'ingénierie dirigée par les modèles,
  • l'intégration de l'analyse formelle dans les processus de développement,
  • la conception et l'implantation de nouveaux langages et modèles de programmation pour accroître la vérifiabilité de programmes répartis.


Auto-évaluation Archives Soutenances de thèse
Dessin Bulles HAL Annuaire 18 logiciels 4 projets

Mots-clés

Réseaux de Petri Model Checking Génération de programme Ingénierie des modèles Modélisation

Trois invités ces 12 derniers mois

Anissa KHEIREDDINE, Ahmed Chawki CHAOUCHE, Francisca PÉREZ.

Sélection de publications