--   Algorithme de dépliage  Algorithmes  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  Concurrence  Diagnostic  Diagramme de décision binaire  Drones  Décidabilité  Décomposition  Evaluation de la performance  Evaluation de performances  Flux de travail  Graphes, Théorie des  Inspection  Intelligence artificielle  Intelligence artificielle répartie  Java  Jeux de parité  Jeux de priorité  Langages de programmation  Logiciels -- Vérification  Logique temporelle  Logique temporelle des actions  Logiques temporelles  Markov, Processus de  Model-Checking statistique  Model-checking  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 Petri  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 probabilistes  Systèmes répartis  Systèmes stochastiques  Systèmes transactionnels  Systèmes à événements discrets  Systèmes échantillonnés  Terminaison  Thèses et écrits académiques  Théorie des jeux  Traitement d'événements  Traitement réparti  Transport  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 :

Apprentissage et vérification de systèmes infinis

par Igor Khmelnitsky sous la direction de Serge Haddad et de Alain Finkel . - Paris Saclay

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


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

Informatique
Soutenue le 26-11-2018
Thèse soutenue
Informatique
Soutenue le 24-09-2018
Thèse soutenue
Informatique
Soutenue en 2008
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 2 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