Sujets de stage de M2 recherche

Sujets 2013:

Rélisabilité des spécifications en logique temporelle épistémique

Sujets 2011:

Modélisation et capacité des canaux cachés

Sujets 2010 :

Implémentabilité de propriétés temps-réel dans d'automates temporisés à horloges désynchronisée

Modélisation des propriétés de transfert de confiance dans des réseaux P2P

Model-checking des logiques temporelles de la connaissance

   Adresse mail : dima at univ-paris12 dot fr