AADL  Abstraction  Action invisible  Aide à la mise au point  Algebre de processus temporisés  Algèbre de processus  Automata theory  BIP  Base de données déductives  Bisimulation  Calcul formel  Choix avec priorite  Communicating process  Complexite calcul  Comportement rendez vous  Composants  Composition parallele  Computational complexity  Computer algebra  Computer simulation  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  Informatique, automatique theorique, systemes  Informatique. Automatique theorique. Systemes  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  Progres maximal  Protocoles de réseaux d'ordinateurs  Raisonnement  Reactivite  Reactivite temporelle  Real time system  Relation d'équivalence  Représentation sémantique  Scheduling  Sciences appliquees  Sciences et techniques  Simulation  Simulation ordinateur  Specification  Spécification  Sta  Synchronisation  Synchronisme  Synchronization  Systeme hybride  Systeme parallele  Systeme temporise  Systeme temps reel  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  Theorie automate  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