Abordable BFT  Adaptable BFT  Administration autonome  Algorithmes  Algorithmes distribués  Analyse de flot de données  Analyse statique  Architecture  Architecture des ordinateurs  Architecture logiciel  Aspect  BFT selection  Benchmark temps-réel  Byzantine fault tolerance  Chaînage automatique  Cohérence  Commande intelligente  Composant  Composants  Composants logiciels  Composition  Distributed systems  Documents audiovisuels  Dtd  Dynamic switching  Développement  Développement web  Essais  Fault tolerance  Flot  Flots  Fonctionnement multitâche  Grille  Grille informatique  Grilles informatiques  Indexation multimédia  Informatique mobile  Internet  Interprétation abstraite  Java  Java  Langage de spécification  Langages formels  Lentille  Logiciels -- Validation  Logiciels -- Vérification  Logiciels médiateurs  Logique temporelle  Modélisation  Multimédias  Méthode des tableaux  Méthodes formelles  Objet  Ordinateurs -- Fiabilité  Ordonnancement  Patterns  Preferred BFT protocol  Programmation  Programmation logique  Programmation orientée aspects  Programmation orientée objet concurrent  Programmation orientée objets  Programme  Protocole contrôle de réplique  Protocoles de réseaux d'ordinateurs  Préoccupation  Replication  Réplication  Réutilisabilité  Réutilisation  Service web  Services Web  Services distribués  Similarité comparaison distance  Sites Web -- Développement  Structure d'un arbre  Synchronisation  Système  Système à quorums  Systèmes critiques  Systèmes distribués  Systèmes dynamiques  Systèmes informatiques -- Pannes  Systèmes informatiques -- Évaluation  Systèmes à paramètres répartis  Séries chronologiques  Temps réel  Théorie de la démonstration  Tolérance aux fautes  Traitement réparti  Trio  Typage de métadonnées  Télécommunications -- Systèmes de commutation  Virtualisation de stockage  Vérification par modèles ou model-checking  Vérification par preuves  Wcet  XSL  XSLT  Xml  Xslt  États cohérents  

Jean-Paul Bahsoun a rédigé la thèse suivante :


Jean-Paul Bahsoun a dirigé les 12 thèses suivantes :

Informatique et télécommunicationInformatique et télécommunication
Soutenue en 2012
Thèse soutenue