Abstraction de données  Alias de pointeurs  Analyse d'alias  Analyse de code  Analyse statique  Applets Java Card  Approche incrémentale  Architecture système  Arithmétique en virgule flottante  Assistant de preuve  Audit de sécurité  Axiomatique  Axiomatisation  Cadre architectural  Calcul symbolique  Certification  Combination  Commutation, Théorie de la  Compilation  Composition  Contraintes de variabilité  Coq  Coq, C  Diagramme de structure composite d’UML  Diagrammes UML  Décidabilité  Evaluation de la qualité  Extraction  Fiabilité  Framac  Graphes, Théorie des  HIS Automotive SPICE  ISO26262  ISO42010  Inférence d'annotations  Ingénierie Dirigée par les Modèles  Ingénierie des exigences  Ingénierie des processus  Ingénierie dirigée par les modèles  Intelligence artificielle répartie  Interprétation Abstraite  Interprétation abstraite  Invariants de données  Knuth, Donald Ervin  Langage C  Langage de modélisation  Langage de programmation  Langage spécialisé  Logiciels -- Vérification  Logiciels  Logique  Logique temporelle  Modèle mémoire  Modèles de lignes de produits logiciels  Méthodes formelles  Méthodes formelles  Optimisations à la compilation  Ordinateurs -- Fiabilité  Paramodulation  Permissions  Plate-forme Frama-C  Plate-forme WHY  Plate-forme Why  Points de vue  Preuve de programme  Preuve de programme  Preuve de programmes  Preuve déductive  Preuve formelle  Preuves de terminaison  Preuves de théorèmes  Preuves modulaires  Procédure de décision  Procédures de décisions  Profils UML  Programmation impérative  Programmation parallèle  Programmes avec pointeurs  Programmes numériques  Raffinement  Régions  Réécriture, Systèmes de  Saturation schématique  Sciences pour l'ingénieur et microtechniques  Simulateur  Slicing  Solveur SMT  Solveurs  Spécification de programmes  Spécification et vérification de logiciels  Spécifications algébriques  Support à la certification  Système embarqué  Systèmes automobiles  Systèmes embarqués  Systèmes ouverts  Sécurité fonctionelle  Séparation  Tableaux  Test formel  Théorie  Théorie des catégories,  Théorie des graphes  Théorie des types  Théorèmes -- Démonstration automatique  Traitement automatique du langage naturel  Traçabilité  Typage  UML  UML  Variabilité  Vérification déductive  Vérification formell  Vérification formelle, dépendances de contrôle  Why3  

Claude Marché a rédigé la thèse suivante :


Claude Marché a dirigé les 10 thèses suivantes :

Informatique
Soutenue le 06-09-2013
Thèse soutenue


Claude Marché a été président de jury des 5 thèses suivantes :


Claude Marché a été rapporteur de la thèse suivante :

Informatique
Soutenue le 10-07-2013
Thèse soutenue

Claude Marché a été membre de jury des 2 thèses suivantes :

Informatique
Soutenue le 12-12-2012
Thèse soutenue