AADL  Abstraction  Action invisible  Aide à la mise au point  Algebre de processus temporisés  Algèbre de processus  Analyse systeme  Automata theory  BIP  Base de données déductives  Bisimulation  Calcul formel  Cd  Choix avec priorite  Communicating process  Complexite calcul  Component based modeling  Comportement rendez vous  Composants  Composition parallele  Computational complexity  Computer algebra  Computer simulation  Conception assistée par ordinateur en génie logiciel  Conception système  Contrainte précédence  Correct-par-construction  DSA  Dating behavior  Diagnostique  Digital transmission  Distributed system  Divergence  Débogage  Délai transmission  Démonstration automatique  Efficacité  FP2 language  Flot de donnees  Flots de données  Formal verification  Functional language  Graphe temporise  Graphe temporisé  Graphes temporises  Heterogeneous systems  Hybrid system  Informatique documentaire  Informatique médicale  Informatique, automatique theorique, systemes  Informatique, automatique théorique, systèmes  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  Modélisation à base de composants  Médecine -- Informatique  Méthode des tableaux  Méthode numérique  NP hard problem  Normalisation  Numerical method  Operational semantics  Ordonnancement  Parallelism  Parallélisme  Parallélisme  Precedence constraint  Priorités  Problème NP difficile  Processus communicant  Processus communicants  Programmation  Programmation automatique  Programmation temps-rée  Programming language  Progres maximal  Prolog  Protocole transmission  Protocoles de réseaux d'ordinateurs  Raisonnement  Reactivite  Reactivite temporelle  Real time  Real time system  Relation d'équivalence  Représentation sémantique  Scheduling  Sciences appliquees  Sciences appliquées  Sciences et techniques  Simulation  Simulation ordinateur  Simulation par ordinateur  Snalyse système  Specification  Spécification  Sta  Standardization  Symbolic verification  Synchronisation  Synchronisme  Synchronization  System analysis  System design  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 hybride  Système réparti  Système temps réel  Systèmes adaptatifs  Systèmes auto-organisés  Systèmes de transitions étiquetées  Systèmes embarques  Systèmes embarqués  Systèmes hétérogènes  Systèmes informatiques hétérogènes  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  Sémantique opérationnelle  Temporal logic  Temporised graph  Temps réel  Temps réel  Theorie automate  Timed graph  Transition  Transmission numérique  Transmission protocol  Transmission time  Télécommunications et théorie de l'information  Validation  Verification  Vérification  Vérification de processus communicants  Vérification formelle  Vérification symbolique  équivalence de modèles  

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

Informatique
Soutenue le 05-06-2012
Thèse soutenue
Informatique
Soutenue le 21-06-2011
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 10 thèses suivantes :