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  Décomposition  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  Model-checking statistique  Méthodes Formelles  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éseau de Petri  Réseaux Workflows  Réseaux de Pétri  SOA  Services Web  Simulink  Solveurs de contraintes  Spécifications modales  Structure d'événements  Symétries partielles  Système de canaux à pertes  Système infini  Systèmes complexes  Systèmes informatiques -- Évaluation  Systèmes informatiques  Systèmes répartis  Systèmes transactionnels  Systèmes à événements discrets  Systèmes échantillonnés  Terminaison  Traitement d'événements  Traitement réparti  Transport  Véhicule autonome  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 :

Informatique
En préparation depuis le 01-10-2015
Thèse en préparation

Soutenance prévue le 26-11-2018

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 :

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 3 thèses suivantes :


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

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