Abstraction de données  Alias de pointeurs  Analyse d'alias  Analyse de code  Analyse statique  Applets Java Card  Architecture système  Arithmétique en virgule flottante  Assistant de preuve  Audit de sécurité  Axiomatique  Axiomatisation  Cadre architectural  Certification  Compilation  Composition  Contraintes de variabilité  Coq, C  Diagramme de structure composite d’UML  Diagrammes UML  Décidabilité  Evaluation de la qualité  Extraction  Fiabilité  Framac  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  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  Modèle mémoire  Modèles de lignes de produits logiciels  Méthodes formelles  Méthodes formelles  Optimisations à la compilation  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  Preuves de théorèmes  Preuves modulaires  Procédure de décision  Profils UML  Programmation impérative  Programmes avec pointeurs  Programmes numériques  Raffinement  Régions  Réécriture, Systèmes de  Solveur SMT  Solveurs  Spécification de programmes  Spécification et vérification de logiciels  Spécifications algébriques  Support à la certification  Systèmes automobiles  Sécurité fonctionelle  Séparation  Test formel  Théorie  Théorie des catégories,  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  

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


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

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


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


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

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