SIGNALER une erreur


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  Component based modeling  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  Formal verification  Functional language  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  Operational semantics  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  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  Symbolic verification  Synchronisation  Synchronisme  Synchronization  System analysis  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  Transition  Validation  Verification  Vérification  Vérification de processus communicants  Vérification formelle  Vérification symbolique  équivalence de modèles  

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

Verification of Weakly-Hard Requirements on Quasi-Synchronous Systems

par Gideon Smeding sous la direction de Joseph Sifakis et de Gregor Gössler . - Grenoble

Informatique
Soutenue le 19-12-2013
Thèse soutenue

Accéder en ligne

Distributed Implementations of Component-based Systems with Prioritized Multiparty Interactions : Application to the BIP Framework.

par Jean Quilbeuf sous la direction de Dorel Marius Bozga et de Joseph Sifakis . - Grenoble

Informatique
Soutenue le 16-09-2013
Thèse soutenue

Accéder en ligne

Implémentation rigoureuse des systèmes temps-réels

par Tesnim Abdellatif sous la direction de Joseph Sifakis - Grenoble

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

Accéder en ligne

Modélisation des systèmes synchrones en BIP

par Vasiliki Sfyrla sous la direction de Joseph Sifakis et de Dorel Marius Bozga . - Grenoble

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

Accéder en ligne

Conception et implantation de système fondé sur les composants. Vers une unification des paradigmes génie logiciel et système

par Marc Poulhiès sous la direction de Joseph Sifakis - Grenoble

Informatique
Soutenue en 2010
Thèse soutenue

Accéder en ligne

Implémentations Centralisée et Répartie de Systèmes Corrects par construction à base des Composants par Transformations Source-à-source dans BIP

par Mohamad Jaber sous la direction de Joseph Sifakis et de Jean-Claude Fernandez . - Grenoble

Informatique
Soutenue en 2010
Thèse soutenue

Accéder en ligne

Modélisation des systèmes temps-réel embarqués en utilisant AADL pour la génération automatique d'applications formellement vérifiées

par Mohamed Yassin Chkouri sous la direction de Joseph Sifakis - Grenoble

Informatique
Soutenue en 2010
Thèse soutenue

Accéder en ligne

Modélisation à base de composants de systèmes temps réel hétérogènes en BIP

par Ananda Shankar Basu sous la direction de Joseph Sifakis - Grenoble 1

Informatique
Soutenue en 2008
Thèse soutenue

Application de la synthèse de contrôleur à l'ordonnancement de systèmes temps-réel

par Karine Altisen sous la direction de Joseph Sifakis - Grenoble INPG

Informatique
Soutenue en 2001
Thèse soutenue

Modélisation compositionnelle des systèmes temps-réels : théorie et pratique

par Gregor Gössler sous la direction de Joseph Sifakis - Grenoble 1

Informatique
Soutenue en 2001
Thèse soutenue

L'analyse formelle des systèmes temporisés en pratique

par Stavros Tripakis sous la direction de Joseph Sifakis - Grenoble 1

Informatique
Soutenue en 1998
Thèse soutenue

De la composition des systèmes temporisés

par Sébastien Bornot sous la direction de Joseph Sifakis - Grenoble 1

Informatique
Soutenue en 1998
Thèse soutenue

Accéder en ligne

Modélisation et analyse de systèmes temporisés et hybrides

par Alfredo Olivero sous la direction de Joseph Sifakis - Grenoble INPG

Informatique
Soutenue en 1994
Thèse soutenue

Méthodes et outils pour la vérification symbolique de systèmes temporisés

par Sergio Yovine sous la direction de Joseph Sifakis - Grenoble INPG

Informatique
Soutenue en 1993
Thèse soutenue

Accéder en ligne

Atp : une algèbre pour la spécification et l'analyse des systèmes temps réel

par Xavier Nicollin sous la direction de Joseph Sifakis - Grenoble INPG

Informatique
Soutenue en 1992
Thèse soutenue

Accéder en ligne

Cléo : diagnostic des erreurs en Xesar

par Anne Rasse sous la direction de Joseph Sifakis - Grenoble INPG

Informatique
Soutenue en 1990
Thèse soutenue

Accéder en ligne

Spécification et validation de systèmes en Xesar

par Carlos Rodriguez sous la direction de Joseph Sifakis - Grenoble INPG

Informatique
Soutenue en 1988
Thèse soutenue

Accéder en ligne

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

Impact des modèles d'exécution pour l'ordonnancement en calcul parallèle

par Alfredo Goldman sous la direction de Denis Trystram - Grenoble INPG

Informatique
Soutenue en 1999
Thèse soutenue

Accéder en ligne

Une algèbre de processus : pour un calcul basé sur la déduction

par Zineb Habbas sous la direction de Philippe Jorrand - Grenoble INPG

Informatique
Soutenue en 1992
Thèse soutenue

Accéder en ligne

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

Sémantique des systèmes réactifs : raffinement, bisimulations et sémantique opérationnelle structurée dans les systèmes de transitions asynchrones

par Juan Vicente Echagüe Zappettini sous la direction de Philippe Jorrand - Grenoble INPG

Informatique
Soutenue en 1993
Thèse soutenue

Accéder en ligne

Contributions à la sémantique du parallélisme : bisimulations pour le raffinement et le vrai parallélisme

par Ferroudja Cherief sous la direction de Philippe Jorrand - Grenoble INPG

Informatique
Soutenue en 1992
Thèse soutenue

Accéder en ligne

Contribution a l'analyse de la methode des tableaux

par Michel Lévy sous la direction de Laurent Trilling - Grenoble 1

Informatique
Soutenue en 1991
Thèse soutenue

Accéder en ligne

Un modèle logique général pour les systèmes de recherche d'informations : application au prototype RIME

par Jianyun Nie sous la direction de Yves Chiaramella - Grenoble 1

Informatique
Soutenue en 1990
Thèse soutenue

Accéder en ligne

Vérification de propriétés de programmes flots de données synchrones

par Anne-Cécile Glory sous la direction de Farid Ouabdesselam - Grenoble 1

Informatique
Soutenue en 1989
Thèse soutenue

Accéder en ligne

Aldebaran : un système de vérification par réduction de processus communicants

par Jean-Claude Fernandez sous la direction de Jacques Voiron - Grenoble 1

Informatique
Soutenue en 1988
Thèse soutenue

Accéder en ligne

Contribution à l'étude d'un agent rationnel : spécification en logique intensionnelle et implantation

par Jean-Pierre Müller sous la direction de Jean-Claude Latombe - Grenoble INPG

Informatique
Soutenue en 1987
Thèse soutenue

Accéder en ligne

Venus : un outil d'aide à la vérification des systèmes communicants

par Amelia Soriano Montes sous la direction de Jacques Voiron - Grenoble INPG

Informatique
Soutenue en 1987
Thèse soutenue

Accéder en ligne

Comparaison des comportements des processus communicants : application au langage FP2

par Sylvie Rogé sous la direction de Philippe Jorrand - Grenoble INPG

Informatique
Soutenue en 1986
Thèse soutenue

Accéder en ligne
ABES
A propos | Assistance | CGU | Données personnelles | Mentions légales