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

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

Mai 2014, Singapour

Évènements recents

Soutenance d’habilitation de Kaïs Klaï

Lundi 9 décembre 2013, LIPN

Soutenance de thèse de TRAN Khanh Dung

Vendredi 20 septembre 2013, LIPN, B107

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

15–16 juillet 2013, Singapour

Séminaire Li Li

21 mai 2013 à 16h

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 2014

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

Si l’un de nos sujets vous intéresse, merci de contacter le(s) chercheur(s) responsables du sujet.

La plupart de ces stages sont susceptibles de se prolonger en sujet de thèse.

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
Model-checking distribué : algorithmes multi-cœurs efficaces [PDF Français] [PDF English] Sami Evangelista et Laure Petrucci Master 2
Vérification distribuée de systèmes temps-réel [PDF Français] [PDF English] Étienne André et Laure Petrucci Master 2
Vérification paramétrée de systèmes temps-réel [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
Abstractions de l’espace d’états des systèmes temporisés [PDF English] Étienne André et Kaïs Klaï Master 2
Spécifications formelles de systèmes temps-réel [PDF Français] Étienne André et Christine Choppy Master 2

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.