É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/215Yann Thierry-Mieg Campus Pierre et Marie Curie 25-26/210
Effectif
Vingt-deux enseignants-chercheurs et chercheurs, six doctorants.
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
Mots-clés
Ingénierie des modèles Modélisation Réseaux de Petri Model Checking Génération de programme
20/03/2026
14 h : Approches formelles pour la modélisation, le contrôle, l’analyse de performances, la reconfiguration et la cybersécurité des systèmes à événements discrets.
Said Amari (Université Sorbonne Paris Nord, IUT de Saint-Denis)
Ce séminaire présente des travaux portant sur le développement d’approches formelles centralisées, modulaires et distribuées pour la modélisation, le contrôle, l’analyse des performances, la reconfiguration et la cybersécurité des systèmes à événements discrets. Ces travaux s’app …
Campus Pierre et Marie Curie, salle 24-25/405
https://perso.lip6.fr/Dylan.Marinho/semi …
Said Amari (Université Sorbonne Paris Nord, IUT de Saint-Denis)
Ce séminaire présente des travaux portant sur le développement d’approches formelles centralisées, modulaires et distribuées pour la modélisation, le contrôle, l’analyse des performances, la reconfiguration et la cybersécurité des systèmes à événements discrets. Ces travaux s’app …
Campus Pierre et Marie Curie, salle 24-25/405
https://perso.lip6.fr/Dylan.Marinho/semi …
03/04/2026
14 h : Five Structural Problems of Large-Scale Software in Industry
Emmanuel Zarpas (MoVe, LIP6)
Large software systems developed in corporations face recurring difficulties that are not isolated defects but structural properties. This talk discusses five such constraints observed in industrial environments: coordination across large teams, process overhead and certification …
Campus Pierre et Marie Curie, 24-25/405
https://perso.lip6.fr/Dylan.Marinho/semi …
Emmanuel Zarpas (MoVe, LIP6)
Large software systems developed in corporations face recurring difficulties that are not isolated defects but structural properties. This talk discusses five such constraints observed in industrial environments: coordination across large teams, process overhead and certification …
Campus Pierre et Marie Curie, 24-25/405
https://perso.lip6.fr/Dylan.Marinho/semi …