Algorithme de dépliage  Algorithmes  Application aérospatiale  Automates temporisés, Chorégraphie, Modèle, Interaction, Systèmes de transitions, Algèbre de processus  Autostabilisation  Bornitude  Chaînes de Markov  Concurrence  Drones  Evaluation de la performance  Evaluation de performances  Flux de travail  Graphes, Théorie des  Inspection  Intelligence artificielle  Intelligence artificielle répartie  Java  Langages de programmation  Logiciels -- Vérification  Logique temporelle  Logique temporelle des actions  Logiques temporelles  Markov, Processus de  Méthodes formelles  Méthodes formelles  Méthodes formelles de vérification  Ordre partiel  Ordres stochastiques  Petri, Réseaux de  Planification modulaire  Probabilités  Processus stochastiques  Produit synchronisé  Programmation orientée aspects  Programmes C  Préfixe fini  Préordre  Qualité de Service  Quasi-vivacité  Recherche opérationnelle  Robots mobiles  Réduction  Réseaux Workflows  Réseaux de Pétri  SOA  Services Web  Solveurs de contraintes  Spécifications modales  Structure d'événements  Symétries partielles  Système de transport intelligent  Système infini  Systèmes informatiques -- Évaluation  Systèmes informatiques  Systèmes répartis  Systèmes transactionnels  Systèmes à événements discrets  Systèmes échantillonnés  Sûreté de fonctionnement  Terminaison  Traitement d'événements  Traitement réparti  Transport  Vérification  Vérification de modèles  Vérification formelle  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 les 2 thèses suivantes :

Controlling information in probabilistic systems

par Engel Lefaucheux sous la direction de Nathalie Bertrand et de Serge Haddad . - Rennes 1

Informatique
En préparation depuis le 22-09-2015
Thèse en préparation


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

Informatique
Soutenue en 2008
Thèse soutenue

Sciences et techniques
Soutenue en 2000
Thèse soutenue

Sciences appliquées
Soutenue en 1998
Thèse soutenue


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


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


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

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