ACSL  ACSL  Abstraction de données  Analyse combinatoire énumérative  Analyse dynamique  Analyse statique  Assistants de preuve  B  Bogue  C  Caractéristique  Cartes combinatoires  Combination  Contextualité  Coq  Coq  Design patterns  Débogage  Extension combinaison  FRAMA-C  Fausse alarme  Frama-C  Framac  Génération automatique de tests unitaires  Génération de données  Génération de tests guidée par les alarmes  Informatique quantique  Intrication  Intrication quantique  Invariants de données  Langage C  Logiciels -- Vérification  Méthodes formelles  Méthodes formelles  Preuve de programmes  Vérification déductive  

Alain Giorgetti a rédigé la thèse suivante :

Combinatoire bijective et énumérative des cartes pointées sur une surface

par Alain Giorgetti sous la direction de Didier Arquès - Université de Marne-la-Vallée

Informatique fondamentale

Soutenue en 1998

Alain Giorgetti a dirigé les 8 thèses suivantes :

Computational studies of entanglement and quantum contextuality properties towards their formal vérification

par Henri De Boutray sous la direction de Alain Giorgetti , Frédéric Holweck et de Pierre-Alain Masson . - Bourgogne Franche-Comté

Informatique

Soutenue le 16-12-2021

Vérification formelle de programmes de génération de données structurées

par Richard Genestier sous la direction de Olga Kouchnarenko et de Alain Giorgetti . - Besançon

Informatique

Soutenue le 01-12-2016

Contribution à la vérification de programmes C par combinaison de tests et de preuves.

par Guillaume Petiot sous la direction de Jacques Julliand , Alain Giorgetti et de Nikolaï Kosmatov . - Besançon

Informatique

Soutenue le 04-11-2015

Contribution to a kernel of symbolic asymptotic modeling software.

par Bin Yang sous la direction de Michel Lenczner , Alain Giorgetti et de Horatiu Cirstea . - Besançon

Mécanique

Soutenue le 16-12-2014

Génération automatique de tests unitaires avec Praspel, un langage de spécification pour PHP

par Ivan Enderlin sous la direction de Fabrice Bouquet , Frédéric Dadeau et de Alain Giorgetti . - Besançon

Informatique

Soutenue le 16-07-2014

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

Classification de menaces d’erreurs par analyse statique, simplification syntaxique et test structurel de programmes

par Omar Chebaro sous la direction de Jacques Julliand , Alain Giorgetti , Nikolaï Kosmatov et de Fatiha Zaïdi . - Besançon

Informatique

Soutenue le 13-12-2011

Vérification d'invariants de systèmes paramétrés par superposition

par Jean-François Couchot sous la direction de Françoise Bellegarde et de Alain Giorgetti . - Besançon

Informatique

Soutenue en 2006

Alain Giorgetti a été rapporteur des 2 thèses suivantes :

Specifying and verifying high-level requirements on large programs : application to security of C programs

par Virgile Robles sous la direction de Pascale Le Gall , Virgile Prevosto et de Nikolaï Kosmatov . - université Paris-Saclay

Informatique

Soutenue le 21-01-2022

Relational properties for specification and verification of C programs in Frama-C

par Lionel Blatter sous la direction de Pascale Le Gall - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 26-09-2019

Alain Giorgetti a été membre de jury de la thèse suivante :

Preuves par raffinement de programmes avec pointeurs

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

Informatique

Soutenue le 06-09-2013