Axe Spécification et Vérification

Paris 13 > LIPN > LCR > Axe Spécification et Vérification

Membres

Professeurs

Maîtres de conférences

Doctorants

Stagiaires

Évènements à venir

Workshop franco-singapourien sur les méthodes formelles et leurs applications

15–16 juillet 2013, Singapour

Séminaire Li Li

21 mai 2013 à 16h

Évènements recents

Soutenance de thèse d’Alfred Sanogo

17 décembre 2012 à 14h

Conférence Formal Methods 2012

27-31 août 2012

Soutenance de thèse de Anna Dedova

9 juillet 2012 à 14h

Séminaire MeFoSyLoMa et CosyVerif

Vendredi 15 juin 2012 au LIPN

Journée CosyVerif

Vendredi 23 mars 2012 au LSV (ENS Cachan)

Séminaire de Hanen Ochi

Vendredi 27 janvier 2012 à 15h30 au LIPN (salle A304)

Séminaire de Jean-Claude Royer

Vendredi 9 décembre 2011 à 10h30 au LIPN

Soutenance à mi-parcours d’Alfred Sanogo

Vendredi 9 décembre 2011 à 13h30 au LIPN

Thématiques

Voir notre rapport d’activités 2003 − 2006 au sein du LIPN (le rapport 2007−2011 est en cours de rédaction).

Voir la biblio de notre axe de recherche, ou la bibliographie des membres.

Stages 2013

Notre axe de recherche propose une liste de stages pour étudiants de Master, pour la période printemps − été 2013.

Si l’un de nos sujets vous intéresse, merci de contacter le(s) chercheur(s) responsables du sujet. N’hésitez pas non plus à nous contacter pour toute question.

Sujet Proposé par Niveau
Approche incrémentale et modulaire pour la vérification de propriétés temporelles linéaires sur les réseaux de Petri [PDF Français] Kaïs Klaï et Laure Petrucci Master 2
Vérification modulaire de systèmes temporisés : aspects structurels et dynamiques [PDF Français] Kaïs Klaï et Laure Petrucci Master 2
Une méthode d’analyse et spécification pour les systèmes complexes avec des réseaux de Petri de haut niveau et des spécifications algébriques [PDF Français] Christine Choppy et Laure Petrucci Master 2
Modélisation des diagrammes états-transitions UML [PDF Français] [PDF English] Étienne André, Christine Choppy et Kaïs Klaï Master 2
Vérification automatisée des diagrammes états-transitions UML [PDF Français] [PDF English] Étienne André, Christine Choppy et Kaïs Klaï Master 2
Model-checking distribué : algorithmes multi-cœurs efficaces [PDF Français] [PDF English] Sami Evangelista et Laure Petrucci Master 2
Vérification paramétrée de systèmes temps réel par des réseaux de Petri temporels [PDF Français] [PDF English] Étienne André Master 2
Model-checking distribué de réseaux de Petri temporels et à priorités [PDF Français] [PDF English] Étienne André, Sami Evangelista et Laure Petrucci Master 2
Un algorithme incrémental de vérification de propriétés LTL [PDF Français] [PDF English] Kaïs Klaï et Laure Petrucci Master 2
Vérification formelle de diagrammes états-transitions UML [PDF Français] Étienne André, Christine Choppy et Kaïs Klaï Master 1

Outils

Projets

Collaborations et visiteurs principaux

Anciens membres

Post-doctorants

Doctorants

Stagiaires

Séminaires

Cette page fait usage de code HTML 5 valide et de code CSS valide.