LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Recherche » Équipes » MoVe
Annuaire
Projets
Logiciels
Publications
HAL
WebMail
Photo Responsable Photo Adjoint

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

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

Responsable :

Béatrice Bérard Campus Pierre et Marie Curie 25-26/219

Responsable adjoint :

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

Brève 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 :

  • 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

Contact

Fabrice.Kordon (at) nulllip6.fr

 Mentions légales
Carte du site |