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  Bogues  Cadre architectural  Calcul symbolique  Certification  Certificats  Combination  Commutation, Théorie de la  Compilation  Composition  Contraintes de variabilité  Fiabilité  Ingénierie dirigée par les modèles  Logiciels -- Vérification  Logique  Méthodes formelles  Méthodes formelles  Preuve de programme  Preuve de programmes  Preuve déductive  Raffinement  Réécriture, Systèmes de  UML  Vérification déductive  

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

Réécriture modulo une théorie présentée par un système convergent et décidabilité des problèmes du mot dans certaines classes de théories equationnelles

par Claude Marché sous la direction de Jean-Pierre Jouannaud - Paris 11

Informatique

Soutenue en 1993

Claude Marche dirige actuellement les 2 thèses suivantes :

Vérification déductive de programmes respectant une discipline de typage à la Rust

par Xavier Denis sous la direction de Claude Marche - université Paris-Saclay

Informatique

En préparation depuis le 01-10-2020

Certification de la génération et de la transformation d’obligations de preuve

par Quentin Garchery sous la direction de Claude Marche , Chantal Keller et de Andriy Paskevych . - université Paris-Saclay

Informatique

En préparation depuis le 01-10-2018

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

Méthodes et outils pour la spécification et la preuve de propriétés difficiles de programmes séquentiels

par Martin Clochard sous la direction de Claude Marché - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 30-03-2018

Procédures de décision génériques pour des théories axiomatiques du premier ordre

par Claire Dross sous la direction de Claude Marché - Paris 11

Informatique

Soutenue le 01-04-2014

Preuves par raffinement de programmes avec pointeurs

par Asma Tafat sous la direction de Claude Marché - Paris 11

Informatique

Soutenue le 06-09-2013

Certification of a Tool Chain for Deductive Program Verification

par Paolo Herms sous la direction de Claude Marché - Paris 11

Informatique

Soutenue le 14-01-2013

Taking architecture and compiler into account in formal proofs of numerical programs

par Thi Minh Tuyen Nguyen sous la direction de Claude Marché et de Sylvie Boldo . - Paris 11

Informatique

Soutenue le 11-06-2012

Vérification de programmes avec pointeurs à l'aide de régions et de permissions

par Romain Bardou sous la direction de Claude Marché - Paris 11

Informatique

Soutenue le 14-10-2011

Automatic modular static safety checking for C programs

par Yannick Moy sous la direction de Claude Marché et de Pierre Crégut . - Paris 11

Informatique

Soutenue en 2009

Analyse statique et preuve de programmes industriels critiques

par Thierry Hubert sous la direction de Claude Marché - Paris 11

Informatique

Soutenue en 2008

Automatisation de la Spécification et de la Vérification d'applications Java Card

par Nicolas Rousset sous la direction de Claude Marché - Paris 11

Informatique

Soutenue en 2008

Approche incrémentale des preuves automatiques de terminaison

par Xavier Urbain sous la direction de Claude Marché et de Jean-Pierre Jouannaud . - Paris 11

Informatique

Soutenue en 2001

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

Certified algorithms for program slicing

par Jean-Christophe Léchenet sous la direction de Pascale Le Gall - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 19-07-2018

Towards Synthesizing Open Systems : Tableaux For Multi-Agent Temporal Logics

par Amélie David sous la direction de Serenella Cerrito et de Valentin Goranko . - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 30-09-2015

Schematic calculi for the analysis of decision procedures

par Elena Tushkanova sous la direction de Olga Kouchnarenko , Christophe Ringeissen et de Alain Giorgetti . - Besançon

Informatique

Soutenue le 19-07-2013

Composition des modèles de lignes de produits logiciels

par Takoua Ben Rhouma sous la direction de François Terrier - Paris 11

Informatique

Soutenue le 29-11-2012

Conception dirigée par les modèles à l’aide de langages de modélisation hétérogènes : application aux profils UML

par Florian Noyrit sous la direction de François Terrier - Paris 11

Informatique

Soutenue le 25-10-2012

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

Certification of an Instruction Set Simulator

par Xiaomu Shi sous la direction de Jean-François Monin et de Vania Joloboff . - Grenoble

Informatique

Soutenue le 10-07-2013

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

Semantics-Based Testing for Circus

par Abderrahmane Feliachi sous la direction de Marie-Claude Gaudel - Paris 11

Informatique

Soutenue le 12-12-2012

Requirements Engineering Process according to Automotive Standards in a Model-driven Framework

par Morayo Adedjouma sous la direction de François Terrier - Paris 11

Informatique

Soutenue le 12-07-2012