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  Réseaux téléphoniques numériques  SOA  Services Web  Simulink  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 d'aide à la décision  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éhicules autonomes  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 la thèse suivante :

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

Informatique
Soutenue le 26-11-2018
Thèse soutenue

Informatique
Soutenue en 2008
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