Joseph Sifakis

Joseph.Sifakis@imag.fr
Tel: (+33) 457 42 22 44

Photo
 
Ph.D Students
Joseph Sifakis

Current Students

  • Loic Strus, « Implantation efficace de systèmes adaptatifs », Thèse UJF en cours.
  • Ananda Basu, « Modélisation des systèmes temps-réel fondée sur les composants », Thèse UJF en cours.
  • Marc Poulhiès, « Implantation de systèmes à base de composants», Thèse INPG en cours.
  • Thanh-Hung Nguyen « Vérification structurelle des systèmes à base de composants » Thèse INPG en cours.

Previous Students

  • Jacques Combaz, « Conception de Systèmes Adaptatifs Sûrs et Optimaux », Thèse UJF, mai 2006.
  • Chaker Nakhli, « Approche Fondée sur les Modèles pour Java Temps-Reel », Thèse ENS Cachan, Septembre 2005.
  • Gregor Goessler, « La modélisation compositionnelle des systèmes temps-réel – Théorie et pratique», Thèse, Université Joseph Fourier, septembre 2001.
  • Karine Altisen, « Ordonnancement des systèmes temps-réel et synthèse de contrôleurs », Thèse, INPG, décembre 2001.
  • Sébastien Bornot, « De la composition de systèmes temporisés », Thèse, Université Joseph Fourier, décembre, 1998.
  • Stavros Tripakis, « L'analyse formelle de systèmes temporisés en Pratique » Thèse, Université Joseph Fourier, décembre 1998.
  • Conrado Daws, « Méthodes d'analyse de systèmes temporisés : de la théorie à la pratique » Thèse, Institut National Polytechnique de Grenoble, octobre 1998.
  • Alfredo Olivero, « Modélisation et analyse de systèmes temporisés et hybrides », Thèse, Institut National Polytechnique de Grenoble, septembre 1994.
  • Sergio Yovine, « Méthodes et outils pour la vérification symbolique de systèmes temporisés », Thèse, Institut National Polytechnique de Grenoble, mai 1993.
  • Xavier Nicollin, « ATP: une algèbre pour la spécification et l'analyse des systèmes temps-réel», Thèse, Institut National Polytechnique de Grenoble, mai 1992.
  • Anne Rasse « CLEO : Diagnostic des erreurs en Xesar », Thèse, Institut National Polytechnique de Grenoble, juin 1990. • Hubert Garavel, « Compilation et vérification de programmes LOTOS », Thèse, Université Joseph Fourier de Grenoble, 1989.
  • Carlos Rodriguez, « Spécification et validation de systèmes en Xesar », Thèse, Institut National Polytechnique de Grenoble, 1988.
  • Jean-Philippe Schwartz, « Quasar, une réalisation du système César: description, spécification et analyse des applications réparties », Thèse, Institut National Polytechnique de Grenoble, novembre 1983.
  • Jean-Pierre Queille, « Le système César : Description, spécification et analyse des applications réparties », Thèse, Université Scientifique et Médicale de Grenoble, juin, 1982.
  • Susanne Graf, « Logiques du temps arborescent pour la spécification et la preuve de programmes » Thèse, Institut National Polytechnique de Grenoble, février, 1984.