Knowledge Tree

researcher / Patrick Cousot

Patrick Cousot

at_id:

orcid_id:

Disciplines:

Applied sciences

Computer sciences

Edit Merge See Links

Directed Thesis:

Analyse statique de systèmes synchrones communicants à horloges imparfaites par interprétation abstraite à temps-continu

Analyse des systèmes mobiles par interprétation abstraite

Domaines numériques abstraits faiblement relationnels

Analyse de programmes probabilistes par interprétation abstraite

Representation d'ensembles d'arbres pour l'interpretation abstraite

Geometrie du parallelisme

Analyse sémantique relationnelle des indices de tableaux par congruences et trapézoïdes rationnels

Démonstration automatique en logique classique : complexité et méthodes

Interpretation abstraite appliquee a la compilation et la parallelisation en programmation logique

Sémantiques des langages impératifs d'ordre superieur et interprétation abstraite

Analyses sémantiques de congruence

Utilisation des techniques de l'intelligence artificielle pour la modelisation du mouvement d'objets animes

Langages fonctionnels et parallélisme : une réalisation pour le système Caml

Analyse semantique des communications entre processus de programmes paralleles

Analyse sémantique de structures de données dynamiques avec application au cas particulier de langages LISPiens