Accès -- Contrôle  Algorithme distribué  Algorithme parallèle  Algorithme probabiliste  Algorithmes  Algorithmes Distribués  Algorithmes distribués  Algorithmes parallèles  Algorithmique distribuée  Analyse  Analyse des données  Analyse informatique  Annotation  Approche "correct-par-construction"  Architecture -- Informatique  Assistant de preuve  Assistants de preuve  Assistants de preuves  Automation  Automatisation  B  BDBO  Bases de données -- Conception  Bases de données  Besoins utilisateurs  Calculs Locaux  Calculs locaux  Certification de Preuve  Co-Simulation  Co-Spécification  Co-simulation  Code source  Communication  Composant  Composants électroniques  Composition  Concurrent program  Contrôle  Coq  Coq  Correction-Par-Construction  Cryptographie  DEVS  Design patterns  Distributed system  Distribution  Dynamiques  Déduction Automatique  Déduction Modulo Théorie  Détection de Terminaison,  Développement fondé sur la preuve  Entrepôt de besoins  Entrepôts de données  Event-B  EventB  Exigences physico-physiologiques  Fiabilité  Formal specification  Formel  Fusion nucléaire contrôlée  Grilles informatiques  Génie Logiciel  Génie logicie  Génie logiciel  Générateurs  Génération de code  Holon  IDM  Implementation  Ingénierie Système Basée sur des Modèles  Ingénierie de système support de maintenance basée sur des modèles  Ingénierie des exigences  Ingénierie des systèmes  Ingénierie dirigée par les modèles  Interaction homme-machine  Interconnexion de réseaux  Intégration de données  Langage C++  Langage programmation  Langage spécification  Langages de programmation orientés objet  Langages formels  Logiciels - Vérification  Logiciels -- Développement  Logiciels  Logique Temporelle  Logique mathématique  Logique temporelle  MECSYCO  Maintenance automatisée  Manufacturing message specification  Message handling  Messagerie  Model checking  Modèle du coeur  Modèle formel  Modèles mathématiques  Modèles techniques  Modélisation  Modélisation des données  Multi-modélisation  Multivue  Médecine -- Informatique  Mémoire faible  Méthode B  Méthode B évènementielle  Méthode des Tableaux  Méthodes Formelles  Méthodes formelles  Méthodes formelles  NS-3  OMNeT++  OSI  Objets coopérants  OntoDB  Ontologie  Ontologies  Optimisation mathématique  Ordinateurs - Accès – Contrôle  Ordinateurs  Orienté objet  Parallel algorithm  Parallel program  Parallel programming  Parallelism  Parallelisme  Parallelization  Parallélisation  Parallélisme  Parallélisme  Physiologie humaine  Plasmas  Plasmas  Plasmas chauds  Preuve formelle  Preuve programme  Probabilités  Processus ETL  Program proof  Program specification  Program verification  Programmation parallèle  Programmation parallèle  Programme concurrent  Programme parallèle  Propriétés linéaires  Protocole transmission  Protocoles de réseaux d'ordinateurs  Protocoles médicaux  Raffinement  Raffinement formel  Répartis  Réseau IP  Réseau télécommunication  Réseaux d'ordinateurs -- Mesures de sûreté  Réseaux locaux industriels  Service utilisateur  Services Web  Simulation, Méthodes de  Snapshots  Software engineering  Spécification formelle  Spécification littéraire  Spécification programme  Substitution de systèmes  Surveillance  SysML  SysML  Système Ferroviaire  Système cyber-physique  Système distribué  Système réparti  Systèmes  Systèmes corrects par construction  Systèmes d'intégration  Systèmes embarqués  Systèmes embarqués  Systèmes holonomes  Systèmes homme-machine  Systèmes informatiques  Systèmes, Analyse de  Systèmes, Conception de  TCP/IP  Technique du raffinement  Temporal Logic  Temps réel  Théorie des calculs locaux  Traitement langage  Traitement réparti  Transmission protocol  Transport, Théorie du  Transports ferroviaires  Tri  Télécommunication network  UML  User service  Validation  Visidia  Vérification  Vérification de modèles  Vérification programme  

Dominique Méry a rédigé la thèse suivante :


Dominique Méry a dirigé les 12 thèses suivantes :

Automatique, Traitement du Signal et des Images, Génie Informatique
Soutenue le 06-11-2013
Thèse soutenue

Sciences appliquées
Soutenue en 1991
Thèse soutenue


Dominique Méry a été président de jury des 6 thèses suivantes :

Sureté de Logiciel et Calcul à Haute Performance
Soutenue le 06-03-2018
Thèse soutenue
Sureté de Logiciel et Calcul à Haute Performance
Soutenue le 06-07-2017
Thèse soutenue
Informatique
Soutenue le 04-07-2012
Thèse soutenue


Dominique Méry a été rapporteur des 10 thèses suivantes :


Dominique Méry a été membre de jury de la thèse suivante :