Abstraction  Algorithme de dépliage  Algorithme de saturation  Algorithmes  Algorithmes d'approximation  Algorithmes distribués  AltaRica  AltaRica  Analyse de réseaux sociaux  Approche "correct-par-construction"  Aéronautique  BioRica  Bioinformatique  Bornitude  CEGAR  Calculs locaux  Classification supervisée  Communautés  Composition  Diagrammes de décision binaires  Dynamique de la fermentation du vin  Ensembles partiellement ordonnés  Fermentation  Fiabilité  Formation de tissu d'os  GPAO  Grilles informatiques  Influence  Influenceurs  Interblocage  Langages de programmation  Logiciels -- Vérification  Logique temporelle linéaire  Maximum-Weight Connected Subgraph  Model-checking  Modèles mathématiques  Multimédias interactifs  Musique -- Lecture et déchiffrage  Méthode B évènementielle  Méthodes formelles  Méthodes formelles  Optimisation combinatoire  Ordre partiel  Parallélisme  Partitions interactives  Petri, Réseaux de  Pomset  Produit synchronisé  Programmation  Programmation concurrente avec contraintes  Préfixe fini  Préordre  Quasi-vivacité  Raffinement  Recherche de modules biologiques  Réconciliation et reutilisation des modèles  Réseaux complexes  Réseaux de Petri  Réseaux sociaux  Réécriture, Systèmes de  Rôles communautaires  Satisfiabilité  Siphons  Structure d'événements  Structures  Structures des événements temporisés  Système infini  Systèmes biologiques  Systèmes de fabrication automatisés  Systèmes dynamiques hybrides  Systèmes embarqués  Systèmes embarqués  Systèmes hybrides  Systèmes informatiques  Systèmes stochastiques  Sûreté de fonctionnement  Technique du raffinement  Terminaison  Tissus  Traces  Traces, Théorie des  Traitement réparti  Twitter  Twitter  Types abstraits de données  Verification  Visidia  Vérification symbolique  

Jean-Michel Couvreur a rédigé la thèse suivante :


Jean-Michel Couvreur a dirigé les 4 thèses suivantes :

Informatique
Soutenue le 29-06-2015
Thèse soutenue

Jean-Michel Couvreur a été rapporteur des 5 thèses suivantes :

Informatique
Soutenue le 04-07-2012
Thèse soutenue

Jean-Michel Couvreur a été membre de jury des 2 thèses suivantes :