--   Accessibilite  Accessibility  Algorithme de dépliage  Algorithmes  Analyse quantitative  Application aérospatiale  Apprentissage  Automates temporisés, Chorégraphie, Modèle, Interaction, Systèmes de transitions, Algèbre de processus  Autostabilisation  Bornitude  Chaînes de Markov  Colored petri net  Concurrence  Diagnostic  Diagramme de décision binaire  Distributed system  Drones  Décidabilité  Décomposition  Evaluation de la performance  Evaluation de performances  Flot  Flow  Flux de travail  Graph theory  Graphes, Théorie des  Informatique, automatique theorique, systemes  Inspection  Intelligence artificielle  Intelligence artificielle répartie  Invariant  Java  Jeux de parité  Jeux de priorité  Langage symbolique  Langages de programmation  Logiciels -- Vérification  Logique temporelle  Logique temporelle des actions  Logiques temporelles  Markov, Processus de  Model-Checking statistique  Model-checking  Modeling  Modelisation  Méthodes Formelles  Méthodes formelles  Méthodes formelles  Méthodes formelles de vérification  Optimisation stochastique  Ordre partiel  Ordres stochastiques  Petri net  Petri, Réseaux de  Planification modulaire  Probabilités  Processus de décision de Markov  Processus décisionnels de Markov relationnels  Processus stochastiques  Produit synchronisé  Programmation orientée aspects  Programmes C  Préfixe fini  Préordre  Qualité de Service  Quasi-vivacité  Recherche opérationnelle  Recherche quantitative  Reduction  Regular net  Reseau petri  Reseau petri colore  Reseau regulier  Robots mobiles  Réduction  Réseau de Petri  Réseaux Workflows  Réseaux de Petri  Réseaux de Pétri  Réseaux téléphoniques numériques  Réseaux électriques intelligents  SOA  Sciences appliquees  Services Web  Simulink  Simulink  Smart grids  Solveurs de contraintes  Spécifications modales  Structure d'événements  Symbolic language  Symétries partielles  Systeme reparti  Système de canaux à pertes  Système infini  Systèmes complexes  Systèmes d'aide à la décision  Systèmes informatiques -- Évaluation  Systèmes informatiques  Systèmes probabilistes  Systèmes répartis  Systèmes stochastiques  Systèmes transactionnels  Systèmes à événements discrets  Systèmes échantillonnés  Terminaison  Theorie graphe  Théorie des jeux  Traitement d'événements  Traitement réparti  Transport  Validation  Véhicule autonome  Véhicules autonomes  Vérification  Vérification de modèles  Vérification de modèles  Vérification formelle  Vérification modulaire  Vérification quantitative  Web sémantique  Échantillonage préférentiel  Événement rare  

Serge Haddad a rédigé la thèse suivante :


Serge Haddad dirige actuellement la thèse suivante :

Informatique
En préparation depuis le 30-09-2018
Thèse en préparation


Serge Haddad a dirigé les 25 thèses suivantes :

Informatique
Soutenue le 24-09-2018
Thèse soutenue

Sciences appliquées
Soutenue en 1995
Thèse soutenue

Sciences appliquées
Soutenue en 1994
Thèse soutenue


Serge Haddad a été président de jury des 3 thèses suivantes :

Informatique
Soutenue le 20-10-2017
Thèse soutenue

Serge Haddad a été rapporteur des 4 thèses suivantes :


Serge Haddad a été membre de jury de la thèse suivante :

Informatique
Soutenue le 13-11-2012
Thèse soutenue