AADL  Abstraction  Action invisible  Aide à la mise au point  Algebre de processus temporisés  Algèbre de processus  BIP  Base de données déductives  Bisimulation  Communicating process  Comportement rendez vous  Composants  Conception assistée par ordinateur en génie logiciel  Correct-par-construction  DSA  Dating behavior  Diagnostique  Distributed system  Divergence  Débogage  Démonstration automatique  Efficacité  FP2 language  Flot de donnees  Flots de données  Functional language  Graphes temporises  Informatique documentaire  Informatique médicale  Intelligence artificielle  Interpretation abstrait  Interrogation en langue naturelle  Langage FP2  Langage fonctionnel  Logiciels -- Exactitude  Logiciels -- Vérification  Logiciels -- Évaluation  Logique du premier ordre  Logique modale  Logique temporelle  Logiques modales  Logiques temporelles  Model checking symbolique  Modelisation  Modèle  Modèle avec partage de variable  Modèles  Modélisation logique  Médecine -- Informatique  Méthode des tableaux  Ordonnancement  Parallelism  Parallélisme  Parallélisme  Priorités  Processus communicant  Processus communicants  Programmation  Programmation automatique  Programmation temps-rée  Programming language  Protocoles de réseaux d'ordinateurs  Raisonnement  Relation d'équivalence  Représentation sémantique  Simulation  Specification  Spécification  Sta  Synchronisation  Synchronisme  Synchronization  Systemes temps reel  Système de preuve  Système de recherche d'information  Système de transition  Système distribué  Système réparti  Systèmes adaptatifs  Systèmes auto-organisés  Systèmes de transitions étiquetées  Systèmes embarques  Systèmes embarqués  Systèmes réactifs  Systèmes synchrones  Systèmes temps réel  Systèmes temps-réel  Systèmes à base de composants  Sémantique  Sémantique close  Sémantique du parallélisme  Sémantique non close  Temps réel  Thèses et écrits académiques  Transition  Validation  Verification  Vérification  Vérification de processus communicants  équivalence de modèles  

Joseph Sifakis a dirigé les 16 thèses suivantes :

Informatique
Soutenue le 05-06-2012
Thèse soutenue
Informatique
Soutenue le 21-06-2011
Thèse soutenue

Informatique
Soutenue en 1998
Thèse soutenue

Informatique
Soutenue en 1998
Thèse soutenue

Informatique
Soutenue en 1994
Thèse soutenue

Informatique
Soutenue en 1990
Thèse soutenue

Joseph Sifakis a été président de jury des 2 thèses suivantes :


Joseph Sifakis a été membre de jury des 9 thèses suivantes :

Informatique
Soutenue en 1989
Thèse soutenue