Je propose les sujets de stages suivants pour étudiants de Master pour 2018. Il s’agit de stages orientés recherche.
Ces stages sont tous rémunérés (rémunération standard).

En fonction de la motivation et du projet professionnel du/de la candidat(e), ces stages sont susceptibles de se prolonger en sujet de thèse de doctorat par la suite.

Si l’un de ces sujets vous intéresse, ou que vous avez des interrogations, n’hésitez pas à me contacter.

Sujet n°1 : Analyses de systèmes temps-réel à l’aide de Time4sys et IMITATOR

Encadrant : Étienne André (en collaboration avec Thales R&D Palaiseau)

Mots-clés : traduction de modèles, modélisation, systèmes temps-réel, automates temporisés paramétrés, IMITATOR, OCaml

Lieu du stage : LIPN, Université Paris 13, France

Voir le sujet du stage

Sujet n°2 : Vérification paramétrée de systèmes temps-réel

Encadrants : Étienne André et Giuseppe Lipari

Mots-clés : méthodes formelles, model-checking, systèmes multiprocesseurs, scheduling (ordonnancement), systèmes temps-réel, automates temporisés paramétrés, synthèse de paramètres, OCaml

Lieu du stage : LIFL, Université Lille 1, France et/ou LIPN, Université Paris 13, France

Voir le sujet du stage