Photo Responsable

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

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

Responsable :

Tewfik Ziadi Campus Pierre et Marie Curie 25-26/212

Brève présentation

Dessin Bulles HAL Annuaire 17 logiciels

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 :

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

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

Aucune manisfestation prévue actuellement.

Archives

Sélection de publications

Toutes