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  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 Marché 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 Marché 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é - Paris Saclay

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

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

Analyse statique et preuve de programmes industriels critiques

par Thierry Hubert 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 Marché 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 - Paris Saclay

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 . - Paris Saclay

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 Marché 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 Marché 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